European Internet School: Linux for the intermediate level: Terminal Productivity: Hotkeys and History Hacks