krebs.setuid.*.mode: use mergeOneOption

This commit is contained in:
tv 2016-02-27 13:10:59 +01:00
parent 7cff3c0650
commit 2ea539c80f

View File

@ -46,6 +46,7 @@ let
check = x:
isString x &&
match "[0-7][0-7][0-7][0-7]" x != null;
merge = mergeOneOption;
};
};
activate = mkOption {