Im unzusammenhängenden Sammelsurium von Posts auf dieser Seite hatte ich noch eine neue Idee: Mir ist aufgefallen, dass es einige wenige Bash-Shortcuts gibt, die ich nahezu täglich verwende und die mir Dinge schneller und einfacher machen, die aber nicht besonders bekannt sind.

Tote ssh-Verbindungen

Wer häufiger SSH nutzt und möglicherweise auch noch häufiger mit instabilen Netzwerken zu tun hat, kennt einfrierende SSH-Sessions. Wenn diese einfrieren, blockieren sie das Terminal und lassen sich mit gängigen Shortcuts (ctrl+c, ctrl+d, …) nicht beenden. Die korrekte Tastenkombination zum beenden der toten Session und um das Terminal wieder frei zu geben, ist nacheinander Enter ~ . zu drücken.