Fix #6848: config.py shouldn't pop extensions from overrides

This commit is contained in:
Takeshi KOMIYA 2019-11-20 23:52:19 +09:00
parent 9f7c7a34db
commit 182b11e68d
2 changed files with 6 additions and 5 deletions

View File

@ -67,6 +67,7 @@ Bugs fixed
* #6793: texinfo: Code examples broken following "sidebar"
* #6813: An orphan warning is emitted for included document on Windows. Thanks
to @drillan
* #6848: config.py shouldn't pop extensions from overrides
Testing
--------

View File

@ -177,16 +177,16 @@ class Config:
else:
config, overrides = args[:2]
self.overrides = overrides
self.overrides = dict(overrides)
self.values = Config.config_values.copy()
self._raw_config = config
self.setup = config.get('setup', None) # type: Callable
if 'extensions' in overrides:
if isinstance(overrides['extensions'], str):
config['extensions'] = overrides.pop('extensions').split(',')
if 'extensions' in self.overrides:
if isinstance(self.overrides['extensions'], str):
config['extensions'] = self.overrides.pop('extensions').split(',')
else:
config['extensions'] = overrides.pop('extensions')
config['extensions'] = self.overrides.pop('extensions')
self.extensions = config.get('extensions', []) # type: List[str]
@classmethod