[ Skip to the content ]

Institute of Formal and Applied Linguistics Wiki

[ Back to the navigation ]

You are here: start » it-tricks

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
Next revision 		Previous revision
Next revision Both sides next revision
it-tricks [2017/10/17 08:50]
ufal [Editors] 		it-tricks [2017/10/17 09:16]
belohlavek [Bash]
Line 43: Line 43:
         command grep "$@" ~/.history-all-$USER | tail -n 30         command grep "$@" ~/.history-all-$USER | tail -n 30
     fi     fi
 +}
 +</code>
 +
 +==== Colorful manpages ====
 +Add this to your .bashrc (tested on .zshrc). Colors can be easily customized.
 +
 +<code>
 +man () {
 +        env LESS_TERMCAP_mb=$'\E[01;31m' \
 +        LESS_TERMCAP_md=$'\E[01;38;5;74m' \
 +        LESS_TERMCAP_me=$'\E[0m' \
 +        LESS_TERMCAP_se=$'\E[0m' \
 +        LESS_TERMCAP_so=$'\E[38;5;246m' \
 +        LESS_TERMCAP_ue=$'\E[0m' \
 +        LESS_TERMCAP_us=$'\E[04;38;5;146m' \
 +        man "$@"
 } }
 </code> </code>
Line 65: Line 81:
   * [[http://mg.readthedocs.io/latexmk.html|latexmk]] can be used with ''-pdf -pvc'', so whenever you save a ''tex'' file, the corresponding ''pdf'' will be regenerated (and your pdf viewer will refresh). Other useful options are ''-interaction=nonstopmode -synctex=1'', see e.g. [[https://tex.stackexchange.com/questions/118489/what-exactly-is-synctex|synctex]]   * [[http://mg.readthedocs.io/latexmk.html|latexmk]] can be used with ''-pdf -pvc'', so whenever you save a ''tex'' file, the corresponding ''pdf'' will be regenerated (and your pdf viewer will refresh). Other useful options are ''-interaction=nonstopmode -synctex=1'', see e.g. [[https://tex.stackexchange.com/questions/118489/what-exactly-is-synctex|synctex]]
   * [[https://www.pdflabs.com/docs/pdftk-cli-examples/|pdftk]] for merging and splitting pdf files (and much more) from the command line   * [[https://www.pdflabs.com/docs/pdftk-cli-examples/|pdftk]] for merging and splitting pdf files (and much more) from the command line
 +  * shuf
  

[ Back to the navigation ] [ Back to the content ]