Trusted, Bureaucrats
1,382
edits
Changes
Jump to navigation
Jump to search
== Get info from log.txt ==
See [[Grep_log_file|Grep log file]] for inspiration.
Try these different grep commands
<source lang="bash">
egrep -wi --color 'relax>| model -' $HOME/test/log.txt
</source>
Find '''eliminate''' function
<source lang="bash">
egrep -wi --color -A 10 'relax> eliminate' $HOME/test/log.txt
</source>
Find '''model_selection''' function
<source lang="bash">
egrep -wi --color -A 100 'relax> model_selection' $HOME/test/log.txt
</source>
