Re: [PATCH 00/16] Add styling to the gdb CLI and TUI

Eli Zaretskii
2019-03-21T16:01:10Z

> Date: Thu, 21 Mar 2019 11:02:00 -0400
> From: Simon Marchi <simark@simark.ca>
> Cc: tom@tromey.com, gdb-patches@sourceware.org
>
> > I don't have a strong opinion, but I do have a weak one: the decimal
> > "encoding" makes it much easier for humans to construct version
> > numbers, they don't need to convert to hex.
>
> There's not much difference in hex, you would just write "if
> $_gdb_version >= 0x0901" for example, rather than "if $_gdb_version >=
> 901".

That's true for small values of major/minor. But imagine GDB 12.13
for a moment.

> But again, my argument for hex is weak too, it's easy enough to extract
> the GDB version components using some "% 100" and "/ 100". If there's
> no more compelling argument for hex, I'm fine with decimal.

Maybe someone else have an opinion on this?

Thanks.