non-breaking space: is it whitespace?

[Tim Waugh]

Hi,

I am grappling with this bug report, and I'm not sure what the right
answer is.

https://bugzilla.redhat.com/bugzilla/show_bug.cgi?id=100970

"The problem is linked to the key sequence I use to type pipe-space
 with my keyboard layout : pipe is altgr+6 ant thus space is often
 altgr+space which is defined as nobreakspace."

In a comment on the bug, Owen Taylor said:

"Actually, looking though the POSIX shell grammer, it implies that the
 delimitation of tokens should be done based on isspace()/LC_CTYPE.

 And in non-C locales, isspace(U+00A0) should be true; so perhaps in
 theory this *is* a bash bug. [...]"

Should a non-breaking space be considered whitespace?

Tim.
*/

pgp0_DggmnwAj.pgp
Description: PGP signature