diff options
| author | Javier Jardón <jjardon@gnome.org> | 2016-10-21 01:32:59 +0530 |
|---|---|---|
| committer | Javier Jardón <jjardon@gnome.org> | 2016-10-21 01:41:57 +0530 |
| commit | c7c0d24aca2bcd5e8c042a414dd2e9da0c830412 (patch) | |
| tree | 88df7290f09c863912cac6029a60e5be063a8173 | |
| parent | e74d9385f7d93782c8243d7c9275177f9d03fd03 (diff) | |
| download | ybd-jjardon/remove_bashism.tar.gz | |
install_dependencies.sh: Use a more portable expressionjjardon/remove_bashism
"$EUID" is a bashism and some runners use dash instead
| -rwxr-xr-x | install_dependencies.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/install_dependencies.sh b/install_dependencies.sh index f5ed44a..8173264 100755 --- a/install_dependencies.sh +++ b/install_dependencies.sh @@ -23,7 +23,7 @@ set -x SUDO="" -if [ "$EUID" -ne 0 ] +if [ "$(id -u)" -ne 0 ]; then SUDO="sudo" fi |