Open main menu

Changes

Grep log file

1 byte added, 13:40, 13 June 2013
Then we replace instances of '''relax> ''' with empty, and comment out the model line
<source lang="bash">
sed -i "s/relax> //"$OUT ;
sed -i 's/^- /\n#- /' $OUT ;
sed -i 's/^minimise(/\nminimise(/' $OUT ;