From af012a98ec41233da326993a2958b0991cb664c9 Mon Sep 17 00:00:00 2001
From: makefu <github@syntax-fehler.de>
Date: Tue, 3 Oct 2023 22:41:19 +0200
Subject: [PATCH] gui/gnome: set guake options
---
2configs/gui/gnome.nix | 14 ++++++++++++--
1 file changed, 12 insertions(+), 2 deletions(-)
diff --git a/2configs/gui/gnome.nix b/2configs/gui/gnome.nix
index 0f0f837..b9701f4 100644
--- a/2configs/gui/gnome.nix
+++ b/2configs/gui/gnome.nix
@@ -96,9 +96,19 @@ in
};
"org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/custom0" = {
binding = "<Super>Return";
- command = "gnome-terminal";
- name = "terminal";
+ #command = "gnome-terminal";
+ #name = "terminal";
+ command = "guake-toggle";
+ name = "guake";
};
+ "apps/guake/style/font" = {
+ style="Terminus 12";
+ };
+ "apps/guake/general" = {
+ infinite-history = true;
+ start-at-login = true;
+ };
+
};
};
services.dbus.packages = with pkgs; [ gnome2.GConf gnome3.gnome-settings-daemon ];