diff options
| author | Code Whale <hoiwai930@gmail.com> | 2013-06-16 13:25:29 +0800 |
|---|---|---|
| committer | Code Whale <hoiwai930@gmail.com> | 2013-06-16 13:25:29 +0800 |
| commit | 4eace8753be4793f109c997bede7f0985692bb0a (patch) | |
| tree | 368830fe0de3be2390cd7406c94adc7ab60abb3f /plugins | |
| parent | c73047e296b4448b11a906658fa7f9f27d54460a (diff) | |
| download | zsh-4eace8753be4793f109c997bede7f0985692bb0a.tar.gz zsh-4eace8753be4793f109c997bede7f0985692bb0a.tar.bz2 zsh-4eace8753be4793f109c997bede7f0985692bb0a.zip | |
debian plugin: ignore alias in sudo/aptitude check
Diffstat (limited to 'plugins')
| -rw-r--r-- | plugins/debian/debian.plugin.zsh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/plugins/debian/debian.plugin.zsh b/plugins/debian/debian.plugin.zsh index 55b90e379..b51d0cd37 100644 --- a/plugins/debian/debian.plugin.zsh +++ b/plugins/debian/debian.plugin.zsh @@ -6,14 +6,14 @@ # Use aptitude if installed, or apt-get if not. # You can just set apt_pref='apt-get' to override it. -if [[ -e $( which aptitude 2>&1 ) ]]; then +if [[ -e $( which -p aptitude 2>&1 ) ]]; then apt_pref='aptitude' else apt_pref='apt-get' fi # Use sudo by default if it's installed -if [[ -e $( which sudo 2>&1 ) ]]; then +if [[ -e $( which -p sudo 2>&1 ) ]]; then use_sudo=1 fi |