From f224a5efa73b8ae04c4efcc602bb6fb093b8e2b0 Mon Sep 17 00:00:00 2001
From: Jan-Bulthuis <git@bulthuis.dev>
Date: Sun, 23 Feb 2025 14:52:07 +0100
Subject: [PATCH] Set default terminal

---
 user-modules/terminal/default.nix | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/user-modules/terminal/default.nix b/user-modules/terminal/default.nix
index 124f466..f6c1aef 100644
--- a/user-modules/terminal/default.nix
+++ b/user-modules/terminal/default.nix
@@ -9,6 +9,9 @@ with lib;
 {
   options.default.terminal = mkOption {
     type = types.str;
+    # TODO: Make sure everything works even without a default value here
+    # Maybe make sure most gui applications do not exist in the default specialisation
+    default = "foot";
     description = "Default terminal application";
   };
 }