Closed rezib closed 5 years ago
The mirror_local configuration parameter is mandatory but the repo_dir parameter already exists and in most cases the values are identical. In this case, the mirror_local parameter should not be mandatory and its default value can be repo_dir value.
mirror_local
repo_dir
The
mirror_local
configuration parameter is mandatory but therepo_dir
parameter already exists and in most cases the values are identical. In this case, themirror_local
parameter should not be mandatory and its default value can berepo_dir
value.