diff options
author | Lennart Poettering <lennart@poettering.net> | 2016-05-30 18:23:54 +0200 |
---|---|---|
committer | Lennart Poettering <lennart@poettering.net> | 2016-05-30 18:23:54 +0200 |
commit | ac96418b4f16c2a0acd2e4981e533c00fe21bdf1 (patch) | |
tree | 91b0a8925260b5e8ff2a468069f1f4287c84c5c6 /src/socket-proxy | |
parent | 7565bb98a45c51c7a79cbeda9905e5364c49e374 (diff) |
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.
Diffstat (limited to 'src/socket-proxy')
0 files changed, 0 insertions, 0 deletions