Open main menu
relax wiki
Search
Changes
← Older edit
Newer edit →
Grep log file
No change in size
,
13:37, 13 June 2013
→Grep the log file for commands
sed -i "s/relax> //"$OUT ;
sed -i 's/^- /\n#- /' $OUT ;
sed -i 's/^minimise(/\nminimise(/'
$OUT
test
; sed -i '0,/spectrum.replicated(/s//\nspectrum.replicated(/'
$OUT
test
;
== See also ==
Troels Emtekær Linnet
Trusted,
Bureaucrats
,
Administrators
1,660
edits