Guest User

Untitled

a guest
Oct 16th, 2018
74
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 0.60 KB | None | 0 0
  1. $ gsettings get org.gnome.shell enabled-extensions
  2.  
  3. ['apps-menu@gnome-shell-extensions.gcampax.github.com', 'places-menu@gnome-shell-extensions.gcampax.github.com', 'window-list@gnome-shell-extensions.gcampax.github.com']
  4.  
  5. gsettings set org.gnome.shell enabled-extensions "<output_of_earlier_command_listing_enabled_extensions>"
  6.  
  7. gsettings set org.gnome.shell enabled-extensions "['apps-menu@gnome-shell-extensions.gcampax.github.com', 'places-menu@gnome-shell-extensions.gcampax.github.com', 'window-list@gnome-shell-extensions.gcampax.github.com']"
  8.  
  9. $ chmod +x ~/bin/enable_gnome_extensions.sh
Add Comment
Please, Sign In to add comment