Tip

Neustart mit Terminal

Rechner mit Hilfe des Terminals neu starten.
Neustart mit Terminal
Image: 2015