[ Skip to the content ]

Institute of Formal and Applied Linguistics Wiki


[ Back to the navigation ]

This is an old revision of the document!


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 ]