From cfbc4aaeb50b5fb12ec9363328bb08fc459a1067 Mon Sep 17 00:00:00 2001 From: Ed Santiago Date: Thu, 15 Sep 2022 16:18:46 -0600 Subject: Cleanup: fix problems reported by shell lint Followup to #15616, which is not usable as it is (way, way, way too much noise) but actually found a few real nits that should be fixed. Signed-off-by: Ed Santiago --- hack/check_root.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'hack/check_root.sh') diff --git a/hack/check_root.sh b/hack/check_root.sh index 1f53887ff..2489a4edd 100755 --- a/hack/check_root.sh +++ b/hack/check_root.sh @@ -1,5 +1,5 @@ #!/usr/bin/env bash if ! [ $(id -u) = 0 ]; then - echo "Please run as root! '$@' requires root privileges." + echo "Please run as root! '$*' requires root privileges." exit 1 fi -- cgit v1.2.3-54-g00ecf