repo_config: add default remote_url=None to BaseDistro

This commit is contained in:
InsanePrawn 2023-03-27 20:03:00 +02:00
parent 9766c70523
commit 78f9f31e7a

View file

@ -112,11 +112,14 @@ REPOS_CONFIG_DEFAULT = ReposConfigFile({
}, },
**{r: deepcopy(REPO_DEFAULTS) for r in REPOSITORIES}, **{r: deepcopy(REPO_DEFAULTS) for r in REPOSITORIES},
}, },
BASEDISTROS_KEY: {arch: { BASEDISTROS_KEY: {
'repos': {k: { arch: {
'remote_url': v REMOTEURL_KEY: None,
} for k, v in arch_def['repos'].items()}, 'repos': {k: {
} for arch, arch_def in BASE_DISTROS.items()}, 'remote_url': v
} for k, v in arch_def['repos'].items()},
} for arch, arch_def in BASE_DISTROS.items()
},
}) })
_current_config = None _current_config = None