diff options
| author | Sascha Rudolph <chirox@mailbox.org> | 2018-06-29 18:22:46 +0200 |
|---|---|---|
| committer | Marc Cornellà <marc.cornella@live.com> | 2018-06-29 18:22:46 +0200 |
| commit | 0639582f73be6aec42d856a242ad1783eb05f973 (patch) | |
| tree | 4477cadc6c0783fe945b21004012ff92d377aae3 | |
| parent | be3f96908e7f5e2278fb91ff3f72d1bb829f2698 (diff) | |
| download | zsh-0639582f73be6aec42d856a242ad1783eb05f973.tar.gz zsh-0639582f73be6aec42d856a242ad1783eb05f973.tar.bz2 zsh-0639582f73be6aec42d856a242ad1783eb05f973.zip | |
6098 - add support for apt in debian plugin (#6122)
Signed-off-by: Sascha Rudolph <sascharenerudolph@gmail.com>
| -rw-r--r-- | plugins/debian/debian.plugin.zsh | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/plugins/debian/debian.plugin.zsh b/plugins/debian/debian.plugin.zsh index 19966b6ac..42690e53e 100644 --- a/plugins/debian/debian.plugin.zsh +++ b/plugins/debian/debian.plugin.zsh @@ -5,9 +5,12 @@ # # Debian-related zsh aliases and functions for zsh -# Use aptitude if installed, or apt-get if not. +# Use apt or aptitude if installed, fallback is apt-get # You can just set apt_pref='apt-get' to override it. -if [[ -e $( which -p aptitude 2>&1 ) ]]; then +if [[ -e $( which -p apt 2>&1 ) ]]; then + apt_pref='apt' + apt_upgr='upgrade' +elif [[ -e $( which -p aptitude 2>&1 ) ]]; then apt_pref='aptitude' apt_upgr='safe-upgrade' else |