chiark / gitweb /
~ianmdlvl / elogind.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 691dee8) | patch
pager: don't start pager if the terminal is explicitly set to TERM=dumb
authorLennart Poettering <lennart@poettering.net>
Mon, 30 May 2016 16:23:54 +0000 (18:23 +0200)
committerSven Eden <yamakuzure@gmx.net>
Fri, 16 Jun 2017 08:12:59 +0000 (10:12 +0200)
commit998c4d2d1020020695aa033199851674e8292146
treecc4fcb40cd76299857b6f75e0af778e0d284bf78tree | snapshot
parent691dee8e292746379d4d39175ea80d5ed6528922commit | 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.
src/shared/pager.c diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.