diff options
| author | Robby Russell <robby@planetargon.com> | 2013-06-16 11:50:11 -0700 |
|---|---|---|
| committer | Robby Russell <robby@planetargon.com> | 2013-06-16 11:50:11 -0700 |
| commit | f63de87e079b533f8be87687943fe993dbbc7b06 (patch) | |
| tree | c68b868e06773228af76b03e3c2cbbd59139f34b /plugins/debian/debian.plugin.zsh | |
| parent | 4370e2ac327326cc9ba7775d861c8e8823b4771e (diff) | |
| parent | 4eace8753be4793f109c997bede7f0985692bb0a (diff) | |
| download | zsh-f63de87e079b533f8be87687943fe993dbbc7b06.tar.gz zsh-f63de87e079b533f8be87687943fe993dbbc7b06.tar.bz2 zsh-f63de87e079b533f8be87687943fe993dbbc7b06.zip | |
Merge pull request #1894 from codewhale/master
debian plugin: ignore alias in sudo/aptitude check
Diffstat (limited to 'plugins/debian/debian.plugin.zsh')
| -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 |