Re: Poll: consensus to change the encoded-character extension

[Kjetil Torgrim Homme <kjetilho@xxxxxxxxxx>]

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.