Skip to content

Instantly share code, notes, and snippets.

@peterbrinck
Created June 18, 2017 09:58
Show Gist options
  • Select an option

  • Save peterbrinck/dbf2884683d010a8a7bf1413f3bd078c to your computer and use it in GitHub Desktop.

Select an option

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