pager: advertise the config option in the default hgrc
Same as for 'ui.color', this is a critical part of the UI and we want user to
find this config knob easily.
--- a/mercurial/ui.py Mon May 01 16:52:11 2017 +0200
+++ b/mercurial/ui.py Mon May 01 18:07:23 2017 +0200
@@ -55,6 +55,11 @@
# (see 'hg help color' for details)
# color = never
+[pager]
+# uncomment to disable command output pagination
+# (see 'hg help pager' for details)
+# enable = never
+
[extensions]
# uncomment these lines to enable some popular extensions
# (see 'hg help extensions' for more info)
@@ -103,6 +108,11 @@
# (see 'hg help color' for details)
# color = never
+[pager]
+# uncomment to disable command output pagination
+# (see 'hg help pager' for details)
+# enable = never
+
[extensions]
# uncomment these lines to enable some popular extensions
# (see 'hg help extensions' for more info)