From 0eb766e797f9e955f3ba912e4a18231fc1f55035 Mon Sep 17 00:00:00 2001 From: Joost Cassee Date: Sat, 18 May 2013 00:01:45 +0200 Subject: [PATCH] Fix sudo check in case it is aliased --- plugins/debian/debian.plugin.zsh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/plugins/debian/debian.plugin.zsh b/plugins/debian/debian.plugin.zsh index 6f25cc0ef..ad166f0c2 100644 --- a/plugins/debian/debian.plugin.zsh +++ b/plugins/debian/debian.plugin.zsh @@ -16,7 +16,7 @@ else fi # Use sudo by default if it's installed -if [[ -e $( which sudo 2>&1 ) ]]; then +if [[ -e $( command which sudo 2>&1 ) ]]; then use_sudo=1 fi