aboutsummaryrefslogtreecommitdiff
path: root/serve.sh
diff options
context:
space:
mode:
authorDaniel Molkentin2021-04-29 19:28:45 +0200
committerDaniel Molkentin2021-04-29 19:28:45 +0200
commitfa4030a04f15aedd21514f9ec7c69c5d53f6311c (patch)
tree1964fe3604e6765208f51ec17f93c0ad48c285e6 /serve.sh
parent1f6329c4ba2822b6a0d2018098f8f76d5bf0fe81 (diff)
When claiming to be in rome, do as the romans do
No bashisms when claiming #!/bin/bash
Diffstat (limited to '')
-rwxr-xr-xserve.sh4
1 files changed, 2 insertions, 2 deletions
diff --git a/serve.sh b/serve.sh
index 537c980..d8119b6 100755
--- a/serve.sh
+++ b/serve.sh
@@ -3,10 +3,10 @@
php_bin=""
port=8000
-for try_bin in {php7,php}
+for try_bin in php7 php
do
php_bin=$(command -v $try_bin)
- if [[ -n "$php_bin" ]]
+ if [ -n "$php_bin" ]
then
break
fi