change position types from positive to int

This commit is contained in:
jacekpoz 2024-05-09 18:22:19 +02:00
parent 597302be5c
commit 5a536d295a
Signed by: poz
SSH key fingerprint: SHA256:JyLeVWE4bF3tDnFeUpUaJsPsNlJyBldDGV/dIKSLyN8

View file

@ -6,7 +6,7 @@
cfg = config.myOptions.other.hardware;
inherit (lib) mkIf mkOption;
inherit (lib.types) attrsOf float submodule;
inherit (lib.types) attrsOf float int submodule;
inherit (lib.types.ints) positive;
inherit (lib.attrsets) mapAttrsToList;
in {
@ -37,10 +37,10 @@ in {
type = submodule {
options = {
x = mkOption {
type = positive;
type = int;
};
y = mkOption {
type = positive;
type = int;
};
};
};