From effbefc00a47e22bfcaf742a79aa932283f4b143 Mon Sep 17 00:00:00 2001 From: "Glenn Y. Rolland" Date: Mon, 6 Dec 2021 11:11:24 +0100 Subject: [PATCH] scripts: make slides/docs optional (in case of missing directory) --- scripts/gx-teaching | 25 ++++++++++++++++++++----- 1 file changed, 20 insertions(+), 5 deletions(-) diff --git a/scripts/gx-teaching b/scripts/gx-teaching index cab7266..69762aa 100755 --- a/scripts/gx-teaching +++ b/scripts/gx-teaching @@ -19,18 +19,33 @@ else echo "Theme: no theme detected. Using default files" fi +if [ -f "$BASEDIR/mkdocs.yml" ]; then + DOCKER_OPT_MKDOCS_CONFIG="-v $BASEDIR/mkdocs.yml:/app/mkdocs.yml" + echo "Mkdocs: detected mkdocs.yml file. Adding option to command line ($DOCKER_OPT_MKDOCS_CONFIG)" +else + echo "Mkdocs: no mkdocs.yml detected. Using default files" +fi + +if [ -d "$BASEDIR/slides" ]; then + DOCKER_OPT_MARP_PORT="-p 5200:5200" +fi + +if [ -d "$BASEDIR/docs" ]; then + DOCKER_OPT_MKDOCS_PORT="-p 5100:5100" +fi docker run -it \ + --shm-size=1gb \ + -e "EXT_UID=$(id -u)" \ + -e "EXT_GID=$(id -g)" \ -v "$BASEDIR/docs:/app/docs" \ -v "$BASEDIR/slides:/app/slides" \ -v "$BASEDIR/images:/app/images" \ -v "$BASEDIR/_build:/app/_build" \ - -v "$BASEDIR/mkdocs.yml:/app/mkdocs.yml" \ - -e "EXT_UID=$(id -u)" \ - -e "EXT_GID=$(id -g)" \ + $DOCKER_OPT_MKDOCS_CONFIG \ $DOCKER_OPT_MARP_THEME \ - -p 5200:5200 \ - -p 5100:5100 \ + $DOCKER_OPT_MKDOCS_PORT \ + $DOCKER_OPT_MARP_PORT \ "$DOCKER_IMAGE" "$ACTION" # TODO: ask current user permissions