On 2024-05-12 07:20:13 +0000, avih via Tinycc-devel wrote: > Personally I don't think this is required, but I don't pretend to > represent the tinycc maintainers' opinion. If it is added, however, > then the following should probably be taken into account: > > - This mostly works, but it won't work on all terminals, for instance > the original DEC VT100 has bold but doesn't have colors. > > - It's probably better to support disabling it by means other than > piping stderr into "cat" (so that stdout is not a tty). I.e. using > an option, probably with value always/never/auto. Preferably it > should also respect NO_COLOR by default. see https://no-color.org/ .
In any case, it should automatically detect whether colors are supported by the terminal (something similar to what "tput colors" does), something that GCC fails to do. -- Vincent Lefèvre <vinc...@vinc17.net> - Web: <https://www.vinc17.net/> 100% accessible validated (X)HTML - Blog: <https://www.vinc17.net/blog/> Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon) _______________________________________________ Tinycc-devel mailing list Tinycc-devel@nongnu.org https://lists.nongnu.org/mailman/listinfo/tinycc-devel
