Skip to content
Snippets Groups Projects
Commit b12432b1 authored by Steve Borho's avatar Steve Borho
Browse files

Allow explicit disabling of extensions

If the first character of an extension path is '!', the extension
is silently skipped.
parent 24eb1bf8
No related branches found
No related tags found
No related merge requests found
......@@ -70,6 +70,8 @@
result = ui.configitems("extensions")
for i, (name, path) in enumerate(result):
if path:
if path[0] == '!':
continue
path = os.path.expanduser(path)
try:
load(ui, name, path)
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment