windows: disable pagination by default (jj-vcs#2040)

Windows environments typically don't have a good pager, it seems, so let's disable pagination for now.
sheremetyev · Aug 12, 2023 · 1d4b5d0 · 1d4b5d0
1 parent 3b164c6
commit 1d4b5d0
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 0 deletions.
diff --git a/cli/src/config/windows.toml b/cli/src/config/windows.toml
@@ -1,2 +1,3 @@
 [ui]
+paginate = "never"
 editor = "Notepad"
diff --git a/docs/config.md b/docs/config.md
@@ -260,6 +260,9 @@ Can be customized by the `format_short_signature()` template alias.
 
 ## Pager
 
+Windows users: Note that pagination is disabled by default on Windows for now
+([#2040](https://github.com/martinvonz/jj/issues/2040)).
+
 The default pager is can be set via `ui.pager` or the `PAGER` environment
 variable. The priority is as follows (environment variables are marked with
 a `$`):