build: use less as a pager for git

diff --git a/tasks.py b/tasks.py
index b4c3c391898dcd32249ea9aa981315d37e26c934..a5d070269011cd529d8e7407fd2b0b7d5e818ace 100644 (file)
--- 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')