Open main menu
relax wiki
Search
Changes
← Older edit
Newer edit →
Grep log file
1 byte added
,
13:40, 13 June 2013
→Grep the log file for commands
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 ;
Troels Emtekær Linnet
Trusted,
Bureaucrats
,
Administrators
1,660
edits