blob: 91ff15d38ff59283889522a4c78099bbbff16c1c (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
#!/bin/sh
if [ "$2" != "DEINSTALL" ]; then
exit 0
fi
FONTDIR=${PKG_PREFIX}/share/fonts/TrueType
cd ${FONTDIR}
sed -e '/-mona-/d' fonts.dir > fonts.dir.tmp
numfonts=$(echo $(cat fonts.dir.tmp | wc -l) - 1 | bc)
if [ ${numfonts} != "0" ]; then
echo ${numfonts} > fonts.dir
sed -e 1d fonts.dir.tmp >> fonts.dir
rm -f fonts.dir.tmp
else
rm -f fonts.dir fonts.dir.tmp
fi
|
