1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
|
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 }
, -- This disables the dpi-sensitive scaling (cause otherwise the font will be humongous on my laptop screen)
alacritty-env
. WINIT_X11_SCALE_FACTOR
= 1
}
|