diff options
| author | Franck Cuny <fcuny@roblox.com> | 2025-07-25 20:34:09 -0700 |
|---|---|---|
| committer | Franck Cuny <fcuny@roblox.com> | 2025-07-25 20:34:09 -0700 |
| commit | 663dd58cccecdf946cd9fcba3b3ca1482729b8ff (patch) | |
| tree | 62a60dc2104feaf4a235d9a09b82c11c68e0ec9d /users/programs/alacritty.nix | |
| parent | move bats to programs (diff) | |
| download | infra-663dd58cccecdf946cd9fcba3b3ca1482729b8ff.tar.gz | |
tweak a bit more the configuration for alacritty
Diffstat (limited to 'users/programs/alacritty.nix')
| -rw-r--r-- | users/programs/alacritty.nix | 53 |
1 files changed, 41 insertions, 12 deletions
diff --git a/users/programs/alacritty.nix b/users/programs/alacritty.nix index f878cd1..89356cd 100644 --- a/users/programs/alacritty.nix +++ b/users/programs/alacritty.nix @@ -1,12 +1,16 @@ { ... }: +let + defaultFont = "Source Code Pro"; +in { programs.alacritty = { enable = true; settings = { + selection.save_to_clipboard = true; window = { dimensions = { - columns = 80; - lines = 24; + columns = 120; + lines = 40; }; # Window padding (changes require restart) # @@ -18,12 +22,7 @@ }; # Spread additional padding evenly around the terminal content. dynamic_padding = false; - # Window decorations - # - # Values for `decorations`: - # - full: Borders and title bar - # - none: Neither borders nor title bar - decorations = "full"; + decorations = "Buttonless"; startup_mode = "Windowed"; dynamic_title = true; }; @@ -32,16 +31,16 @@ multiplier = 3; }; font = { - normal.family = "Source Code Pro"; + normal.family = defaultFont; bold = { - family = "Source Code Pro"; + family = defaultFont; style = "Bold"; }; italic = { - family = "Source Code Pro"; + family = defaultFont; style = "Italic"; }; - size = 16; + size = 14; offset = { x = 0; y = 0; @@ -56,6 +55,36 @@ 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"; + }; + }; }; }; } |
