annotate docker/backend-dev/libervia.conf @ 4266:9fc3d28bc3f6

core (main): add a mechanism to have a shared temp directory: this directory may be used to share files between backend and frontends. Normally, an os-dependent temporary directory is created for that, but if this option is set, the directory will be created in <local_dir>/<cache_dir>, which may be useful in some use case (e.g. containerized frontends and backend).
author Goffi <goffi@goffi.org>
date Wed, 12 Jun 2024 22:47:34 +0200
parents 22cd3094cd1e
children 51d004e50786
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
3381
127dde80a0a5 docker: dockers images, first draft:
Goffi <goffi@goffi.org>
parents:
diff changeset
1 [DEFAULT]
4195
22cd3094cd1e docker (demo): fix starting + better UX:
Goffi <goffi@goffi.org>
parents: 3766
diff changeset
2 log_fmt = [%%(name)s] %%(message)s
3646
0422c735db56 docker: fixes following global renaming
Goffi <goffi@goffi.org>
parents: 3497
diff changeset
3 media_dir = /src/libervia-media