From 840f2fae3995a3e263801ad07d1285d35ddd9485 Mon Sep 17 00:00:00 2001 From: Boris Kolpackov Date: Wed, 2 Jun 2010 19:00:38 +0200 Subject: Update description of the --options-file option --- cli/options.cli | 19 +++++++++++++------ 1 file changed, 13 insertions(+), 6 deletions(-) (limited to 'cli/options.cli') diff --git a/cli/options.cli b/cli/options.cli index dff5443..58f9565 100644 --- a/cli/options.cli +++ b/cli/options.cli @@ -213,11 +213,18 @@ class options "", "Read additional options from with each option appearing on a separate line optionally followed by space and an option value. Empty - lines and lines starting with \cb{#} are ignored. The semantics of - providing options in a file is equivalent to providing the same set - of options in the same order on the command line at the point where the - \cb{--options-file} option is specified except that shell escaping and - quoting is not required. Repeat this option to specify more than one - options files." + lines and lines starting with \cb{#} are ignored. Option values can + be enclosed in double quotes (\cb{\"\"}) to preserve leading and + trailing whitespaces as well as to specify empty values. If the value + itself contains trailing or leading double quote, enclose it with an + extra pair of double quotes, for example \cb{\"\"x\"\"}. Non-leading + and non-trailing quotes are interpreted as being part of the option + value. + + The semantics of providing options in a file is equivalent to providing + the same set of options in the same order on the command line at the + point where the \cb{--options-file} option is specified except that + the shell escaping and quoting is not required. Repeat this option + to specify more than one options files." }; }; -- cgit v1.1