Open main menu
relax wiki
Search
Changes
← Older edit
Newer edit →
Grep log file
78 bytes added
,
13:35, 13 June 2013
→Grep the log file for commands
sed -i 's/^- /\n#- /' greplogfile.txt ;
sed -i 's/^minimise(/\nminimise(/' greplogfile.txt ;
sed -i '0,/spectrum.replicated(/s//\nspectrum.replicated(/' greplogfile.txt;
== See also ==
Troels Emtekær Linnet
Trusted,
Bureaucrats
,
Administrators
1,660
edits