gnome: move gnome-shell overlay out of gnome scope (#541)

In response to this PR: https://github.com/NixOS/nixpkgs/pull/338583
This commit is contained in:
dasj19 2024-09-02 17:29:33 +02:00 committed by GitHub
parent c95de36252
commit ef81ad9e85
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
2 changed files with 14 additions and 16 deletions

View file

@ -205,11 +205,11 @@
},
"nixpkgs": {
"locked": {
"lastModified": 1723415338,
"narHash": "sha256-K/BVeDLkpswRSBh3APxc2gBNVFEMXGpnkuQz666FiTM=",
"lastModified": 1725194671,
"narHash": "sha256-tLGCFEFTB5TaOKkpfw3iYT9dnk4awTP/q4w+ROpMfuw=",
"owner": "NixOS",
"repo": "nixpkgs",
"rev": "6e8760f7f7121128e2037db44915a4a5450b6e67",
"rev": "b833ff01a0d694b910daca6e2ff4a3f26dee478c",
"type": "github"
},
"original": {

View file

@ -22,8 +22,7 @@ in {
environment.gnome.excludePackages = [ pkgs.gnome-backgrounds ];
nixpkgs.overlays = [(self: super: {
gnome = super.gnome.overrideScope (gnomeSelf: gnomeSuper: {
gnome-shell = gnomeSuper.gnome-shell.overrideAttrs (oldAttrs: {
gnome-shell = super.gnome-shell.overrideAttrs (oldAttrs: {
# Themes are usually applied via an extension, but extensions are
# not available on the login screen. The only way to change the
# theme there is by replacing the default.
@ -35,7 +34,6 @@ in {
./shell_remove_dark_mode.patch
];
});
});
})];
# Cursor settings are usually applied via Home Manager,