From 57511e237db2ea189be9cd9397d5f5291307f424 Mon Sep 17 00:00:00 2001
From: Franziska Kunsmann
Date: Sun, 4 Apr 2021 12:43:39 +0200
Subject: serve.sh: try php7 first

---
 serve.sh | 22 ++++++++++++++++++++--
 1 file 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
-- 
cgit v1.2.3