Adding progress-linux version 0~20240322-0progress7u1.HEADprogress-linux/0_20240322-0progress7u1progress-linux

Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>

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