[PATCH v2 06/30] u_boot_pylib: Add a pager

[Simon Glass]

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 <sjg at 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!