Frédéric Delanoy wrote:
- static const char escaped_space[] = {'@','s','p','a','c','e','@','\0'};
+ static const char *escaped_space = "@space@";
I'm not sure it's worth the effort, since eventually we want
cmd to use unicode internally, at which point we'll have
to go back to using arrays.