From c6cb5baa541ac0168dc57ed629611dd03c0d264b Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Nicol=C3=A1s=20Ortega=20Froysa?= Date: Mon, 3 Mar 2025 13:30:51 +0100 Subject: [PATCH] Add flag for launching PHP server. --- phpsg.sh | 13 ++++++++++++- 1 file changed, 12 insertions(+), 1 deletion(-) diff --git a/phpsg.sh b/phpsg.sh index 41c0c92..5839ede 100755 --- a/phpsg.sh +++ b/phpsg.sh @@ -27,12 +27,14 @@ set -euo pipefail SOURCE_DIR="src" OUTPUT_DIR="output" JOBS=1 +SERVER_FLAG=0 function print_usage() { echo "$0 [-o ] [-s ] [-j ]" + echo "$0 -S [-o ]" } -while getopts "o:s:j:h" opt +while getopts "o:s:j:Sh" opt do case "$opt" in o) @@ -50,6 +52,9 @@ do exit 1 fi ;; + S) + SERVER_FLAG=1 + ;; h) print_usage exit @@ -61,6 +66,12 @@ do esac done +if [ $SERVER_FLAG -eq 1 ] +then + php -S localhost:8080 -t "$OUTPUT_DIR" + exit +fi + # Make these variables visible within parallel export OUTPUT_DIR export SOURCE_DIR