summary refs log tree commit diff
path: root/mixins
diff options
context:
space:
mode:
Diffstat (limited to 'mixins')
-rw-r--r--mixins/cli.nix14
-rw-r--r--mixins/multimedia.nix3
-rw-r--r--mixins/syncthing.nix16
3 files changed, 24 insertions, 9 deletions
diff --git a/mixins/cli.nix b/mixins/cli.nix
index 8853576..3b331cf 100644
--- a/mixins/cli.nix
+++ b/mixins/cli.nix
@@ -30,6 +30,20 @@
               numpy
               more-itertools
             ]))
+
+          (
+            pkgs.writeShellScriptBin "hs" ''
+              exec ${pkgs.ghc.withPackages (p: with p; [relude pretty-simple])}/bin/ghci -ghci-script ${pkgs.writeText "ghci.conf" ''
+                :set -XNoImplicitPrelude
+                :set -XFlexibleContexts
+                :set -XFlexibleInstances
+                :set -XOverloadedStrings
+                :set prompt "\ESC[38;5;208m\STXλ>\ESC[m\STX "
+                :set -ferror-spans -freverse-errors -fprint-expanded-synonyms
+                :set -interactive-print Text.Pretty.Simple.pPrint
+                import Relude''}
+            ''
+          )
         ];
         sessionVariables = {
           EDITOR = "nvim";
diff --git a/mixins/multimedia.nix b/mixins/multimedia.nix
index 9d5c4b2..8186b87 100644
--- a/mixins/multimedia.nix
+++ b/mixins/multimedia.nix
@@ -40,6 +40,9 @@
         };
         zathura = {
           enable = true;
+          options = {
+            selection-clipboard = "clipboard";
+          };
         };
       };
     };
diff --git a/mixins/syncthing.nix b/mixins/syncthing.nix
index 7faf5db..3e219ae 100644
--- a/mixins/syncthing.nix
+++ b/mixins/syncthing.nix
@@ -11,15 +11,13 @@
       configDir = "/home/tzlil/.config/syncthing";
       overrideDevices = true;
       overrideFolders = true;
-      settings = {
-        devices = {
-          "phone" = {id = "UHWVTEZ-BERNFCH-3ZXQHNE-ZRBHLU6-MBAVEHB-TKLQJM7-ZGHLJ4R-6E4SAA7";};
-        };
-        folders = {
-          "passwords" = {
-            path = "/home/tzlil/sync/passwords";
-            devices = ["phone"];
-          };
+      devices = {
+        "phone" = {id = "UHWVTEZ-BERNFCH-3ZXQHNE-ZRBHLU6-MBAVEHB-TKLQJM7-ZGHLJ4R-6E4SAA7";};
+      };
+      folders = {
+        "passwords" = {
+          path = "/home/tzlil/sync/passwords";
+          devices = ["phone"];
         };
       };
     };