feat(users/Profpatsch/alacritty): Some more configuration

Change-Id: Ibb2e1892327bd1f27a16dcde1424b8d55c7783d2
Reviewed-on: https://cl.tvl.fyi/c/depot/+/5479
Tested-by: BuildkiteCI
Reviewed-by: Profpatsch <mail@profpatsch.de>

users/Profpatsch/alacritty.dhall

@@ -1,11 +1,17 @@
 let sol = (./solarized.dhall).hex
 
-let solarized-dark =
+let black = "#000000"
+
+let white = "#ffffff"
+
+let
+    -- todo: this looks not too good
+    solarized-dark =
       { --Colors (Solarized Dark)
         colors =
         { -- Default colors
           primary =
-          { background = sol.base03, foreground = sol.base0 }
+          { background = black, foreground = white }
         , -- Cursor colors
           cursor =
           { text = sol.base03, cursor = sol.base0 }
@@ -34,4 +40,9 @@ let solarized-dark =
         }
       }
 
-in  { font.size = 12 } // solarized-dark
+in  { alacritty-config = { font.size = 18, scolling.history = 100000 }
+    ,   -- This disables the dpi-sensitive scaling (cause otherwise the font will be humongous on my laptop screen)
+        alacritty-env
+      . WINIT_X11_SCALE_FACTOR
+      = 1
+    }

users/Profpatsch/alacritty.nix

@@ -3,8 +3,8 @@
 let
   bins = depot.nix.getBins pkgs.alacritty [ "alacritty" ];
 
-  config = lib.pipe { } [
-    (_: depot.users.Profpatsch.importDhall.importDhall {
+  config =
+    depot.users.Profpatsch.importDhall.importDhall {
       root = ./.;
       files = [
         "alacritty.dhall"
@@ -12,18 +12,23 @@ let
       ];
       main = "alacritty.dhall";
       deps = [ ];
-    })
+    };
+
+  config-file = lib.pipe config.alacritty-config [
     (lib.generators.toYAML { })
     (pkgs.writeText "alacritty.conf")
   ];
 
 
-  alacritty = depot.nix.writeExecline "alacritty" { } [
-    bins.alacritty
-    "--config-file"
-    config
-    "$@"
-  ];
+  alacritty = depot.nix.writeExecline "alacritty" { } (
+    (lib.concatLists (lib.mapAttrsToList (k: v: [ "export" k (toString v) ]) config.alacritty-env))
+    ++ [
+      bins.alacritty
+      "--config-file"
+      config-file
+      "$@"
+    ]
+  );
 
 in
 alacritty