home: terminal: make 'default' extensible
This commit is contained in:
parent
14299fc6e8
commit
ea818e8584
3 changed files with 13 additions and 1 deletions
|
|
@ -17,7 +17,7 @@ in
|
|||
options.my.home = with lib; {
|
||||
terminal = {
|
||||
default = mkOption {
|
||||
type = with types; nullOr (enum [ "alacritty" "termite" ]);
|
||||
type = with types; nullOr (enum [ ]);
|
||||
default = null;
|
||||
example = "termite";
|
||||
description = "Which default terminal to use for home session";
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue