Changes
Jump to navigation
Jump to search
← Older edit
Newer edit →
Grep log file
1 byte added
,
13:40, 13 June 2013
→Grep the log file for commands
Then we replace instances of '''relax> ''' with empty, and comment out the model line
<source lang="bash">
sed -i "s/relax> //"$OUT ;
sed -i 's/^- /\n#- /' $OUT ;
sed -i 's/^minimise(/\nminimise(/' $OUT ;
Troels Emtekær Linnet
Trusted,
Bureaucrats
,
Administrators
1,660
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