[go: up one dir, main page]

Allow extension to be switched off from the CLI

Currently, it's possible to enable an extension from the CLI by ID using the --extension option. However, this option cannot be used to switch off an extension that is enabled in the playbook.

If the value of the option starts with !, Antora should switch off the extension instead.

antora --extension=!lunr-extension antora-playbook.yml

If the extension is not enabled, the option should have no effect.

Edited by Dan Allen