Hey Pádraig.
I just wanted to ask, whether the following could be a bug in printf:
POSIX says[0], that e.g.:
printf '%d\n' \"3
should give the numeric value of the character, and that "in a locale
with multi-byte characters, the value of a character is intended to be
the value of the equivalent of the wchar_t representation of the
character".
In bash:
$ printf '%d\n' $'"\u2208'
8712
here the printf is bash's built-in printf, and there it works.
But using GNU coreutils' printf (version 8.32):
$ /usr/bin/printf '%d\n' $'"\u2208'
/usr/bin/printf: warning: ��: character(s) following character constant have
been ignored
226
Do I have some wrong assumptions or should I report that as a bug?
Thanks,
Chris.
[0] https://pubs.opengroup.org/onlinepubs/9699919799/utilities/printf.html