It is useful to have a pager when outputting a lot of text. Add support for this in the terminal library, making use of a context manager.
Also add a function to indicate whether the output device is a terminal or not, while we are here, to avoid duplicating this code. Signed-off-by: Simon Glass <s...@chromium.org> --- (no changes since v1) tools/u_boot_pylib/terminal.py | 37 +++++++++++++++++++++++++++++++++- 1 file changed, 36 insertions(+), 1 deletion(-) Applied to sjg/master, thanks!
