build(docker): 💚 add custom entrypoint script to our CI image

This should be also suitable for local development via Docker too.

Signed-off-by: Andrei Jiroh Halili <ajhalili2006@gmail.com>
This commit is contained in:
Andrei Jiroh Halili 2023-03-31 16:14:39 +00:00
parent 74adf155a3
commit 6c3c12ebba
3 changed files with 22 additions and 4 deletions

11
docker/entrypoint.sh Executable file
View file

@ -0,0 +1,11 @@
#!/usr/bin/env bash
if [[ $DEBUG != "" ]]; then
set -x
fi
if [[ $1 = "serve" ]] || [[ $1 == "build" ]] | [[ $1 == "gh-deploy" ]] || [[ $1 == "new" ]]; then
exec mkdocs $@
else
$@
fi