Hoe beëindig je het Terminal-programma?
20-03-2021
Je kunt exit typen of met de muis het scherm sluiten. Maar het mooiste is:
Ctrl+DFeitelijk 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!