annotate docker/backend-dev/libervia.conf @ 4322:00837fa13e5a default tip @

tools (common/template), cli (call/gui): use font-awesome instead of fontello: following change in Libervia Media, code has been updated to use font-awesome now instead of fontello.
author Goffi <goffi@goffi.org>
date Sat, 26 Oct 2024 22:42:17 +0200
parents 51d004e50786
children
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
4268
51d004e50786 docker (backend): set `+use_local_shared_tmp` in conf.
Goffi <goffi@goffi.org>
parents: 4195
diff changeset
4 use_local_shared_tmp=true