feat(modules/basic): make leader key configurable

This commit is contained in:
raf 2023-07-30 18:32:53 +03:00
commit 93c8643fd8
No known key found for this signature in database
GPG key ID: 02D1DD3FA08B6B29
2 changed files with 9 additions and 0 deletions

View file

@ -31,6 +31,12 @@ with builtins; {
};
};
leaderKey = mkOption {
type = with types; nullOr str;
default = null;
description = "The leader key to be used internally";
};
colourTerm = mkOption {
type = types.bool;
default = true;