Remove 1px borders from Everforest GTK theme (hack)

2023-01-08 19:27:57 -08:00 · 2023-01-08 19:27:57 -08:00 · 06a9960ed0
commit 06a9960ed0
parent e17bf359fe
1 changed files with 5 additions and 0 deletions
--- a/colors/everforest/gtk.nix
+++ b/colors/everforest/gtk.nix
@ -27,6 +27,11 @@ stdenv.mkDerivation rec {

    mkdir -p $out/share/themes

+    for f in `find source/themes -name "*.css"`; do
+      grep -v '^  border: 1px ' $f > tmp
+      mv tmp $f
+    done
+
    cp -a source/themes/* $out/share/themes

    jdupes -L -r $out/share