Docker config changes for cli editor

This commit is contained in:
david 2024-11-25 00:06:53 +01:00
parent 297138b0d4
commit b756df38a9
6 changed files with 64 additions and 203 deletions

8
bin/dev_entrypoint Executable file
View file

@ -0,0 +1,8 @@
#!/bin/bash
if [ -f /app/tmp/pids/server.pid ]; then
rm /app/tmp/pids/server.pid
fi
exec "$@"