1pipetty(1) General Commands Manual pipetty(1)
2
3
4
6 pipetty - a tool to pipe from a pseudoterminal
7
9 pipetty command [ args... ]
10
12 pipetty lets you make a program unaware that its output is being redi‐
13 rected. This is usually useful for tools that detect whether they're
14 run from a terminal and modify their output, typically colorizing it
15 only when run interactively.
16
17 Usually, disabling colors when redirected is a good thing as most tools
18 can't cope with ANSI codes. Use pipetty when you do want colors, like
19 when you're going to feed that output to ansi2html or less -R.
20
22 Certain programs, such as bash, don't quite like their stdin to be on a
23 different terminal than stdout.
24
26 ansi2html(1), ansi2txt(1), less(1).
27
28
29
30 2016-06-25 pipetty(1)