diff options
author | Felix Bühler <Stunkymonkey@users.noreply.github.com> | 2022-01-07 23:22:35 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-01-07 22:22:35 +0000 |
commit | 961aeb147e3949b7687efb751bc3c49bf790c9c8 (patch) | |
tree | 9a02ddac1fd711988c7b5b21335298e7021a569a /update.sh | |
parent | c046638a989032c3fbea02b40b5af8fc1eb3c9d7 (diff) |
run bash via env command (#1637)
`#!/usr/bin/env` searches `PATH` for `bash`, and `bash` is not always in `/bin``
Signed-off-by: Felix Buehler <account@buehler.rocks>
Diffstat (limited to 'update.sh')
-rwxr-xr-x | update.sh | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash set -eo pipefail declare -A php_version=( |