D
Daniel Carrera
man <some_page> | col -b | less
man <some_page> | col -b | grep "something"
man <some_page> | col -b > ~/my_manpage
Yes, exactly. That's what I was saying. You can already do
redirections and pipes with "man" so there's no point in making "man"
send its output to stdout.