Open main menu
relax wiki
Search
Changes
← Older edit
Newer edit →
Grep log file
9 bytes added
,
09:17, 28 August 2013
→Grep the log file for commands
<source lang="bash">
set IN=logfile.txt ;
set OUT=
greplogfile
grep_log_to_commands
.txt ;
egrep -wi --color 'relax>| model -' $IN > $OUT ;
</source>
Tlinnet
Trusted,
Bureaucrats
1,382
edits