diff options
| author | yleo77 <ylep77@gmail.com> | 2013-07-16 16:37:18 +0800 |
|---|---|---|
| committer | yleo77 <ylep77@gmail.com> | 2013-07-16 16:37:18 +0800 |
| commit | 67b2781f6200a0dff35055eb67937a0df2be2c51 (patch) | |
| tree | 73b692f4146042966f7d2fed10ab88946cbc077b /plugins/debian/debian.plugin.zsh | |
| parent | 6b832b93588567cb00b9a9e8170a5ebf539dea51 (diff) | |
| parent | 7f74294d7aa7ab86e18e70a1153c15fa373c5849 (diff) | |
| download | zsh-67b2781f6200a0dff35055eb67937a0df2be2c51.tar.gz zsh-67b2781f6200a0dff35055eb67937a0df2be2c51.tar.bz2 zsh-67b2781f6200a0dff35055eb67937a0df2be2c51.zip | |
Merge remote-tracking branch 'robbyrussell/master'
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 |