Command Line Representation
The command line stored by VOV is a space-separated list of tokens. In order
to allow arguments to have spaces and other special characters, the following rules
apply:
- If an argument contains a space, the whole argument must be double-quoted:
% vw2 echo "Ciao bello"
- If an argument contains a double quote, the quote must be escaped with a
"\"
% vw2 echo Ciao\"bello % vw2 echo 'This is a quote: \"' % vw2 cc -DHEADER=\"hello.h\" -c hello.c
- If an argument contains a backslash "\" it must be escaped with another
backslash:
% vw2 echo "this is a backslash \\"