diff options
| author | Lennart Poettering <lennart@poettering.net> | 2016-05-30 18:23:54 +0200 |
|---|---|---|
| committer | Sven Eden <yamakuzure@gmx.net> | 2017-06-16 10:12:59 +0200 |
| commit | 998c4d2d1020020695aa033199851674e8292146 (patch) | |
| tree | cc4fcb40cd76299857b6f75e0af778e0d284bf78 /src/shared | |
| parent | 691dee8e292746379d4d39175ea80d5ed6528922 (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 82bca83f5..1fdf8ed68 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"); |