From 427bf652eff87634ce53399746bfceb43db0e7ac Mon Sep 17 00:00:00 2001 From: Aaron Honeycutt Date: Tue, 30 Jan 2024 19:33:23 +0000 Subject: [PATCH] home-manager: swap gnome-terminal with gnome-console --- home.nix | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/home.nix b/home.nix index 52c1836..147f21d 100644 --- a/home.nix +++ b/home.nix @@ -79,7 +79,7 @@ dconf.settings = { "org/gnome/shell" = { - favorite-apps = [ "nautilus.desktop" "gnome-terminal.desktop" "firefox.desktop" "codium.desktop" "signal-desktop.desktop" ]; + favorite-apps = [ "nautilus.desktop" "org.gnome.Console.desktop" "firefox.desktop" "codium.desktop" "signal-desktop.desktop" ]; }; "org/gnome/desktop/peripherals/touchpad" = { tap-to-click = true;