GNOME: Difference between revisions
Introduction: Remove reference to wayland and xorg. |
→Extensions: Make the disable-user-extensions key more clear |
||
| Line 87: | Line 87: | ||
settings = { | settings = { | ||
"org/gnome/shell" = { | "org/gnome/shell" = { | ||
disable-user-extensions = | # disable-user-extensions = true; # Optionally disable user extensions entirely | ||
enabled-extensions = [ | enabled-extensions = [ | ||
# Put UUIDs of extensions that you want to enable here. | # Put UUIDs of extensions that you want to enable here. | ||