diff options
| author | Julian Andres Klode <jak@debian.org> | 2024-12-19 13:12:35 +0000 |
|---|---|---|
| committer | Julian Andres Klode <jak@debian.org> | 2024-12-19 13:12:35 +0000 |
| commit | b1cb2d37d015579d208bb79f6c4977e20fde12a5 (patch) | |
| tree | b57e0ac1ce86a0e1fec730b0a3457bd48feec237 /doc | |
| parent | f54a561bc81d1bcbce6a107ad535f0c6d6e88d38 (diff) | |
| parent | 6e260e26e4cd671f781151e24d89a17b29a55530 (diff) | |
Merge branch 'pager' into 'main'
Introduce automatic pager for read commands
See merge request apt-team/apt!410
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/examples/configure-index | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/examples/configure-index b/doc/examples/configure-index index 9623514b8..15338c17d 100644 --- a/doc/examples/configure-index +++ b/doc/examples/configure-index @@ -696,6 +696,7 @@ acquire::*::by-hash "<STRING>"; // Unsorted options: Some of those are used only internally +pager "<BOOL>"; // true if a pager is to be used help "<BOOL>"; // true if the help message was requested via e.g. --help version "<BOOL>"; // true if the version number was requested via e.g. --version Binary "<STRING>"; // name of the program run like apt-get, apt-cache, … |