diff options
| author | Robby Russell <robby@planetargon.com> | 2012-12-02 12:38:56 -0800 |
|---|---|---|
| committer | Robby Russell <robby@planetargon.com> | 2012-12-02 12:38:56 -0800 |
| commit | f28041e41f667f321dd587f8d8353bc25785511c (patch) | |
| tree | 11bbfc599394e12f21bf8a5c2fb8f6c3a69c1f9f /plugins/debian/debian.plugin.zsh | |
| parent | 66df0f80891192cc9fed56fd0642e53f0fa4de44 (diff) | |
| parent | d3f6507a2e432efe48a3b8ac8f45c32e7d2ab656 (diff) | |
| download | zsh-f28041e41f667f321dd587f8d8353bc25785511c.tar.gz zsh-f28041e41f667f321dd587f8d8353bc25785511c.tar.bz2 zsh-f28041e41f667f321dd587f8d8353bc25785511c.zip | |
Merge pull request #1284 from obmarg/feature/debianwhichfix
Debian plugin now pipes which stderr to stdout
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 71f22f7bd..3f5cf2051 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 ) ]]; then +if [[ -e $( which 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 ) ]]; then +if [[ -e $( which sudo 2>&1 ) ]]; then use_sudo=1 fi |