diff options
| author | Axel Beckert <abe@deuxchevaux.org> | 2013-09-20 20:45:41 +0200 |
|---|---|---|
| committer | Axel Beckert <abe@deuxchevaux.org> | 2013-09-20 20:46:18 +0200 |
| commit | e19ee43ae29e7c223c1c18d75ac9b7f02f4318e2 (patch) | |
| tree | 098b2d248677231fbb1ecf2b226b703b706a2b9a | |
| parent | 22bc9278997a8172766538a2ec6613524df03742 (diff) | |
| download | zsh-e19ee43ae29e7c223c1c18d75ac9b7f02f4318e2.tar.gz zsh-e19ee43ae29e7c223c1c18d75ac9b7f02f4318e2.zip | |
Only try to remove /etc/zsh-beta if it exists
Suppresses irrelevant error message "rmdir: failed to remove
/etc/zsh-beta: No such file or directory".
| -rw-r--r-- | debian/zsh-beta.postinst | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/debian/zsh-beta.postinst b/debian/zsh-beta.postinst index ad4ada573..bcb754ba5 100644 --- a/debian/zsh-beta.postinst +++ b/debian/zsh-beta.postinst @@ -19,7 +19,9 @@ esac for conffile in zlogin zlogout zprofile zshenv zshrc; do dpkg-maintscript-helper rm_conffile /etc/zsh-beta/$conffile 5 -- "$@" done -rmdir /etc/zsh-beta || true +if [ -d /etc/zsh-beta ]; then + rmdir /etc/zsh-beta || true +fi update-alternatives --remove zsh-beta /usr/bin/zsh update-alternatives --remove zsh-beta /bin/zsh4 |