2019-02-04 22:26:45 +00:00
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
< html >
< head >
< title > 3/cf< / title >
2020-03-19 00:03:04 +00:00
< meta name = "viewport" content = "width=device-width initial-scale=1" >
2019-02-04 22:26:45 +00:00
< meta http-equiv = "Content-Type" content = "text/html; charset=utf-8" >
< meta http-equiv = "Content-Language" content = "en-gb" >
2020-03-19 00:03:04 +00:00
< link href = "../inweb.css" rel = "stylesheet" rev = "stylesheet" type = "text/css" >
2019-02-04 22:26:45 +00:00
< / head >
< body >
2020-03-19 00:03:04 +00:00
< nav role = "navigation" >
< h1 > < a href = "../webs.html" > Sources< / a > < / h1 >
< ul >
< li > < a href = "../inweb/index.html" > inweb< / a > < / li >
< / ul >
< h2 > Foundation< / h2 >
< ul >
< li > < a href = "../foundation-module/index.html" > foundation-module< / a > < / li >
< li > < a href = "../foundation-test/index.html" > foundation-test< / a > < / li >
< / ul >
< / nav >
< main role = "main" >
2019-02-09 12:33:40 +00:00
<!-- Weave of '3/shl' generated by 7 -->
2020-03-19 00:03:04 +00:00
< ul class = "crumbs" > < li > < a href = "../webs.html" > Source< / a > < / li > < li > < a href = "index.html" > foundation< / a > < / li > < li > < a href = "index.html#3" > Chapter 3: The Operating System< / a > < / li > < li > < b > Shell< / b > < / li > < / ul > < p class = "purpose" > Sending commands to the shell, on Unix-like platforms, or simulating this on Windows.< / p >
2019-02-04 22:26:45 +00:00
< ul class = "toc" > < li > < a href = "#SP1" > § 1. Operating system interface< / a > < / li > < li > < a href = "#SP5" > § 5. Actual commands< / a > < / li > < / ul > < hr class = "tocbar" >
< p class = "inwebparagraph" > < a id = "SP1" > < / a > < b > § 1. Operating system interface. < / b > Some of our programs have to issue commands to the host operating system,
to copy files, pass them through TeX, and so on. All of that is done using
the C standard library < code class = "display" > < span class = "extract" > system< / span > < / code > function; the commands invoked are all
standard for POSIX, so will work on MacOS and Linux, but on a Windows system
they would need to be read in a POSIX-style environment like Cygwin.
< / p >
< pre class = "display" >
2020-04-05 17:37:43 +00:00
< span class = "identifier" > void< / span > < span class = "plain" > < / span > < span class = "identifier" > Shell::quote_path< / span > < span class = "plain" > (< / span > < span class = "identifier" > OUTPUT_STREAM< / span > < span class = "plain" > , < / span > < span class = "identifier" > pathname< / span > < span class = "plain" > *< / span > < span class = "identifier" > P< / span > < span class = "plain" > ) {< / span >
2019-02-04 22:26:45 +00:00
< span class = "identifier" > TEMPORARY_TEXT< / span > < span class = "plain" > (< / span > < span class = "identifier" > FN< / span > < span class = "plain" > );< / span >
< span class = "identifier" > WRITE_TO< / span > < span class = "plain" > (< / span > < span class = "identifier" > FN< / span > < span class = "plain" > , < / span > < span class = "string" > "%p"< / span > < span class = "plain" > , < / span > < span class = "identifier" > P< / span > < span class = "plain" > );< / span >
2020-04-05 17:37:43 +00:00
< span class = "identifier" > Shell::quote_text< / span > < span class = "plain" > (< / span > < span class = "identifier" > OUT< / span > < span class = "plain" > , < / span > < span class = "identifier" > FN< / span > < span class = "plain" > );< / span >
2019-02-04 22:26:45 +00:00
< span class = "identifier" > DISCARD_TEXT< / span > < span class = "plain" > (< / span > < span class = "identifier" > FN< / span > < span class = "plain" > );< / span >
< span class = "plain" > }< / span >
2020-04-05 17:37:43 +00:00
< span class = "identifier" > void< / span > < span class = "plain" > < / span > < span class = "identifier" > Shell::quote_file< / span > < span class = "plain" > (< / span > < span class = "identifier" > OUTPUT_STREAM< / span > < span class = "plain" > , < / span > < span class = "identifier" > filename< / span > < span class = "plain" > *< / span > < span class = "identifier" > F< / span > < span class = "plain" > ) {< / span >
2019-02-04 22:26:45 +00:00
< span class = "identifier" > TEMPORARY_TEXT< / span > < span class = "plain" > (< / span > < span class = "identifier" > FN< / span > < span class = "plain" > );< / span >
< span class = "identifier" > WRITE_TO< / span > < span class = "plain" > (< / span > < span class = "identifier" > FN< / span > < span class = "plain" > , < / span > < span class = "string" > "%f"< / span > < span class = "plain" > , < / span > < span class = "identifier" > F< / span > < span class = "plain" > );< / span >
2020-04-05 17:37:43 +00:00
< span class = "identifier" > Shell::quote_text< / span > < span class = "plain" > (< / span > < span class = "identifier" > OUT< / span > < span class = "plain" > , < / span > < span class = "identifier" > FN< / span > < span class = "plain" > );< / span >
2019-02-04 22:26:45 +00:00
< span class = "identifier" > DISCARD_TEXT< / span > < span class = "plain" > (< / span > < span class = "identifier" > FN< / span > < span class = "plain" > );< / span >
< span class = "plain" > }< / span >
2020-04-05 17:37:43 +00:00
< span class = "identifier" > void< / span > < span class = "plain" > < / span > < span class = "identifier" > Shell::plain< / span > < span class = "plain" > (< / span > < span class = "identifier" > OUTPUT_STREAM< / span > < span class = "plain" > , < / span > < span class = "identifier" > char< / span > < span class = "plain" > *< / span > < span class = "identifier" > raw< / span > < span class = "plain" > ) {< / span >
2019-02-04 22:26:45 +00:00
< span class = "identifier" > WRITE< / span > < span class = "plain" > (< / span > < span class = "string" > "%s"< / span > < span class = "plain" > , < / span > < span class = "identifier" > raw< / span > < span class = "plain" > );< / span >
< span class = "plain" > }< / span >
2020-04-05 17:37:43 +00:00
< span class = "identifier" > void< / span > < span class = "plain" > < / span > < span class = "identifier" > Shell::plain_text< / span > < span class = "plain" > (< / span > < span class = "identifier" > OUTPUT_STREAM< / span > < span class = "plain" > , < / span > < span class = "identifier" > text_stream< / span > < span class = "plain" > *< / span > < span class = "identifier" > raw< / span > < span class = "plain" > ) {< / span >
2019-02-04 22:26:45 +00:00
< span class = "identifier" > WRITE< / span > < span class = "plain" > (< / span > < span class = "string" > "%S"< / span > < span class = "plain" > , < / span > < span class = "identifier" > raw< / span > < span class = "plain" > );< / span >
< span class = "plain" > }< / span >
2020-04-05 17:37:43 +00:00
< span class = "identifier" > void< / span > < span class = "plain" > < / span > < span class = "identifier" > Shell::quote_text< / span > < span class = "plain" > (< / span > < span class = "identifier" > OUTPUT_STREAM< / span > < span class = "plain" > , < / span > < span class = "identifier" > text_stream< / span > < span class = "plain" > *< / span > < span class = "identifier" > raw< / span > < span class = "plain" > ) {< / span >
< span class = "identifier" > PUT< / span > < span class = "plain" > (< / span > < span class = "identifier" > SHELL_QUOTE_CHARACTER< / span > < span class = "plain" > );< / span >
2019-02-04 22:26:45 +00:00
< span class = "identifier" > LOOP_THROUGH_TEXT< / span > < span class = "plain" > (< / span > < span class = "identifier" > pos< / span > < span class = "plain" > , < / span > < span class = "identifier" > raw< / span > < span class = "plain" > ) {< / span >
2020-04-05 17:37:43 +00:00
< span class = "identifier" > wchar_t< / span > < span class = "plain" > < / span > < span class = "identifier" > c< / span > < span class = "plain" > = < / span > < span class = "identifier" > Str::get< / span > < span class = "plain" > (< / span > < span class = "identifier" > pos< / span > < span class = "plain" > );< / span >
< span class = "identifier" > if< / span > < span class = "plain" > (< / span > < span class = "identifier" > c< / span > < span class = "plain" > == < / span > < span class = "identifier" > SHELL_QUOTE_CHARACTER< / span > < span class = "plain" > ) < / span > < span class = "identifier" > PUT< / span > < span class = "plain" > (< / span > < span class = "character" > '\< / span > < span class = "plain" > \< / span > < span class = "character" > '< / span > < span class = "plain" > );< / span >
2019-02-04 22:26:45 +00:00
< span class = "identifier" > PUT< / span > < span class = "plain" > (< / span > < span class = "identifier" > c< / span > < span class = "plain" > );< / span >
< span class = "plain" > }< / span >
2020-04-05 17:37:43 +00:00
< span class = "identifier" > PUT< / span > < span class = "plain" > (< / span > < span class = "identifier" > SHELL_QUOTE_CHARACTER< / span > < span class = "plain" > );< / span >
2019-02-04 22:26:45 +00:00
< span class = "identifier" > PUT< / span > < span class = "plain" > (< / span > < span class = "character" > ' '< / span > < span class = "plain" > );< / span >
< span class = "plain" > }< / span >
< / pre >
< p class = "inwebparagraph" > < / p >
< p class = "endnote" > The function Shell::quote_path is used in < a href = "#SP3" > § 3< / a > , 5/ee (< a href = "5-ee.html#SP7_4_1" > § 7.4.1< / a > , < a href = "5-ee.html#SP7_4_2" > § 7.4.2< / a > ).< / p >
< p class = "endnote" > The function Shell::quote_file is used in < a href = "#SP2" > § 2< / a > , < a href = "#SP3" > § 3< / a > , < a href = "#SP4" > § 4< / a > , 5/ee (< a href = "5-ee.html#SP7_4_1" > § 7.4.1< / a > , < a href = "5-ee.html#SP7_4_2" > § 7.4.2< / a > ).< / p >
< p class = "endnote" > The function Shell::plain is used in < a href = "#SP2" > § 2< / a > , < a href = "#SP3" > § 3< / a > , < a href = "#SP4" > § 4< / a > , 5/ee (< a href = "5-ee.html#SP7_4_1" > § 7.4.1< / a > , < a href = "5-ee.html#SP7_4_2" > § 7.4.2< / a > ).< / p >
< p class = "endnote" > The function Shell::plain_text is used in < a href = "#SP2" > § 2< / a > .< / p >
< p class = "endnote" > The function Shell::quote_text appears nowhere else.< / p >
< p class = "inwebparagraph" > < a id = "SP2" > < / a > < b > § 2. < / b > The generic shell code to apply < code class = "display" > < span class = "extract" > command< / span > < / code > to a file < code class = "display" > < span class = "extract" > F< / span > < / code > :
< / p >
< pre class = "display" >
2020-04-05 17:37:43 +00:00
< span class = "identifier" > void< / span > < span class = "plain" > < / span > < span class = "identifier" > Shell::apply< / span > < span class = "plain" > (< / span > < span class = "identifier" > char< / span > < span class = "plain" > *< / span > < span class = "identifier" > command< / span > < span class = "plain" > , < / span > < span class = "identifier" > filename< / span > < span class = "plain" > *< / span > < span class = "identifier" > F< / span > < span class = "plain" > ) {< / span >
2019-02-04 22:26:45 +00:00
< span class = "identifier" > TEMPORARY_TEXT< / span > < span class = "plain" > (< / span > < span class = "identifier" > COMMAND< / span > < span class = "plain" > )< / span >
2020-04-05 17:37:43 +00:00
< span class = "identifier" > Shell::plain< / span > < span class = "plain" > (< / span > < span class = "identifier" > COMMAND< / span > < span class = "plain" > , < / span > < span class = "identifier" > command< / span > < span class = "plain" > );< / span >
< span class = "identifier" > Shell::plain< / span > < span class = "plain" > (< / span > < span class = "identifier" > COMMAND< / span > < span class = "plain" > , < / span > < span class = "string" > " "< / span > < span class = "plain" > );< / span >
< span class = "identifier" > Shell::quote_file< / span > < span class = "plain" > (< / span > < span class = "identifier" > COMMAND< / span > < span class = "plain" > , < / span > < span class = "identifier" > F< / span > < span class = "plain" > );< / span >
< span class = "identifier" > Shell::run< / span > < span class = "plain" > (< / span > < span class = "identifier" > COMMAND< / span > < span class = "plain" > );< / span >
2019-02-04 22:26:45 +00:00
< span class = "identifier" > DISCARD_TEXT< / span > < span class = "plain" > (< / span > < span class = "identifier" > COMMAND< / span > < span class = "plain" > )< / span >
< span class = "plain" > }< / span >
2020-04-05 17:37:43 +00:00
< span class = "identifier" > void< / span > < span class = "plain" > < / span > < span class = "identifier" > Shell::apply_S< / span > < span class = "plain" > (< / span > < span class = "identifier" > text_stream< / span > < span class = "plain" > *< / span > < span class = "identifier" > command< / span > < span class = "plain" > , < / span > < span class = "identifier" > filename< / span > < span class = "plain" > *< / span > < span class = "identifier" > F< / span > < span class = "plain" > ) {< / span >
2019-02-04 22:26:45 +00:00
< span class = "identifier" > TEMPORARY_TEXT< / span > < span class = "plain" > (< / span > < span class = "identifier" > COMMAND< / span > < span class = "plain" > )< / span >
2020-04-05 17:37:43 +00:00
< span class = "identifier" > Shell::plain_text< / span > < span class = "plain" > (< / span > < span class = "identifier" > COMMAND< / span > < span class = "plain" > , < / span > < span class = "identifier" > command< / span > < span class = "plain" > );< / span >
< span class = "identifier" > Shell::plain< / span > < span class = "plain" > (< / span > < span class = "identifier" > COMMAND< / span > < span class = "plain" > , < / span > < span class = "string" > " "< / span > < span class = "plain" > );< / span >
< span class = "identifier" > Shell::quote_file< / span > < span class = "plain" > (< / span > < span class = "identifier" > COMMAND< / span > < span class = "plain" > , < / span > < span class = "identifier" > F< / span > < span class = "plain" > );< / span >
< span class = "identifier" > Shell::run< / span > < span class = "plain" > (< / span > < span class = "identifier" > COMMAND< / span > < span class = "plain" > );< / span >
2019-02-04 22:26:45 +00:00
< span class = "identifier" > DISCARD_TEXT< / span > < span class = "plain" > (< / span > < span class = "identifier" > COMMAND< / span > < span class = "plain" > )< / span >
< span class = "plain" > }< / span >
< / pre >
< p class = "inwebparagraph" > < / p >
< p class = "endnote" > The function Shell::apply is used in < a href = "#SP3" > § 3< / a > .< / p >
< p class = "endnote" > The function Shell::apply_S appears nowhere else.< / p >
< p class = "inwebparagraph" > < a id = "SP3" > < / a > < b > § 3. < / b > Applications to using < code class = "display" > < span class = "extract" > rm< / span > < / code > and < code class = "display" > < span class = "extract" > cp< / span > < / code > :
< / p >
< pre class = "display" >
2020-04-05 17:37:43 +00:00
< span class = "identifier" > void< / span > < span class = "plain" > < / span > < span class = "identifier" > Shell::rm< / span > < span class = "plain" > (< / span > < span class = "identifier" > filename< / span > < span class = "plain" > *< / span > < span class = "identifier" > F< / span > < span class = "plain" > ) {< / span >
< span class = "identifier" > Shell::apply< / span > < span class = "plain" > (< / span > < span class = "string" > "rm"< / span > < span class = "plain" > , < / span > < span class = "identifier" > F< / span > < span class = "plain" > );< / span >
2019-02-04 22:26:45 +00:00
< span class = "plain" > }< / span >
2020-04-05 17:37:43 +00:00
< span class = "identifier" > void< / span > < span class = "plain" > < / span > < span class = "identifier" > Shell::copy< / span > < span class = "plain" > (< / span > < span class = "identifier" > filename< / span > < span class = "plain" > *< / span > < span class = "identifier" > F< / span > < span class = "plain" > , < / span > < span class = "identifier" > pathname< / span > < span class = "plain" > *< / span > < span class = "identifier" > T< / span > < span class = "plain" > , < / span > < span class = "identifier" > char< / span > < span class = "plain" > *< / span > < span class = "identifier" > options< / span > < span class = "plain" > ) {< / span >
2019-02-04 22:26:45 +00:00
< span class = "identifier" > TEMPORARY_TEXT< / span > < span class = "plain" > (< / span > < span class = "identifier" > COMMAND< / span > < span class = "plain" > )< / span >
2020-04-05 17:37:43 +00:00
< span class = "identifier" > Shell::plain< / span > < span class = "plain" > (< / span > < span class = "identifier" > COMMAND< / span > < span class = "plain" > , < / span > < span class = "string" > "cp "< / span > < span class = "plain" > );< / span >
< span class = "identifier" > Shell::plain< / span > < span class = "plain" > (< / span > < span class = "identifier" > COMMAND< / span > < span class = "plain" > , < / span > < span class = "identifier" > options< / span > < span class = "plain" > );< / span >
< span class = "identifier" > Shell::plain< / span > < span class = "plain" > (< / span > < span class = "identifier" > COMMAND< / span > < span class = "plain" > , < / span > < span class = "string" > " "< / span > < span class = "plain" > );< / span >
< span class = "identifier" > Shell::quote_file< / span > < span class = "plain" > (< / span > < span class = "identifier" > COMMAND< / span > < span class = "plain" > , < / span > < span class = "identifier" > F< / span > < span class = "plain" > );< / span >
< span class = "identifier" > Shell::quote_path< / span > < span class = "plain" > (< / span > < span class = "identifier" > COMMAND< / span > < span class = "plain" > , < / span > < span class = "identifier" > T< / span > < span class = "plain" > );< / span >
< span class = "identifier" > Shell::run< / span > < span class = "plain" > (< / span > < span class = "identifier" > COMMAND< / span > < span class = "plain" > );< / span >
2019-02-04 22:26:45 +00:00
< span class = "identifier" > DISCARD_TEXT< / span > < span class = "plain" > (< / span > < span class = "identifier" > COMMAND< / span > < span class = "plain" > )< / span >
< span class = "plain" > }< / span >
< / pre >
< p class = "inwebparagraph" > < / p >
< p class = "endnote" > The function Shell::rm appears nowhere else.< / p >
< p class = "endnote" > The function Shell::copy appears nowhere else.< / p >
< p class = "inwebparagraph" > < a id = "SP4" > < / a > < b > § 4. < / b > This writes the traditional Unix shell syntax for redirecting the output
from both < code class = "display" > < span class = "extract" > stdout< / span > < / code > and < code class = "display" > < span class = "extract" > stderr< / span > < / code > to the same named file.
< / p >
< pre class = "display" >
2020-04-05 17:37:43 +00:00
< span class = "identifier" > void< / span > < span class = "plain" > < / span > < span class = "identifier" > Shell::redirect< / span > < span class = "plain" > (< / span > < span class = "identifier" > OUTPUT_STREAM< / span > < span class = "plain" > , < / span > < span class = "identifier" > filename< / span > < span class = "plain" > *< / span > < span class = "identifier" > F< / span > < span class = "plain" > ) {< / span >
< span class = "identifier" > Shell::plain< / span > < span class = "plain" > (< / span > < span class = "identifier" > OUT< / span > < span class = "plain" > , < / span > < span class = "string" > "> "< / span > < span class = "plain" > );< / span >
< span class = "identifier" > Shell::quote_file< / span > < span class = "plain" > (< / span > < span class = "identifier" > OUT< / span > < span class = "plain" > , < / span > < span class = "identifier" > F< / span > < span class = "plain" > );< / span >
< span class = "identifier" > Shell::plain< / span > < span class = "plain" > (< / span > < span class = "identifier" > OUT< / span > < span class = "plain" > , < / span > < span class = "string" > "2> & 1"< / span > < span class = "plain" > );< / span >
2019-02-04 22:26:45 +00:00
< span class = "plain" > }< / span >
< / pre >
< p class = "inwebparagraph" > < / p >
< p class = "endnote" > The function Shell::redirect appears nowhere else.< / p >
< p class = "inwebparagraph" > < a id = "SP5" > < / a > < b > § 5. Actual commands. < / b > The scheme is that commands are composed using the above functions, and
then sent to this one.
< / p >
< p class = "inwebparagraph" > We make the buffer here long enough for 8 filenames of worst-case length,
all transcoded to UTF-8 in the most unlucky way imaginable.
< / p >
< pre class = "definitions" >
2020-04-05 17:37:43 +00:00
< span class = "definitionkeyword" > define< / span > < span class = "identifier" > SPOOL_LENGTH< / span > < span class = "plain" > < / span > < span class = "constant" > 4< / span > < span class = "plain" > *8*< / span > < span class = "identifier" > MAX_FILENAME_LENGTH< / span >
2019-02-04 22:26:45 +00:00
< / pre >
< pre class = "display" >
2020-04-05 17:37:43 +00:00
< span class = "identifier" > int< / span > < span class = "plain" > < / span > < span class = "identifier" > shell_verbosity< / span > < span class = "plain" > = < / span > < span class = "identifier" > FALSE< / span > < span class = "plain" > ;< / span >
< span class = "identifier" > void< / span > < span class = "plain" > < / span > < span class = "identifier" > Shell::verbose< / span > < span class = "plain" > (< / span > < span class = "identifier" > void< / span > < span class = "plain" > ) {< / span >
< span class = "identifier" > shell_verbosity< / span > < span class = "plain" > = < / span > < span class = "identifier" > TRUE< / span > < span class = "plain" > ;< / span >
2019-02-04 22:26:45 +00:00
< span class = "plain" > }< / span >
2020-04-05 17:37:43 +00:00
< span class = "identifier" > int< / span > < span class = "plain" > < / span > < span class = "identifier" > Shell::run< / span > < span class = "plain" > (< / span > < span class = "identifier" > OUTPUT_STREAM< / span > < span class = "plain" > ) {< / span >
2020-04-05 00:03:36 +00:00
< span class = "identifier" > if< / span > < span class = "plain" > (< / span > < span class = "identifier" > shell_verbosity< / span > < span class = "plain" > ) < / span > < span class = "identifier" > PRINT< / span > < span class = "plain" > (< / span > < span class = "string" > "shell: %S\< / span > < span class = "plain" > n< / span > < span class = "string" > "< / span > < span class = "plain" > , < / span > < span class = "identifier" > OUT< / span > < span class = "plain" > );< / span >
2019-02-04 22:26:45 +00:00
< span class = "identifier" > LOGIF< / span > < span class = "plain" > (< / span > < span class = "identifier" > SHELL_USAGE< / span > < span class = "plain" > , < / span > < span class = "string" > "shell: %S\< / span > < span class = "plain" > n< / span > < span class = "string" > "< / span > < span class = "plain" > , < / span > < span class = "identifier" > OUT< / span > < span class = "plain" > );< / span >
2020-04-05 17:37:43 +00:00
< span class = "identifier" > char< / span > < span class = "plain" > < / span > < span class = "identifier" > spool< / span > < span class = "plain" > [< / span > < span class = "identifier" > SPOOL_LENGTH< / span > < span class = "plain" > ];< / span >
< span class = "identifier" > Streams::write_as_locale_string< / span > < span class = "plain" > (< / span > < span class = "identifier" > spool< / span > < span class = "plain" > , < / span > < span class = "identifier" > OUT< / span > < span class = "plain" > , < / span > < span class = "identifier" > SPOOL_LENGTH< / span > < span class = "plain" > );< / span >
< span class = "identifier" > int< / span > < span class = "plain" > < / span > < span class = "identifier" > rv< / span > < span class = "plain" > = < / span > < span class = "identifier" > Platform::system< / span > < span class = "plain" > (< / span > < span class = "identifier" > spool< / span > < span class = "plain" > );< / span >
2020-04-05 00:03:36 +00:00
< span class = "identifier" > if< / span > < span class = "plain" > (< / span > < span class = "identifier" > rv< / span > < span class = "plain" > == -1) {< / span >
2020-04-05 17:37:43 +00:00
< span class = "identifier" > WRITE_TO< / span > < span class = "plain" > (< / span > < span class = "identifier" > STDERR< / span > < span class = "plain" > , < / span > < span class = "string" > "shell: %S\< / span > < span class = "plain" > n< / span > < span class = "string" > "< / span > < span class = "plain" > , < / span > < span class = "identifier" > OUT< / span > < span class = "plain" > );< / span >
2019-02-04 22:26:45 +00:00
< span class = "identifier" > internal_error< / span > < span class = "plain" > (< / span > < span class = "string" > "OS shell error"< / span > < span class = "plain" > );< / span >
< span class = "plain" > }< / span >
2020-04-05 00:03:36 +00:00
< span class = "identifier" > if< / span > < span class = "plain" > (< / span > < span class = "identifier" > rv< / span > < span class = "plain" > == < / span > < span class = "constant" > 127< / span > < span class = "plain" > ) {< / span >
2020-04-05 17:37:43 +00:00
< span class = "identifier" > WRITE_TO< / span > < span class = "plain" > (< / span > < span class = "identifier" > STDERR< / span > < span class = "plain" > , < / span > < span class = "string" > "shell: %S\< / span > < span class = "plain" > n< / span > < span class = "string" > "< / span > < span class = "plain" > , < / span > < span class = "identifier" > OUT< / span > < span class = "plain" > );< / span >
2019-02-04 22:26:45 +00:00
< span class = "identifier" > internal_error< / span > < span class = "plain" > (< / span > < span class = "string" > "Execution of the shell failed"< / span > < span class = "plain" > );< / span >
< span class = "plain" > }< / span >
2020-04-05 00:03:36 +00:00
< span class = "identifier" > return< / span > < span class = "plain" > < / span > < span class = "identifier" > rv< / span > < span class = "plain" > ;< / span >
2019-02-04 22:26:45 +00:00
< span class = "plain" > }< / span >
< / pre >
< p class = "inwebparagraph" > < / p >
< p class = "endnote" > The function Shell::verbose appears nowhere else.< / p >
2020-03-29 23:29:23 +00:00
< p class = "endnote" > The function Shell::run is used in < a href = "#SP2" > § 2< / a > , < a href = "#SP3" > § 3< / a > , 1/pp (< a href = "1-pp.html#SP16" > § 16< / a > ), 5/ee (< a href = "5-ee.html#SP7_4_1" > § 7.4.1< / a > , < a href = "5-ee.html#SP7_4_2" > § 7.4.2< / a > ).< / p >
2019-02-04 22:26:45 +00:00
2019-03-12 23:32:12 +00:00
< hr class = "tocbar" >
< ul class = "toc" > < li > < a href = "3-cf.html" > Back to 'Case-Insensitive Filenames'< / a > < / li > < li > < a href = "3-drc.html" > Continue with 'Directories'< / a > < / li > < / ul > < hr class = "tocbar" >
2019-03-18 11:16:10 +00:00
<!-- End of weave -->
2020-03-19 00:03:04 +00:00
< / main >
2019-02-04 22:26:45 +00:00
< / body >
< / html >