check for GRIP_PASSWORD once again

devnull-cz · Mar 3, 2024 · 91992f2 · 91992f2
1 parent 0799ab2
commit 91992f2
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/dev/html.sh b/dev/html.sh
@@ -11,6 +11,11 @@
 set -e
 set -x
 
+if [[ -z $GRIP_PASSWORD ]]; then
+	echo "GRIP_PASSWORD must be non-empty"
+	exit 1
+fi
+
 cd gh-pages
 
 # Convert Markdown to HTML.