From f583400259012250878ab7c8fba5925f42f9ef6f Mon Sep 17 00:00:00 2001 From: albert Date: Fri, 21 Jun 2024 09:22:39 +0900 Subject: [PATCH] Update Plasma --- .../common/desktops/plasma6/plasma-manager.nix | 11 +++++++++++ 1 file changed, 11 insertions(+) diff --git a/home-manager/common/desktops/plasma6/plasma-manager.nix b/home-manager/common/desktops/plasma6/plasma-manager.nix index 43eb826b..c3b9e7b9 100644 --- a/home-manager/common/desktops/plasma6/plasma-manager.nix +++ b/home-manager/common/desktops/plasma6/plasma-manager.nix @@ -67,6 +67,17 @@ }; }; + apps.konsole = { + defaultProfile = "Default"; + profiles.Default = { + name = "Default"; + font = { + name = "Jetbrains Mono"; + }; + }; + + }; + workspace = { clickItemTo = "select"; iconTheme = "Papirus";