Re: Colored output

2019-02-14 Thread Akim Demaille
Hi Bruno! > Le 14 févr. 2019 à 23:01, Bruno Haible a écrit : > > Hi Akim, > >> I'm not sure handle_color_option works as expected. I always (independently >> of the argument of the option, and independently of whether the output is a >> tty) get colored output on Bison (https://github.com/ak

Re: Colored output

2019-02-14 Thread Bruno Haible
Hi Akim, > I'm not sure handle_color_option works as expected. I always (independently > of the argument of the option, and independently of whether the output is a > tty) get colored output on Bison (https://github.com/akimd/bison/pull/5), but > also in the two examples of libtextstyle. Oops

gnulib-tool: Improve handling of multiple --local-dir options

2019-02-14 Thread Bruno Haible
Today I needed to use gnulib-tool with multiple --local-dir options for the first time. Thanks to Pavel Raiskup, who implemented this feature which I always found desirable but too hard to implement! However, there are two nits in the way it's implemented: * The last specified dir takes the hig