tv git: allow repo section naming
This commit is contained in:
parent
501fdb53c1
commit
81797b6a4c
@ -61,6 +61,7 @@ in
|
|||||||
${concatMapStringsSep "\n" (repo: ''
|
${concatMapStringsSep "\n" (repo: ''
|
||||||
repo.url=${repo.name}
|
repo.url=${repo.name}
|
||||||
repo.path=${cfg.dataDir}/${repo.name}
|
repo.path=${cfg.dataDir}/${repo.name}
|
||||||
|
${optionalString (repo.section != null) "repo.section=${repo.section}"}
|
||||||
${optionalString (repo.desc != null) "repo.desc=${repo.desc}"}
|
${optionalString (repo.desc != null) "repo.desc=${repo.desc}"}
|
||||||
'') (filter isPublicRepo (attrValues cfg.repos))}
|
'') (filter isPublicRepo (attrValues cfg.repos))}
|
||||||
'';
|
'';
|
||||||
|
@ -117,6 +117,13 @@ in
|
|||||||
Repository description.
|
Repository description.
|
||||||
'';
|
'';
|
||||||
};
|
};
|
||||||
|
section = mkOption {
|
||||||
|
type = types.nullOr types.str;
|
||||||
|
default = null;
|
||||||
|
description = ''
|
||||||
|
Repository section.
|
||||||
|
'';
|
||||||
|
};
|
||||||
name = mkOption {
|
name = mkOption {
|
||||||
type = types.str;
|
type = types.str;
|
||||||
description = ''
|
description = ''
|
||||||
|
Loading…
Reference in New Issue
Block a user