Merge pull request #129 from jacekpoz/main

This commit is contained in:
raf 2023-08-17 17:53:15 +03:00 committed by GitHub
commit 281f1cdb91
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -40,6 +40,13 @@ in
inherit default description;
};
mkMultipleMappingOption = description: defaults:
self.mkOption {
type = self.types.nullOr self.types.listOf self.types.str;
default = defaults;
inherit description;
};
# Utility function that takes two attrsets:
# { someKey = "some_value" } and
# { someKey = { description = "Some Description"; }; }