feat: fix pop-gtk-theme

This commit is contained in:
Felix Schröter 2020-06-18 16:18:57 +02:00
parent a456a10fbd
commit b899f9caef
No known key found for this signature in database
GPG key ID: A12D7C9D2FD34458

View file

@ -1,9 +1,17 @@
{ config, pkgs, ... }:
let
pop-gtk-theme = pkgs.pop-gtk-theme.overrideAttrs (oldAttrs: rec {
postInstall = ''
# fix dark gnome-shell theme
ln -s $out/share/gnome-shell/theme/Pop-dark $out/share/themes/Pop-dark/gnome-shell
'';
});
in
{
gtk.enable = true;
gtk.theme.name = "Pop-dark";
gtk.theme.package = pkgs.pop-gtk-theme;
gtk.theme.package = pop-gtk-theme;
gtk.gtk3.extraConfig = {
gtk-application-prefer-dark-theme = true;
};