feat(users/Profpatsch): Basic alacritty dhall configuration r/3877

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

3 files changed, 105 insertions, 0 deletions

diff --git a/users/Profpatsch/alacritty.dhall b/users/Profpatsch/alacritty.dhall
new file mode 100644
index 000000000000..5b93a78edad5
--- /dev/null
+++ b/users/Profpatsch/alacritty.dhall
@@ -0,0 +1,37 @@
+let sol = (./solarized.dhall).hex
+
+let solarized-dark =
+      { --Colors (Solarized Dark)
+        colors =
+        { -- Default colors
+          primary =
+          { background = sol.base03, foreground = sol.base0 }
+        , -- Cursor colors
+          cursor =
+          { text = sol.base03, cursor = sol.base0 }
+        , -- Normal colors
+          normal =
+          { black = sol.base02
+          , red = sol.red
+          , green = sol.green
+          , yellow = sol.yellow
+          , blue = sol.blue
+          , magenta = sol.magenta
+          , cyan = sol.cyan
+          , white = sol.base2
+          }
+        , -- Bright colors
+          bright =
+          { black = sol.base03
+          , red = sol.orange
+          , green = sol.base01
+          , yellow = sol.base00
+          , blue = sol.base0
+          , magenta = sol.violet
+          , cyan = sol.base1
+          , white = sol.base3
+          }
+        }
+      }
+
+in  { font.size = 12 } // solarized-dark
diff --git a/users/Profpatsch/alacritty.nix b/users/Profpatsch/alacritty.nix
new file mode 100644
index 000000000000..56229c94848b
--- /dev/null
+++ b/users/Profpatsch/alacritty.nix
@@ -0,0 +1,29 @@
+{ depot, pkgs, lib, ... }:
+
+let
+  bins = depot.nix.getBins pkgs.alacritty [ "alacritty" ];
+
+  config = lib.pipe { } [
+    (_: depot.users.Profpatsch.importDhall.importDhall {
+      root = ./.;
+      files = [
+        "alacritty.dhall"
+        "solarized.dhall"
+      ];
+      main = "alacritty.dhall";
+      deps = [ ];
+    })
+    (lib.generators.toYAML { })
+    (pkgs.writeText "alacritty.conf")
+  ];
+
+
+  alacritty = depot.nix.writeExecline "alacritty" { } [
+    bins.alacritty
+    "--config-file"
+    config
+    "$@"
+  ];
+
+in
+alacritty
diff --git a/users/Profpatsch/solarized.dhall b/users/Profpatsch/solarized.dhall
new file mode 100644
index 000000000000..01e14d64f4ba
--- /dev/null
+++ b/users/Profpatsch/solarized.dhall
@@ -0,0 +1,39 @@
+-- SOLARIZED HEX     16/8 TERMCOL  XTERM/HEX   L*A*B      RGB         HSB
+-- --------- ------- ---- -------  ----------- ---------- ----------- -----------
+-- base03    #002b36  8/4 brblack  234 #1c1c1c 15 -12 -12   0  43  54 193 100  21
+-- base02    #073642  0/4 black    235 #262626 20 -12 -12   7  54  66 192  90  26
+-- base01    #586e75 10/7 brgreen  240 #585858 45 -07 -07  88 110 117 194  25  46
+-- base00    #657b83 11/7 bryellow 241 #626262 50 -07 -07 101 123 131 195  23  51
+-- base0     #839496 12/6 brblue   244 #808080 60 -06 -03 131 148 150 186  13  59
+-- base1     #93a1a1 14/4 brcyan   245 #8a8a8a 65 -05 -02 147 161 161 180   9  63
+-- base2     #eee8d5  7/7 white    254 #e4e4e4 92 -00  10 238 232 213  44  11  93
+-- base3     #fdf6e3 15/7 brwhite  230 #ffffd7 97  00  10 253 246 227  44  10  99
+-- yellow    #b58900  3/3 yellow   136 #af8700 60  10  65 181 137   0  45 100  71
+-- orange    #cb4b16  9/3 brred    166 #d75f00 50  50  55 203  75  22  18  89  80
+-- red       #dc322f  1/1 red      160 #d70000 50  65  45 220  50  47   1  79  86
+-- magenta   #d33682  5/5 magenta  125 #af005f 50  65 -05 211  54 130 331  74  83
+-- violet    #6c71c4 13/5 brmagenta 61 #5f5faf 50  15 -45 108 113 196 237  45  77
+-- blue      #268bd2  4/4 blue      33 #0087ff 55 -10 -45  38 139 210 205  82  82
+-- cyan      #2aa198  6/6 cyan      37 #00afaf 60 -35 -05  42 161 152 175  74  63
+-- green     #859900  2/2 green     64 #5f8700 60 -20  65 133 153   0  68 100  60
+{
+  hex  =
+    {
+      base03 = "#002b36",
+      base02 = "#073642",
+      base01 = "#586e75",
+      base00 = "#657b83",
+      base0 = "#839496",
+      base1 = "#93a1a1",
+      base2 = "#eee8d5",
+      base3 = "#fdf6e3",
+      yellow = "#b58900",
+      orange    = "#cb4b16",
+      red       = "#dc322f",
+      magenta   = "#d33682",
+      violet    = "#6c71c4",
+      blue      = "#268bd2",
+      cyan      = "#2aa198",
+      green     = "#859900",
+    }
+}