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 | |
| 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')
| -rw-r--r-- | src/shared/pager.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/shared/pager.c b/src/shared/pager.c index c16bc027be..a2524d4420 100644 --- a/src/shared/pager.c +++ b/src/shared/pager.c @@ -63,7 +63,7 @@ int pager_open(bool no_pager, bool jump_to_end) { if (pager_pid > 0) return 1; - if (!on_tty()) + if (terminal_is_dumb()) return 0; pager = getenv("SYSTEMD_PAGER"); |