From ef928a0e8b0a23d4af2897b5d9b447c6a34f981a Mon Sep 17 00:00:00 2001 From: "dn337t@gmail.com" Date: Fri, 22 Jun 2012 13:46:56 +0000 Subject: [PATCH] avoid spawning whoami to get username in tools/install-gnuarm4.sh --- tools/install-gnuarm4.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tools/install-gnuarm4.sh b/tools/install-gnuarm4.sh index ffb509bf..c55d81f2 100755 --- a/tools/install-gnuarm4.sh +++ b/tools/install-gnuarm4.sh @@ -81,7 +81,7 @@ GPG_OPTS="--keyring ${GNU_KEYRING_GPG} --no-default-keyring --homedir ." # End of configuration section. You shouldn't have to modify anything below. ############################################################################ -if [[ `whoami` != "root" ]]; then +if [[ "$USER" != "root" ]]; then echo "*** Warning! Not running as root!" echo "Installation may fail if you do not have appropriate permissions!" fi -- 2.39.5