On 5/07/2013 16:58, Shigio YAMAGUCHI wrote: > If it is needed, how about --nocolor option.
I was thinking this would be needed if you normally have it set through the environment, but want to turn it off for a redirection. Rather than --nocolor, it may be better to go the whole hog and do exactly what grep does: --color[=auto|always|never], where auto decides based on isatty. Then you would probably just have --color in the environment, and override it as appropriate. -- Jason. _______________________________________________ Bug-global mailing list [email protected] https://lists.gnu.org/mailman/listinfo/bug-global
