Open main menu
relax wiki
Search
Changes
← Older edit
Newer edit →
Grep log file
40 bytes added
,
09:14, 28 August 2013
→Grep the log file for commands
sed -i "s/relax> //" $OUT ;
sed -i 's/^- /\n#- /' $OUT ;
sed -i 's/^minimise
(/\\n#script(/' $OUT ;
sed -i 's/^script
(/\nminimise(/' $OUT ;
sed -i 's/^results.write(/\nresults.write(/' $OUT ;
sed -i 's/^model_selection(/\nmodel_selection(/' $OUT ;
Tlinnet
Trusted,
Bureaucrats
1,382
edits