#!/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 )) # Not needed #sed -i -e "$LINE s/monospace/&\" font-size=\"9pt/" $FILE
