diff options
| author | Arpit Chakladar <54011232+arpitchakladar@users.noreply.github.com> | 2024-09-28 00:37:34 +0530 |
|---|---|---|
| committer | Arpit Chakladar <54011232+arpitchakladar@users.noreply.github.com> | 2024-09-28 00:37:34 +0530 |
| commit | bdf5331c964e80204caaa7e54a60ef69748f33ed (patch) | |
| tree | 2dd6d20d307951adc6647d999cc3351646b85f41 /modules/desktop/terminal/default.nix | |
| parent | 4d315448c08f98140229f006898dc408fcb6953e (diff) | |
| download | home-manager-config-bdf5331c964e80204caaa7e54a60ef69748f33ed.tar.gz home-manager-config-bdf5331c964e80204caaa7e54a60ef69748f33ed.zip | |
Added ability to change the default program if multiple programs for the same purpose are enabled.
Diffstat (limited to 'modules/desktop/terminal/default.nix')
| -rw-r--r-- | modules/desktop/terminal/default.nix | 12 |
1 files changed, 10 insertions, 2 deletions
diff --git a/modules/desktop/terminal/default.nix b/modules/desktop/terminal/default.nix index ac84471..189c794 100644 --- a/modules/desktop/terminal/default.nix +++ b/modules/desktop/terminal/default.nix @@ -7,9 +7,17 @@ ]; options.desktop.terminal = { - default = lib.mkOption { + command = lib.mkOption { type = lib.types.str; - description = "Path to the default terminal program."; + description = "Command for the terminal."; + }; + + default = lib.mkOption { + type = lib.types.enum [ + "kitty" + "alacritty" + ]; + description = "Default terminal."; }; }; } |
