From 390a4d2fbef2d8c814d7b2fb00cc0c4db3964c55 Mon Sep 17 00:00:00 2001
From: Silvino Silva <silvino@bk.ru>
Date: Thu, 7 Feb 2019 13:49:02 +0000
Subject: tools and dev several fixes.

---
 dev/git/index.html | 6 ++++++
 1 file changed, 6 insertions(+)

(limited to 'dev')

diff --git a/dev/git/index.html b/dev/git/index.html
index 41a5a22..4e61822 100644
--- a/dev/git/index.html
+++ b/dev/git/index.html
@@ -23,6 +23,12 @@
     $ git config --global core.pager cat
     </pre>
 
+    <p>Paging based on output size with less;</p>
+
+    <pre>
+    git config --global --replace-all core.pager "less -F -X"
+    </pre>
+
     <p>Example to disable for just one subcommand and local repository;</p>
 
     <pre>
-- 
cgit 1.4.1-2-gfad0