blob: 4d319457ccfb8cb0ab70949bf9d0a62d5c7ec1d8 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
#!/bin/bash --verbose
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
|