diff options
Diffstat (limited to '')
| -rwxr-xr-x | debian/fonts-powerline-extra.postrm | 45 |
1 files changed, 45 insertions, 0 deletions
diff --git a/debian/fonts-powerline-extra.postrm b/debian/fonts-powerline-extra.postrm new file mode 100755 index 0000000..c14dfc8 --- /dev/null +++ b/debian/fonts-powerline-extra.postrm @@ -0,0 +1,45 @@ +#!/bin/sh + +set -e + +FILES=" Lat15-Terminus12x6.psf.gz + Lat15-TerminusBold14.psf.gz + Lat15-Terminus14.psf.gz + Lat15-TerminusBoldVGA14.psf.gz + Lat15-TerminusBold16.psf.gz + Lat15-Terminus16.psf.gz + Lat15-TerminusBoldVGA16.psf.gz + Lat15-TerminusBold20x10.psf.gz + Lat15-Terminus20x10.psf.gz + Lat15-TerminusBold22x11.psf.gz + Lat15-Terminus22x11.psf.gz + Lat15-TerminusBold24x12.psf.gz + Lat15-Terminus24x12.psf.gz + Lat15-TerminusBold28x14.psf.gz + Lat15-Terminus28x14.psf.gz + Lat15-TerminusBold32x16.psf.gz + Lat15-Terminus32x16.psf.gz" + +case "${1}" in + remove) + for FILE in ${FILES} + do + dpkg-divert --package fonts-powerline-extra --quiet --remove --rename --divert /usr/lib/powerline/divert/${FILE}.orig /usr/share/consolefonts/${FILE} + done + + rmdir -p /usr/lib/powerline/divert > /dev/null 2>&1 || true + ;; + + purge|upgrade|failed-upgrade|abort-install|abort-upgrade|disappear) + + ;; + + *) + echo "postrm called with unknown argument \`${1}'" >&2 + exit 1 + ;; +esac + +#DEBHELPER# + +exit 0 |