# HG changeset patch
# User Steve Borho <steve@borho.org>
# Date 1190163181 18000
# Node ID b12432b1c2c7fbd981e874b9d86d48b37a4d2ad2
# Parent  24eb1bf8dd83083d3adfbbe9116cda40aa01229c
Allow explicit disabling of extensions

If the first character of an extension path is '!', the extension
is silently skipped.

diff -r 24eb1bf8dd83 -r b12432b1c2c7 mercurial/extensions.py
--- a/mercurial/extensions.py	Thu Oct 11 06:13:17 2007 +0900
+++ b/mercurial/extensions.py	Tue Sep 18 19:53:01 2007 -0500
@@ -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)