Changes
Jump to navigation
Jump to search
← 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
Navigation menu
Personal tools
Create account
Log in
Namespaces
Page
Discussion
Variants
Views
Read
View source
View history
More
Search
Navigation
Main page
Homepage
Installation guides
Community portal
Recent changes
Random page
Help
Tools
Upload file
Special pages
Printable version