1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
|
#!/bin/bash
set -e
DIRS100DPI="set-2/100dpi"
DIRS75DPI="set-2/75dpi"
DIRSMISC="set-1 set-2/misc"
TMPDIRS="100dpi 75dpi misc"
for I in $TMPDIRS; do
if [ ! -d $I ]; then
mkdir $I
else
rm -f $I/fonts.alias
fi
done
for I in $DIRS100DPI; do
ln $I/*.bdf 100dpi
if [ -f $I/fonts.alias ]; then
cat $I/fonts.alias >>100dpi/fonts.alias
fi
done
for I in $DIRS75DPI; do
ln $I/*.bdf 75dpi
if [ -f $I/fonts.alias ]; then
cat $I/fonts.alias >>75dpi/fonts.alias
fi
done
for I in $DIRSMISC; do
ln $I/*.bdf misc
if [ -f $I/fonts.alias ]; then
cat $I/fonts.alias >>misc/fonts.alias
fi
done
for I in $TMPDIRS; do
for J in $I/*.bdf; do
bdftopcf -o ${J%bdf}pcf $J
done
gzip -9 $I/*.pcf
done
|
