Skip to content

Instantly share code, notes, and snippets.

@tafkey
Created February 6, 2017 07:26
Show Gist options
  • Save tafkey/9323856d34647b7b70207afaede7d6a8 to your computer and use it in GitHub Desktop.
Save tafkey/9323856d34647b7b70207afaede7d6a8 to your computer and use it in GitHub Desktop.
Restart gnome-shell extension
# $1 is the UUID of the extension, e.g TaskBar@zpydr
gdbus call --session --dest org.gnome.Shell --object-path /org/gnome/Shell --method org.gnome.Shell.Extensions.ReloadExtension $1
@NickCis
Copy link

NickCis commented Apr 2, 2019

Another way to do this, is using the looking glass (aka: evaluator)

Press ALT+F2, type lg and press enter.

On the interpreter write:

imports.ui.extensionSystem.reloadExtension(imports.misc.extensionUtils.extensions['uuid'])

where uuid is the UUID of the extension

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