Changes

Jump to navigation Jump to search

Grep log file

No change in size, 09:12, 28 August 2013
We also just make some line space and important points
<source lang="bash">
set IN=LOGFILElogfile.txt ;
set OUT=greplogfile.txt ;
egrep -wi --color 'relax>| model -' $IN > $OUT ;
Trusted, Bureaucrats
1,382

edits

Navigation menu