io.launcher: Fix help-lint for Windows. The examples don't work on

Windows, so disable them.
db4
Doug Coleman 2014-07-09 23:19:58 -05:00
parent 65ea46efbe
commit baa9bed236
1 changed files with 2 additions and 2 deletions

View File

@ -116,7 +116,7 @@ HELP: run-process
{ $values { "desc" "a launch descriptor" } { "process" process } }
{ $description "Launches a process. The object can either be a string, a sequence of strings or a " { $link process } ". See " { $link "io.launcher.descriptors" } " for details." }
{ $examples
{ $example
{ $unchecked-example
"USING: io.launcher prettyprint ;"
"\"pwd\" run-process ."
"T{ process\n { command \"pwd\" }\n { environment H{ } }\n { environment-mode +append-environment+ }\n { group +same-group+ }\n { status 0 }\n}"
@ -142,7 +142,7 @@ HELP: try-process
{ $values { "desc" "a launch descriptor" } }
{ $description "Launches a process and waits for it to complete. If it exits with a non-zero status code, throws a " { $link process-failed } " error." }
{ $examples
{ $example
{ $unchecked-example
"USING: continuations io.launcher prettyprint ;"
"[ \"i-dont-exist\" try-process ] [ ] recover ."
$[