Add /source --page to route through a single pager - #2154
Merged
Conversation
Typically under /source, each query runs separately, and the decision on whether the output is large enough to page is limited to each separate query output. So you either get multiple pager invocations, or perhaps none, even if the global output of all of the /source script is long enough to look pageable. This introduces /source --page to route the output of multiple query outputs through a single pager. Notes and limitations * interactive confirmations are not possible within the single pager * exiting the pager before viewing the end-of-file might lead to some queries not executing * some code is duplicated
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Description
Typically under
/source, each query runs separately, and the decision on whether the output is large enough to page is limited to each separate query output. So you either get multiple pager invocations, or perhaps none, even if the global output of all of the/sourcescript is long enough to look pageable.This introduces
/source --pageto route the output of multiple query outputs through a single pager.Notes and limitations
Fixes #1864 .
Checklist
changelog.mdfile.AUTHORSfile (or it's already there).