From 9964e41e7f2e2a56e42fe789421f3fe33e938d63 Mon Sep 17 00:00:00 2001 From: Matt C Date: Tue, 4 May 2021 23:06:09 +0100 Subject: [PATCH] Actually exit the script on bad file path Fixes #16 --- entrypoint.sh | 2 ++ 1 file changed, 2 insertions(+) diff --git a/entrypoint.sh b/entrypoint.sh index 379e1f4..2b28520 100755 --- a/entrypoint.sh +++ b/entrypoint.sh @@ -8,11 +8,13 @@ if [ ! -d $2 ]; then echo "Path $2 could not be found!" + exit 1 fi cd $2 if [ ! -f $1 ]; then echo "File $1 could not be found!" + exit 1 fi # install packages; add latex-related packages only if enabled