# HG changeset patch
# User Goffi <goffi@goffi.org>
# Date 1718277761 -7200
# Node ID 51d004e5078608999ed307533d25a11d657be938
# Parent  32388d74334869096cd318589aa9cd9e76a1bf74
docker (backend): set `+use_local_shared_tmp` in conf.

diff -r 32388d743348 -r 51d004e50786 docker/backend-dev/libervia.conf
--- a/docker/backend-dev/libervia.conf	Wed Jun 12 23:06:10 2024 +0200
+++ b/docker/backend-dev/libervia.conf	Thu Jun 13 13:22:41 2024 +0200
@@ -1,3 +1,4 @@
 [DEFAULT]
 log_fmt = [%%(name)s] %%(message)s
 media_dir = /src/libervia-media
+use_local_shared_tmp=true