Merge branch 'main' into feature/custom-keybinds

This commit is contained in:
Michał 2023-05-03 00:18:25 +02:00 committed by GitHub
commit 933fa2a8ae
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
22 changed files with 190 additions and 130 deletions

View file

@ -1,4 +1,5 @@
{
pkgs,
config,
lib,
...
@ -24,5 +25,18 @@ with builtins; {
default = false;
description = "Enable winbar";
};
lazygit = {
enable = mkEnableOption "Enable LazyGit integration";
direction = mkOption {
type = types.enum ["horizontal" "vertical" "tab" "float"];
default = "float";
description = "Direction of the lazygit window";
};
package = mkOption {
type = with types; nullOr package;
default = pkgs.lazygit;
description = "The package that should be used for lazygit. Setting it to null will attempt to use lazygit from your PATH";
};
};
};
}