pager: don't start pager if the terminal is explicitly set to TERM=dumb
authorLennart Poettering <lennart@poettering.net>
Mon, 30 May 2016 16:23:54 +0000 (18:23 +0200)
committerLennart Poettering <lennart@poettering.net>
Mon, 30 May 2016 16:23:54 +0000 (18:23 +0200)
commitac96418b4f16c2a0acd2e4981e533c00fe21bdf1
tree91b0a8925260b5e8ff2a468069f1f4287c84c5c6
parent7565bb98a45c51c7a79cbeda9905e5364c49e374
pager: don't start pager if the terminal is explicitly set to TERM=dumb

As suggested here:

https://bugs.freedesktop.org/show_bug.cgi?id=64737#c8

This adds a new call terminal_is_dumb() and makes use of this where
appropriate.
src/basic/terminal-util.c
src/basic/terminal-util.h
src/cgtop/cgtop.c
src/shared/pager.c