diff options
| author | Paul Buetow <paul@buetow.org> | 2025-08-02 09:09:19 +0300 |
|---|---|---|
| committer | Paul Buetow <paul@buetow.org> | 2025-08-02 09:09:19 +0300 |
| commit | 7557e5214752906a3585b4acaadd1c53256bbf4b (patch) | |
| tree | d27ba34d3fe9b4f62ac316468860f586b5e20c3d /f3s/anki-sync-server/docker/entrypoint.sh | |
| parent | 74aa07113510c90d202ed95de2eb342f53347ac8 (diff) | |
add docker
Diffstat (limited to 'f3s/anki-sync-server/docker/entrypoint.sh')
| -rw-r--r-- | f3s/anki-sync-server/docker/entrypoint.sh | 31 |
1 files changed, 31 insertions, 0 deletions
diff --git a/f3s/anki-sync-server/docker/entrypoint.sh b/f3s/anki-sync-server/docker/entrypoint.sh new file mode 100644 index 0000000..9a72cca --- /dev/null +++ b/f3s/anki-sync-server/docker/entrypoint.sh @@ -0,0 +1,31 @@ +#!/bin/sh +set -o errexit +set -o nounset +set -o pipefail + +# Default PUID and PGID if not provided +export PUID=${PUID:-1000} +export PGID=${PGID:-1000} + +# These values are fixed and cannot be overwritten from the outside for +# convenience and safety reasons +export SYNC_PORT=8080 +export SYNC_BASE=/anki_data + +# Check if group exists, create if not +if ! getent group anki-group > /dev/null 2>&1; then + addgroup -g "$PGID" anki-group +fi + +# Check if user exists, create if not +if ! id -u anki > /dev/null 2>&1; then + adduser -D -H -u "$PUID" -G anki-group anki +fi + +# Fix ownership of mounted volumes +mkdir -p /anki_data +#chown anki:anki-group /anki_data + +# Run the provided command as the `anki` user +exec su-exec anki "$@" + |
