From 5892bc769aeed7c5aa3215af98a2d933c7baf16d Mon Sep 17 00:00:00 2001
From: Vincent Bernat <vincent@bernat.ch>
Date: Sat, 14 Nov 2020 09:02:37 +0100
Subject: [PATCH] build: use less as a pager for git

---
 tasks.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tasks.py b/tasks.py
index b4c3c391..a5d07026 100644
--- a/tasks.py
+++ b/tasks.py
@@ -88,7 +88,7 @@ def build(c):
             c.run("git add .")
             c.run("git diff --stat HEAD || true", pty=True)
             if confirm("More diff?", default=True):
-                c.run("git diff --word-diff HEAD || true", pty=True)
+                c.run("env GIT_PAGER=less git diff --word-diff HEAD || true", pty=True)
             if confirm("Keep?", default=True):
                 c.run('git commit -a -m "Update generated copy of website"')
                 c.run('git push origin')
-- 
2.39.5