Fabian Homborg 7ea8e20623
argparse: Make short flag names optional (#7585)
It was always a bit ridiculous that argparse required `X-longflag` if
that "X" short flag was never actually used anywhere.

Since the short letter is for getopt's benefit, we can hack around
this with our old friend: Unicode Private Use Areas.

We have a counter, starting at 0xE000 and going to 0xF8FF, that counts
up for all options that don't have a short flag and provides one. This
gives us up to 6400 long-only options.

6.4K should be enough for everybody.
2021-01-01 11:37:25 +01:00
..
2020-11-22 14:39:48 +01:00
2020-05-30 10:07:21 +02:00
2020-12-06 15:39:54 +01:00
2020-10-12 20:25:35 +02:00
2020-11-22 14:39:48 +01:00
2020-10-04 14:51:05 +02:00