diff options
| author | Michal Schmidt <mschmidt@redhat.com> | 2011-09-26 23:02:56 +0200 |
|---|---|---|
| committer | Michal Schmidt <mschmidt@redhat.com> | 2011-09-27 11:57:24 +0200 |
| commit | 4a8e40ebd0938850d326c33a3d563c6cd44d47b4 (patch) | |
| tree | 9fee9a03c3429d52fdfdfcae755d7c51ea0b328d /.gitignore | |
| parent | 7c83341a593160e2b4739bdb8a1ad76b21bbdf9e (diff) | |
pager: add a trivial internal pager
In the very unlikely scenario where none of the external pagers is
available, use an internal implementation to pass stdin to stdout.
Don't bother with trying 'cat', because it's no more useful than the
internal pager.
https://bugzilla.redhat.com/show_bug.cgi?id=713707
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions