Currently, the skipRegistry value in configuration files is ignored, the final value is either the one the user passed on the command line, which is the intended behavior, or the value none if the user didn't pass a --skip-registry argument.
This commit fixes this by introducing the new value default_ to the SkippackageSuppliers enum to know when the user didn't pass the skip-registry argument and the value should be taken from the configuration files.
Be aware that the output of an invalid skipRegistry value in dub.settings.json has changed:
Before this PR:
Warning SkipPackageSuppliers does not have a member named 'blah'
After this PR:
Warning /tmp/test/dub.settings.json(1:17): skipRegistry: SkipPackageSuppliers does not have a member named 'blah'
Currently, the skipRegistry value in configuration files is ignored, the final value is either the one the user passed on the command line, which is the intended behavior, or the value
none
if the user didn't pass a --skip-registry argument.This commit fixes this by introducing the new value
default_
to the SkippackageSuppliers enum to know when the user didn't pass the skip-registry argument and the value should be taken from the configuration files.Be aware that the output of an invalid
skipRegistry
value indub.settings.json
has changed: Before this PR:After this PR: