Ticket #204: removed-duplicated-shell-args-quoting-section.diff

File removed-duplicated-shell-args-quoting-section.diff, 879 bytes (added by Mario Domenech Goulart, 16 years ago)

  • manual/Unit 

    diff --git a/manual/Unit utils b/manual/Unit utils
index ad92f7c..eeab685 100644
    a b A parameter that holds a list of default options that should be given  
    8181to {{csc}} after invocation of the {{compile-file}} procedure.
    8282The initial default options are {{-scrutinize -O2 -d2}}.
    8383
    84 === Shell argument quoting
    85 
    86 ==== qs
    87 
    88 <procedure>(qs STRING [PLATFORM])</procedure>
    89 
    90 Escapes {{STRING}} suitably for passing to a shell command on {{PLATFORM}}.
    91 {{PLATFORM}} defaults to the value of {{(build-platform)}} and indicates in
    92 which style the argument should be quoted. On Windows systems, the string
    93 is simply enclosed in double-quote ({{"}}) characters, on UNIXish systems,
    94 characters that would have a special meaning to the shell are escaped
    95 using backslash ({{\}}).
    96 
    9784
    9885=== Scanning through an input port
    9986