From 2f8a3525831c067990131ace31c1e43938fdba42 Mon Sep 17 00:00:00 2001 From: itsscb Date: Sun, 18 Aug 2024 22:50:38 +0200 Subject: [PATCH] set alacritty as default terminal --- configuration.nix | 1 + home.nix | 4 ++-- 2 files changed, 3 insertions(+), 2 deletions(-) diff --git a/configuration.nix b/configuration.nix index fe52140..2f18e17 100644 --- a/configuration.nix +++ b/configuration.nix @@ -209,6 +209,7 @@ in { variables = { EDITOR = "hx"; + XCURSOR_THEME = "Adwaita"; }; }; diff --git a/home.nix b/home.nix index 77461b1..5f3c619 100644 --- a/home.nix +++ b/home.nix @@ -209,11 +209,11 @@ settings."org/gnome/settings-daemon/plugins/media-keys".home = ["e"]; settings."org/gnome/settings-daemon/plugins/media-keys".control-center = ["i"]; settings."org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/custom0".binding = "t"; - settings."org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/custom0".command = "gnome-terminal"; + settings."org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/custom0".command = "alacritty"; settings."org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/custom0".name = "gt1"; settings."org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/custom1".binding = "t"; - settings."org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/custom1".command = "gnome-terminal"; + settings."org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/custom1".command = "alacritty"; settings."org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/custom1".name = "gt2"; settings."org/gnome/settings-daemon/plugins/media-keys".custom-keybindings = ["/org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/custom1/" "/org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/custom0/"]; };