hgext/hgk.py
changeset 5393 c2ad1890fc53
parent 4730 eadfaa9ec487
child 5395 e73a83af7926
--- a/hgext/hgk.py	Tue Oct 02 23:28:02 2007 +0200
+++ b/hgext/hgk.py	Fri Oct 05 22:39:36 2007 +0200
@@ -266,6 +266,14 @@
     copy = [x for x in revs]
     revtree(copy, repo, full, opts['max_count'], opts['parents'])
 
+def config(ui, repo, **opts):
+    """print extension options"""
+    def writeopt(name, value):
+        ui.write('k=%s\nv=%s\n' % (name, value)) 
+
+    writeopt('vdiff', ui.config('hgk', 'vdiff', ''))
+    
+
 def view(ui, repo, *etc, **opts):
     "start interactive history viewer"
     os.chdir(repo.root)
@@ -292,6 +300,8 @@
         (catfile,
          [('s', 'stdin', None, 'stdin')],
          'hg debug-cat-file [OPTION]... TYPE FILE'),
+    "debug-config":
+        (config, [], 'hg debug-config'),
     "debug-merge-base":
         (base, [], 'hg debug-merge-base node node'),
     "debug-rev-parse":