Skip to content

Instantly share code, notes, and snippets.

@atiensivu

atiensivu/GnomeShellExtensions

Created September 11, 2017 20:13
Show Gist options
  • Save atiensivu/fcc3183e9a6fd74ec1a283e3b9ad05f0 to your computer and use it in GitHub Desktop.
Save atiensivu/fcc3183e9a6fd74ec1a283e3b9ad05f0 to your computer and use it in GitHub Desktop.
Download ZIP
Gnome Tweak Tool - enable user themes - No such schema “org.gnome.shell.extensions.user-theme”
Raw
GnomeShellExtensions
sudo cp $HOME/.local/share/gnome-shell/extensions/[email protected]/schemas/org.gnome.shell.extensions.user-theme.gschema.xml /usr/share/glib-2.0/schemas && sudo glib-compile-schemas /usr/share/glib-2.0/schemas
# One liner fix that shouldn't be necessary
@thiagobraga
Copy link

Thanks, friend! 😊

@RakibFiha
Copy link

Thank you

@Grievous-Spinout
Copy link

So true thanks a ton!

@pkristof-dev
Copy link

Or check if gnome-shell-extensions is installed.
if not, then:
sudo apt install gnome-shell-extensions

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