As my head is not capable to remember everything, I started to write down useful information about the commandline tools I use. So, if you are wondering how to split video or change its framerate without re-encoding or how to jump between apt/dpkg/yum/rpm or manipulate pdf files or something else, check out this page for starters.