Open main menu

Changes

Grep log file

78 bytes added, 13:35, 13 June 2013
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 ==