From 4661f8542e692ac1218a632b47350d74d481c563 Mon Sep 17 00:00:00 2001 From: Bad Date: Sun, 3 Oct 2021 11:27:51 +0200 Subject: [PATCH] Switch to managing alacritty with home-manager --- profiles/sway/default.nix | 3 -- users/mae/home-manager-base.nix | 2 +- users/profiles/alacritty/default.nix | 53 ++++++++++++++++++++++++++++ 3 files changed, 54 insertions(+), 4 deletions(-) create mode 100644 users/profiles/alacritty/default.nix diff --git a/profiles/sway/default.nix b/profiles/sway/default.nix index 7ecf5d0..1578147 100644 --- a/profiles/sway/default.nix +++ b/profiles/sway/default.nix @@ -58,11 +58,8 @@ slurp rofi rofi-emoji - kitty mako sway-contrib.grimshot - i3status - alacritty ]; }; diff --git a/users/mae/home-manager-base.nix b/users/mae/home-manager-base.nix index 2e32956..c54adc8 100644 --- a/users/mae/home-manager-base.nix +++ b/users/mae/home-manager-base.nix @@ -1,6 +1,6 @@ { pkgs, ... }: { - imports = [ ../profiles/direnv ../profiles/git ../profiles/zsh ../profiles/neovim ../profiles/syncthing ../profiles/kdeconnect ../profiles/podman ]; + imports = [ ../profiles/direnv ../profiles/git ../profiles/zsh ../profiles/neovim ../profiles/syncthing ../profiles/kdeconnect ../profiles/podman ../profiles/alacritty ]; home.sessionVariables = { XDG_DATA_DIRS = "$XDG_DATA_DIRS:/var/lib/flatpak/exports/share:$HOME/.local/share/flatpak/exports/share"; diff --git a/users/profiles/alacritty/default.nix b/users/profiles/alacritty/default.nix new file mode 100644 index 0000000..2023611 --- /dev/null +++ b/users/profiles/alacritty/default.nix @@ -0,0 +1,53 @@ +{ + programs.alacritty = { + enable = true; + settings = { + window = { + padding = { + x = 6; + y = 6; + }; + }; + font = { + normal = { + family = "JetBrainsMono Nerd Font"; + }; + size = 12; + }; + colors = { + primary = { + background = "#161821"; + foreground = "#d2d4de"; + }; + normal = { + black = "#161821"; + red = "#e27878"; + green = "#b4be82"; + yellow = "#e2a478"; + blue = "#84a0c6"; + magenta = "#a093c7"; + cyan = "#89b8c2"; + white = "#c6c8d1"; + }; + bright = { + black = "#6b7089"; + red = "#e98989"; + green = "#c0ca8e"; + yellow = "#e9b189"; + blue = "#91acd1"; + magenta = "#ada0d3"; + cyan = "#95c4ce"; + white = "#d2d4de"; + }; + }; + cursor = { + style = "Block"; + blinking = "On"; + }; + live_config_reload = false; + mouse = { + hide_when_typing = false; + }; + }; + }; +}