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