From b899f9caef23e99e3d48ce636aaea13e2be32e86 Mon Sep 17 00:00:00 2001
From: Felix Tenley <dev@felschr.com>
Date: Thu, 18 Jun 2020 16:18:57 +0200
Subject: [PATCH] feat: fix pop-gtk-theme

---
 home/desktop/gtk.nix | 10 +++++++++-
 1 file changed, 9 insertions(+), 1 deletion(-)

diff --git a/home/desktop/gtk.nix b/home/desktop/gtk.nix
index 55a39f1..d3191ef 100644
--- a/home/desktop/gtk.nix
+++ b/home/desktop/gtk.nix
@@ -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;
   };