aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorFranck Cuny <fcuny@roblox.com>2025-07-25 20:34:09 -0700
committerFranck Cuny <fcuny@roblox.com>2025-07-25 20:34:09 -0700
commit663dd58cccecdf946cd9fcba3b3ca1482729b8ff (patch)
tree62a60dc2104feaf4a235d9a09b82c11c68e0ec9d
parentmove bats to programs (diff)
downloadinfra-663dd58cccecdf946cd9fcba3b3ca1482729b8ff.tar.gz
tweak a bit more the configuration for alacritty
-rw-r--r--users/programs/alacritty.nix53
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";
+ };
+ };
};
};
}