Linux Mint: Display-Manager neu starten

In Linux Mint ist Cinnamon der Standard-Desktop. Manchmal kann es vorkommen, dass der Desktop samt den Programmen nicht mehr reagiert. Deswegen müssen Sie aber nicht gleich den Computer neu starten. Ein Reset des Displaymanagers genügt meist.