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/basic/terminal-util.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/basic/terminal-util.h')
| -rw-r--r-- | src/basic/terminal-util.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/basic/terminal-util.h b/src/basic/terminal-util.h index b449370974..169ab772ff 100644 --- a/src/basic/terminal-util.h +++ b/src/basic/terminal-util.h @@ -80,6 +80,7 @@ unsigned lines(void); void columns_lines_cache_reset(int _unused_ signum); bool on_tty(void); +bool terminal_is_dumb(void); bool colors_enabled(void); static inline const char *ansi_underline(void) { |