Open main menu
relax wiki
Search
Changes
← Older edit
Newer edit →
Grep log file
1 byte added
,
09:11, 28 August 2013
→Grep the log file for commands
We also just make some line space and important points
<source lang="bash">
bash ;
set
IN=LOGFILE.txt ;
set
OUT=greplogfile.txt ;
egrep -wi --color 'relax>| model -' LOGFILE.txt > $OUT ;
</source>
Tlinnet
Trusted,
Bureaucrats
1,382
edits