[ Skip to the content ]

Institute of Formal and Applied Linguistics Wiki


[ Back to the navigation ]

Table of Contents

IT tricks

Various tips how to increase your productivity (esp. in Linux).

Editors

Who uses which editor and is willing to provide a mini-training for new users (show config, favorite macros, highlighters etc.).
Feel free to add your name and editor.

Bash

Directory-local Bash history

Colorful manpages

Add this to your .bashrc (tested on .zshrc). Colors can be easily customized.

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 "$@"
}

Git

  export GIT_PS1_SHOWDIRTYSTATE=1
  export GIT_PS1_SHOWSTASHSTATE=1
  export PS1='[\t]\[\033[2;31m\]\h:\W\[\033[01;95m\]$(__git_ps1 "(%s)")\[\033[2;31m\]>\[\033[0m\] '

Plots, vector graphic

LaTeX, pdf

TAR archive mounting

If you work with data consisting of many small files, you should store them in tar archives to save inodes. There is a way to mount a tar archive to a specific directory in the simmilar way you mount ISO image. You can use the following wrapper script to mount (read-only) ARCHIVE to DIRECTORY:

/opt/bin/tarmount -a ARCHIVE DIRECTORY

and umount when you finish your work:

/opt/bin/tarmount DIRECTORY

You can also use the original tool called ratarmount directly through the link:

/opt/bin/tarmounter 

Other


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