Skip to content

Instantly share code, notes, and snippets.

@aldoridhoni

aldoridhoni/remove.sh

Created April 21, 2019 02:47
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save aldoridhoni/3d68c0443503b41dc8a44f227c537cc9 to your computer and use it in GitHub Desktop.
Save aldoridhoni/3d68c0443503b41dc8a44f227c537cc9 to your computer and use it in GitHub Desktop.
Download ZIP
Manually delete gnome shell extension
Raw
remove.sh
# Using gdbus
gdbus call --session --dest org.gnome.Shell --object-path /org/gnome/Shell --method org.gnome.Shell.Extensions.UninstallExtetension "(TopIcons@phocean.net)"
##
gnome-shell-extension-tool -d no-title-bar@franglais125.gmail.com
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment