fix: present gnome extensions disabling

This commit is contained in:
Felix Schröter 2021-10-23 12:36:21 +02:00
parent 56a1a907e2
commit b7768efbf6
No known key found for this signature in database
GPG key ID: 910ACB9F6BD26F58

View file

@ -8,6 +8,7 @@ let
in {
dconf.settings = with lib.hm.gvariant; {
"org/gnome/shell" = {
disable-user-extensions = false;
enabled-extensions = [
"user-theme@gnome-shell-extensions.gcampax.github.com"
"pop-shell@system76.com"