From 182892c6f9eff3db7d39c36d8fe7b12f6bef8d5b Mon Sep 17 00:00:00 2001 From: Majiir Paktu Date: Sun, 17 Jul 2022 14:06:23 -0400 Subject: [PATCH] gnome-shell: build css from source --- pkgs/desktops/gnome/core/gnome-shell/default.nix | 1 + 1 file changed, 1 insertion(+) diff --git a/pkgs/desktops/gnome/core/gnome-shell/default.nix b/pkgs/desktops/gnome/core/gnome-shell/default.nix index cb7ba1ce5cf7..079e64ad3dde 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 = ''