blob: 329a423d15b1f274d7a3ebc8f67e76af1bb818ea (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
#!/bin/bash
if [ $# -lt 1 ] ; then
echo "This script needs the location of the fo file to update"
exit 1
fi
FILE=$1
LINE=$( grep -n "DO NOT EDIT" $FILE | cut -f1 -d: )
LINE=$(( LINE - 1 ))
sed -i -e "$LINE s/monospace/&\" font-size=\"9pt/" $FILE
|