Changes
Jump to navigation
Jump to search
← 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
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