commit 72ebf19e52e7c4b270e40ba07fec1048b3612797
author Mike Frysinger <vapier@google.com> Wed Feb 19 01:20:18 2020 -0500
committer David Pursehouse <dpursehouse@collab.net> Wed Feb 19 08:23:04 2020 +0000
tree 2543c616eaae25fca8bc198dd2dac4f1142de6fa
parent e50b6a7c4f0a0cf3a97c8a1eec835156f68539f8

command: add a `repo help` tip to --help output

For people used to running `repo xxx --help`, they might not realize
that there are detailed man pages behind `repo help xxx`.  Add a note
to all --help commands to improve discoverability.

Change-Id: I84af58aa0514cc7ead185f6c2534a8f88e09a236
Reviewed-on: https://gerrit-review.googlesource.com/c/git-repo/+/255853
Tested-by: Mike Frysinger <vapier@google.com>
Reviewed-by: David Pursehouse <dpursehouse@collab.net>

command.py

diff --git a/command.py b/command.py
index d4d8679..b1fa0ef 100644
--- a/command.py
+++ b/command.py
@@ -66,7 +66,8 @@
         usage = self.helpUsage.strip().replace('%prog', me)
       except AttributeError:
         usage = 'repo %s' % self.NAME
-      self._optparse = optparse.OptionParser(usage=usage)
+      epilog = 'Run `repo help %s` to view the detailed manual.' % self.NAME
+      self._optparse = optparse.OptionParser(usage=usage, epilog=epilog)
       self._Options(self._optparse)
     return self._optparse