# HG changeset patch
# User Pierre-Yves David <pierre-yves.david@octobus.net>
# Date 1555456269 -7200
# Node ID 496ac8a02380abfe77bad93a9722456ed5e86a6a
# Parent  57539e5ea2e0fd17462e80c6b897bd30c1b634ef
verify: introduce an experimental --full flag

The flag currently has no effect, see next changeset for details. We introduce
the flag as experimental to keep the freedom of changing our mind on the final
UI.

Note: this patch highlight a small but in `hg help`. An option section is
generated even if no option are visible.

diff -r 57539e5ea2e0 -r 496ac8a02380 mercurial/commands.py
--- a/mercurial/commands.py	Wed Apr 17 01:12:21 2019 +0200
+++ b/mercurial/commands.py	Wed Apr 17 01:11:09 2019 +0200
@@ -63,6 +63,7 @@
     tags as tagsmod,
     ui as uimod,
     util,
+    verify as verifymod,
     wireprotoserver,
 )
 from .utils import (
@@ -6147,8 +6148,10 @@
                 ui.warn("(%s)\n" % obsfatemsg)
         return ret
 
-@command('verify', [], helpcategory=command.CATEGORY_MAINTENANCE)
-def verify(ui, repo):
+@command('verify',
+         [('', 'full', False, 'perform more checks (EXPERIMENTAL)')],
+         helpcategory=command.CATEGORY_MAINTENANCE)
+def verify(ui, repo, **opts):
     """verify the integrity of the repository
 
     Verify the integrity of the current repository.
@@ -6164,7 +6167,10 @@
 
     Returns 0 on success, 1 if errors are encountered.
     """
-    return hg.verify(repo)
+    level = None
+    if opts['full']:
+        level = verifymod.VERIFY_FULL
+    return hg.verify(repo, level)
 
 @command(
     'version', [] + formatteropts, helpcategory=command.CATEGORY_HELP,
diff -r 57539e5ea2e0 -r 496ac8a02380 mercurial/verify.py
--- a/mercurial/verify.py	Wed Apr 17 01:12:21 2019 +0200
+++ b/mercurial/verify.py	Wed Apr 17 01:11:09 2019 +0200
@@ -23,6 +23,7 @@
 )
 
 VERIFY_DEFAULT = 0
+VERIFY_FULL = 1
 
 def verify(repo, level=None):
     with repo.lock():
diff -r 57539e5ea2e0 -r 496ac8a02380 tests/test-completion.t
--- a/tests/test-completion.t	Wed Apr 17 01:12:21 2019 +0200
+++ b/tests/test-completion.t	Wed Apr 17 01:11:09 2019 +0200
@@ -347,7 +347,7 @@
   tip: patch, git, style, template
   unbundle: update
   update: clean, check, merge, date, rev, tool
-  verify: 
+  verify: full
   version: template
 
   $ hg init a
diff -r 57539e5ea2e0 -r 496ac8a02380 tests/test-help.t
--- a/tests/test-help.t	Wed Apr 17 01:12:21 2019 +0200
+++ b/tests/test-help.t	Wed Apr 17 01:11:09 2019 +0200
@@ -615,6 +615,8 @@
   
       Returns 0 on success, 1 if errors are encountered.
   
+  options:
+  
   (some details hidden, use --verbose to show complete help)
 
   $ hg help diff