diff options
author | Majiir Paktu <majiir@nabaal.net> | 2022-07-17 14:06:23 -0400 |
---|---|---|
committer | Majiir Paktu <majiir@nabaal.net> | 2022-07-17 14:06:23 -0400 |
commit | 182892c6f9eff3db7d39c36d8fe7b12f6bef8d5b (patch) | |
tree | 262bc3b1dc4185eebb2d0073ba79b0b49783ec9d /pkgs/desktops/gnome/core/gnome-shell | |
parent | 1b1b3853fd24fa177b2129f4bc104c5e75af285e (diff) |
gnome-shell: build css from source
Diffstat (limited to 'pkgs/desktops/gnome/core/gnome-shell')
-rw-r--r-- | pkgs/desktops/gnome/core/gnome-shell/default.nix | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/pkgs/desktops/gnome/core/gnome-shell/default.nix b/pkgs/desktops/gnome/core/gnome-shell/default.nix index cb7ba1ce5cf79..079e64ad3dde6 100644 --- a/pkgs/desktops/gnome/core/gnome-shell/default.nix +++ b/pkgs/desktops/gnome/core/gnome-shell/default.nix @@ -184,6 +184,7 @@ stdenv.mkDerivation rec { # We can generate it ourselves. rm -f man/gnome-shell.1 + rm data/theme/gnome-shell.css ''; preFixup = '' |