Hoe beëindig je het Terminal-programma?

De goeroe-oplossing: Ctrl+D

Je kunt exit typen of met de muis het scherm sluiten. Maar het mooiste is:

Ctrl+D

Voilà!

Feitelijk sluit hij niet het Bash-scherm maar beëindigt hij de huidige sessie. Dat zie je als je bijv. met SSH ergens bent ingelogd en dan Ctrl+D doet. Dus eigenlijk is het nog handiger!

En ook handig:
Ctrl+L - Scherm wissen (beter dan de hele tijd clear typen).
Ctrl+R - Reverse history search: dit is de beste!