Open main menu

Changes

Grep log file

9 bytes added, 09:17, 28 August 2013
<source lang="bash">
set IN=logfile.txt ;
set OUT=greplogfilegrep_log_to_commands.txt ;
egrep -wi --color 'relax>| model -' $IN > $OUT ;
</source>
Trusted, Bureaucrats
1,382

edits