blob: 89356cdca8cc6a7b5a763fdb02ed2b042b26ed1b (
plain) (
blame)
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
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
|
{ ... }:
let
defaultFont = "Source Code Pro";
in
{
programs.alacritty = {
enable = true;
settings = {
selection.save_to_clipboard = true;
window = {
dimensions = {
columns = 120;
lines = 40;
};
# Window padding (changes require restart)
#
# Blank space added around the window in pixels. This padding is scaled
# by DPI and the specified value is always added at both opposing sides.
padding = {
x = 2;
y = 2;
};
# Spread additional padding evenly around the terminal content.
dynamic_padding = false;
decorations = "Buttonless";
startup_mode = "Windowed";
dynamic_title = true;
};
scrolling = {
history = 10000;
multiplier = 3;
};
font = {
normal.family = defaultFont;
bold = {
family = defaultFont;
style = "Bold";
};
italic = {
family = defaultFont;
style = "Italic";
};
size = 14;
offset = {
x = 0;
y = 0;
};
glyph_offset = {
x = 0;
y = 0;
};
};
bell = {
animation = "EaseOutExpo";
duration = 0;
color = "0xffffff";
};
colors = {
primary = {
background = "#FAFAFA";
foreground = "#111111";
};
cursor = {
text = "#FAFAFA";
cursor = "#111111";
};
normal = {
black = "#000000";
red = "#AA3731";
green = "#448C27";
yellow = "#CB9000";
blue = "#325CC0";
magenta = "#7A3E9D";
cyan = "#0083B2";
white = "#BBBBBB";
};
bright = {
black = "#777777";
red = "#F05050";
green = "#60CB00";
yellow = "#FFBC5D";
blue = "#007ACC";
magenta = "#E64CE6";
cyan = "#00AACB";
white = "#FFFFFF";
};
};
};
};
}
|
