diff options
Diffstat (limited to 'debian/fonts-powerline-extra.preinst')
| -rwxr-xr-x | debian/fonts-powerline-extra.preinst | 45 |
1 files changed, 45 insertions, 0 deletions
diff --git a/debian/fonts-powerline-extra.preinst b/debian/fonts-powerline-extra.preinst new file mode 100755 index 0000000..e3d425c --- /dev/null +++ b/debian/fonts-powerline-extra.preinst @@ -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 + install) + mkdir -p /usr/lib/powerline/divert + + for FILE in ${FILES} + do + dpkg-divert --package fonts-powerline-extra --quiet --add --rename --divert /usr/lib/powerline/divert/${FILE}.orig /usr/share/consolefonts/${FILE} + done + ;; + + abort-upgrade|upgrade) + + ;; + + *) + echo "preinst called with unknown argument \`${1}'" >&2 + exit 1 + ;; +esac + +#DEBHELPER# + +exit 0 |