diff options
author | Daniel Molkentin | 2021-04-29 19:28:45 +0200 |
---|---|---|
committer | Daniel Molkentin | 2021-04-29 19:28:45 +0200 |
commit | fa4030a04f15aedd21514f9ec7c69c5d53f6311c (patch) | |
tree | 1964fe3604e6765208f51ec17f93c0ad48c285e6 | |
parent | 1f6329c4ba2822b6a0d2018098f8f76d5bf0fe81 (diff) |
When claiming to be in rome, do as the romans do
No bashisms when claiming #!/bin/bash
-rwxr-xr-x | serve.sh | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -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 |