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/shared/dev-setup.h | |
| 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/shared/dev-setup.h')
0 files changed, 0 insertions, 0 deletions