diff options
| author | Boris Kolpackov <boris@codesynthesis.com> | 2016-09-25 05:14:02 +0200 |
|---|---|---|
| committer | Boris Kolpackov <boris@codesynthesis.com> | 2016-09-25 05:14:02 +0200 |
| commit | d10b21841602278e3a0090b0f02ce71778ce01b9 (patch) | |
| tree | e042316be62727464d4480ad0692cdc7e136e23e | |
| parent | b53206627ed43b10d356d016e60a21212c6f0da5 (diff) | |
Add idea: Paging build2 output
| -rw-r--r-- | build2/list | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/build2/list b/build2/list index d6ddf74..b84520b 100644 --- a/build2/list +++ b/build2/list @@ -1,3 +1,9 @@ +? Paging build2 output [idea] + + Could be handy to be able to scroll back and forth and search as in less. + But we somehow need to always show the tail. Also will have to detect if it + is a redirect/non-tty (e.g., we don't want this in emacs). + ? Colorized build2 output [idea] We could highlight the tool as well as braces, @, etc. |