exigrep: use a pager if stdout is connected to a terminal
authorHeiko Schlittermann (HS12-RIPE) <hs@schlittermann.de>
Sun, 19 Mar 2017 00:12:38 +0000 (01:12 +0100)
committerHeiko Schlittermann (HS12-RIPE) <hs@schlittermann.de>
Sun, 19 Mar 2017 00:13:09 +0000 (01:13 +0100)
commitab13201f8a5517a379c461767f16feafa8e01ffb
tree7743a8ecbae369ecc4d89fdc1fa977f2d812e29d
parente236f915d39e27c89ac6e9ef8dd6bdf38f164a6b
exigrep: use a pager if stdout is connected to a terminal
src/src/exigrep.src