aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xserve.sh22
1 files changed, 20 insertions, 2 deletions
diff --git a/serve.sh b/serve.sh
index 60e378b..537c980 100755
--- a/serve.sh
+++ b/serve.sh
@@ -1,4 +1,22 @@
#!/bin/sh
+
+php_bin=""
port=8000
-if [ -n "$1" ]; then port=$1; fi
-php -S localhost:$port -d short_open_tag=true index.php
+
+for try_bin in {php7,php}
+do
+ php_bin=$(command -v $try_bin)
+ if [[ -n "$php_bin" ]]
+ then
+ break
+ fi
+done
+
+echo "Using PHP: $php_bin"
+
+if [ -n "$1" ]
+then
+ port=$1
+fi
+
+$php_bin -S localhost:$port -d short_open_tag=true index.php