chore(users/Profpatsch/alacritty): remove unused solarized conf

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

users/Profpatsch/alacritty.dhall

@@ -1,46 +1,4 @@
-let sol = (./solarized.dhall).hex
+{ alacritty-config = { font.size = 18, scolling.history = 1000000 }
-
-let black = "#000000"
-
-let white = "#ffffff"
-
-let
-    -- todo: this looks not too good
-    solarized-dark =
-      { --Colors (Solarized Dark)
-        colors =
-        { -- Default colors
-          primary =
-          { background = black, foreground = white }
-        , -- 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  { alacritty-config = { font.size = 18, scolling.history = 1000000 }
     ,   -- This disables the dpi-sensitive scaling (cause otherwise the font will be humongous on my laptop screen)
         alacritty-env
       . WINIT_X11_SCALE_FACTOR

users/Profpatsch/alacritty.nix

@@ -8,7 +8,6 @@ let
       root = ./.;
       files = [
         "alacritty.dhall"
-        "solarized.dhall"
       ];
       main = "alacritty.dhall";
       deps = [ ];

users/Profpatsch/solarized.dhall

@@ -1,39 +0,0 @@
--- 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",
-    }
-}