On Tue, 2007-04-10 at 20:55 +0200, Michael Haardt wrote:
Btw: If you want to encode "${hex:00}" literally, you need to write
"${hex:24 7b 68 65 78 3a 30 30 7d}".
"${hex:24}{hex:00}" is shorter and IMHO clearer.
Hmm. 2.4.2 says further:
NUL (US-ASCII 0) is not allowed in strings.
How about:
An unencoded NUL (US-ASCII 0) is not allowed in strings, see section
2.4.2.4 for encoded characters.
I think that clarification is useful. "Literal NUL ..." works, too.
--
Kjetil T.