Skip to content

Instantly share code, notes, and snippets.

@peterbrinck
Created June 18, 2017 09:58
Show Gist options
  • Save peterbrinck/dbf2884683d010a8a7bf1413f3bd078c to your computer and use it in GitHub Desktop.
Save peterbrinck/dbf2884683d010a8a7bf1413f3bd078c to your computer and use it in GitHub Desktop.
How to restart GNOME Shell without restart

Restart GNOME Shell without restart

The easiest way is to ALT + F2 and then run this command: gnome-shell -r (--replace)

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment