diff options
author | Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> | 2016-06-04 18:47:56 -0400 |
---|---|---|
committer | Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> | 2016-06-04 18:47:56 -0400 |
commit | 20f8477be541f2486737f1be32bdb0bd0d6372fd (patch) | |
tree | b99412abf9bf45fddc04ef330f5546059d3a444d /src/basic/terminal-util.h | |
parent | 3fb1ac5d57954bb0d881a68777e996b46ed44ce3 (diff) | |
parent | ac83514cbf5997938344d5fbcfcbfd5021f453f9 (diff) |
Merge pull request #3392 from poettering/assorted-stuff
Assorted stuff
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) { |