diff --git a/users/Profpatsch/alacritty.dhall b/users/Profpatsch/alacritty.dhall index c7e794b6c..c8a976ccc 100644 --- a/users/Profpatsch/alacritty.dhall +++ b/users/Profpatsch/alacritty.dhall @@ -1,46 +1,4 @@ -let sol = (./solarized.dhall).hex - -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 } +{ 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 diff --git a/users/Profpatsch/alacritty.nix b/users/Profpatsch/alacritty.nix index d2cb8de2f..17d8d8ddf 100644 --- a/users/Profpatsch/alacritty.nix +++ b/users/Profpatsch/alacritty.nix @@ -8,7 +8,6 @@ let root = ./.; files = [ "alacritty.dhall" - "solarized.dhall" ]; main = "alacritty.dhall"; deps = [ ]; diff --git a/users/Profpatsch/solarized.dhall b/users/Profpatsch/solarized.dhall deleted file mode 100644 index 01e14d64f..000000000 --- a/users/Profpatsch/solarized.dhall +++ /dev/null @@ -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", - } -}