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 >
2020-04-08 22:41:00 +00:00
< title > Shell< / 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" >
2020-04-10 20:29:28 +00:00
2019-02-04 22:26:45 +00:00
< / head >
< body >
2020-03-19 00:03:04 +00:00
< nav role = "navigation" >
2020-04-13 16:06:45 +00:00
< h1 > < a href = "../index.html" >
2020-04-14 17:36:42 +00:00
< img src = "../docs-src/Figures/Octagram184x184.png" width = 72 height = 72" >
2020-04-13 16:06:45 +00:00
< / a > < / h1 >
< ul > < li > < a href = "../inweb/index.html" > inweb< / a > < / li >
< / ul > < h2 > Foundation Module< / h2 > < ul >
< li > < a href = "index.html" > < span class = "selectedlink" > foundation< / span > < / a > < / li >
2020-03-19 00:03:04 +00:00
< li > < a href = "../foundation-test/index.html" > foundation-test< / a > < / li >
2020-04-13 16:06:45 +00:00
< / ul > < h2 > Example Webs< / h2 > < ul >
2020-04-12 16:24:23 +00:00
< li > < a href = "../goldbach/index.html" > goldbach< / a > < / li >
< li > < a href = "../twinprimes/twinprimes.html" > twinprimes< / a > < / li >
2020-04-15 22:45:08 +00:00
< li > < a href = "../eastertide/index.html" > eastertide< / a > < / li >
2020-04-14 17:36:42 +00:00
< / ul > < h2 > Repository< / h2 > < ul >
2020-04-14 19:29:03 +00:00
< li > < a href = "https://github.com/ganelson/inweb" > < img src = "../github.png" height = 18 > github< / a > < / li >
2020-04-14 17:36:42 +00:00
< / ul > < h2 > Related Projects< / h2 > < ul >
< li > < a href = "../../../inform/docs/index.html" > inform< / a > < / li >
< li > < a href = "../../../intest/docs/index.html" > intest< / a > < / li >
2020-03-19 00:03:04 +00:00
2020-04-13 16:06:45 +00:00
< / ul >
2020-03-19 00:03:04 +00:00
< / nav >
< main role = "main" >
2020-04-16 22:51:03 +00:00
<!-- Weave of 'Shell' generated by Inweb -->
2020-04-13 16:06:45 +00:00
< ul class = "crumbs" > < li > < a href = "../index.html" > Home< / 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
2020-04-15 22:45:08 +00:00
< ul class = "toc" > < li > < a href = "3-shl.html#SP1" > § 1. Operating system interface< / a > < / li > < li > < a href = "3-shl.html#SP5" > § 5. Actual commands< / a > < / li > < / ul > < hr class = "tocbar" >
2019-02-04 22:26:45 +00:00
< 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-17 18:18:40 +00:00
< span class = "reserved" > void< / span > < span class = "plain" > < / span > < span class = "functiontext" > Shell::quote_path< button class = "popup" onclick = "togglePopup('usagePopup238')" > ...< span class = "popuptext" id = "usagePopup238" > Usage of < b > Shell::quote_path< / b > :< br > < a href = "3-shl.html#SP3" > § 3< / a > , Epub Ebooks - < a href = "5-ee.html#SP7_4_1" > § 7.4.1< / a > , < a href = "5-ee.html#SP7_4_2" > § 7.4.2< / a > < / span > < / button > < / span > < span class = "plain" > (< / span > < span class = "constant" > OUTPUT_STREAM< / span > < span class = "plain" > , < / span > < span class = "reserved" > 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-15 22:45:08 +00:00
< span class = "functiontext" > < a href = "3-shl.html#SP1" > Shell::quote_text< / a > < / 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-17 18:18:40 +00:00
< span class = "reserved" > void< / span > < span class = "plain" > < / span > < span class = "functiontext" > Shell::quote_file< button class = "popup" onclick = "togglePopup('usagePopup239')" > ...< span class = "popuptext" id = "usagePopup239" > Usage of < b > Shell::quote_file< / b > :< br > < a href = "3-shl.html#SP2" > § 2< / a > , < a href = "3-shl.html#SP3" > § 3< / a > , < a href = "3-shl.html#SP4" > § 4< / a > , Epub Ebooks - < a href = "5-ee.html#SP7_4_1" > § 7.4.1< / a > , < a href = "5-ee.html#SP7_4_2" > § 7.4.2< / a > < / span > < / button > < / span > < span class = "plain" > (< / span > < span class = "constant" > OUTPUT_STREAM< / span > < span class = "plain" > , < / span > < span class = "reserved" > 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-15 22:45:08 +00:00
< span class = "functiontext" > < a href = "3-shl.html#SP1" > Shell::quote_text< / a > < / 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-17 18:18:40 +00:00
< span class = "reserved" > void< / span > < span class = "plain" > < / span > < span class = "functiontext" > Shell::plain< button class = "popup" onclick = "togglePopup('usagePopup240')" > ...< span class = "popuptext" id = "usagePopup240" > Usage of < b > Shell::plain< / b > :< br > < a href = "3-shl.html#SP2" > § 2< / a > , < a href = "3-shl.html#SP3" > § 3< / a > , < a href = "3-shl.html#SP4" > § 4< / a > , Epub Ebooks - < a href = "5-ee.html#SP7_4_1" > § 7.4.1< / a > , < a href = "5-ee.html#SP7_4_2" > § 7.4.2< / a > < / span > < / button > < / span > < span class = "plain" > (< / span > < span class = "constant" > OUTPUT_STREAM< / span > < span class = "plain" > , < / span > < span class = "reserved" > 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-17 18:18:40 +00:00
< span class = "reserved" > void< / span > < span class = "plain" > < / span > < span class = "functiontext" > Shell::plain_text< button class = "popup" onclick = "togglePopup('usagePopup241')" > ...< span class = "popuptext" id = "usagePopup241" > Usage of < b > Shell::plain_text< / b > :< br > < a href = "3-shl.html#SP2" > § 2< / a > < / span > < / button > < / span > < span class = "plain" > (< / span > < span class = "constant" > OUTPUT_STREAM< / span > < span class = "plain" > , < / span > < span class = "reserved" > 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-17 18:18:40 +00:00
< span class = "reserved" > void< / span > < span class = "plain" > < / span > < span class = "functiontext" > Shell::quote_text< button class = "popup" onclick = "togglePopup('usagePopup242')" > ...< span class = "popuptext" id = "usagePopup242" > Usage of < b > Shell::quote_text< / b > :< br > none< / span > < / button > < / span > < span class = "plain" > (< / span > < span class = "constant" > OUTPUT_STREAM< / span > < span class = "plain" > , < / span > < span class = "reserved" > text_stream< / span > < span class = "plain" > *< / span > < span class = "identifier" > raw< / span > < span class = "plain" > ) {< / span >
2020-04-06 11:26:10 +00:00
< span class = "identifier" > PUT< / span > < span class = "plain" > (< / span > < span class = "constant" > 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-11 22:43:27 +00:00
< span class = "identifier" > wchar_t< / span > < span class = "plain" > < / span > < span class = "identifier" > c< / span > < span class = "plain" > = < / span > < span class = "functiontext" > < a href = "4-sm.html#SP13" > Str::get< / a > < / span > < span class = "plain" > (< / span > < span class = "identifier" > pos< / span > < span class = "plain" > );< / span >
2020-04-06 11:26:10 +00:00
< span class = "reserved" > if< / span > < span class = "plain" > (< / span > < span class = "identifier" > c< / span > < span class = "plain" > == < / span > < span class = "constant" > 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 >
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-06 11:26:10 +00:00
< span class = "identifier" > PUT< / span > < span class = "plain" > (< / span > < span class = "constant" > 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 = "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-17 18:18:40 +00:00
< span class = "reserved" > void< / span > < span class = "plain" > < / span > < span class = "functiontext" > Shell::apply< button class = "popup" onclick = "togglePopup('usagePopup243')" > ...< span class = "popuptext" id = "usagePopup243" > Usage of < b > Shell::apply< / b > :< br > < a href = "3-shl.html#SP3" > § 3< / a > < / span > < / button > < / span > < span class = "plain" > (< / span > < span class = "reserved" > char< / span > < span class = "plain" > *< / span > < span class = "identifier" > command< / span > < span class = "plain" > , < / span > < span class = "reserved" > 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-15 22:45:08 +00:00
< span class = "functiontext" > < a href = "3-shl.html#SP1" > Shell::plain< / a > < / 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 = "functiontext" > < a href = "3-shl.html#SP1" > Shell::plain< / a > < / span > < span class = "plain" > (< / span > < span class = "identifier" > COMMAND< / span > < span class = "plain" > , < / span > < span class = "string" > " "< / span > < span class = "plain" > );< / span >
< span class = "functiontext" > < a href = "3-shl.html#SP1" > Shell::quote_file< / a > < / 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 = "functiontext" > < a href = "3-shl.html#SP5" > Shell::run< / a > < / 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-17 18:18:40 +00:00
< span class = "reserved" > void< / span > < span class = "plain" > < / span > < span class = "functiontext" > Shell::apply_S< button class = "popup" onclick = "togglePopup('usagePopup244')" > ...< span class = "popuptext" id = "usagePopup244" > Usage of < b > Shell::apply_S< / b > :< br > none< / span > < / button > < / span > < span class = "plain" > (< / span > < span class = "reserved" > text_stream< / span > < span class = "plain" > *< / span > < span class = "identifier" > command< / span > < span class = "plain" > , < / span > < span class = "reserved" > 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-15 22:45:08 +00:00
< span class = "functiontext" > < a href = "3-shl.html#SP1" > Shell::plain_text< / a > < / 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 = "functiontext" > < a href = "3-shl.html#SP1" > Shell::plain< / a > < / span > < span class = "plain" > (< / span > < span class = "identifier" > COMMAND< / span > < span class = "plain" > , < / span > < span class = "string" > " "< / span > < span class = "plain" > );< / span >
< span class = "functiontext" > < a href = "3-shl.html#SP1" > Shell::quote_file< / a > < / 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 = "functiontext" > < a href = "3-shl.html#SP5" > Shell::run< / a > < / 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 = "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-17 18:18:40 +00:00
< span class = "reserved" > void< / span > < span class = "plain" > < / span > < span class = "functiontext" > Shell::rm< button class = "popup" onclick = "togglePopup('usagePopup245')" > ...< span class = "popuptext" id = "usagePopup245" > Usage of < b > Shell::rm< / b > :< br > none< / span > < / button > < / span > < span class = "plain" > (< / span > < span class = "reserved" > filename< / span > < span class = "plain" > *< / span > < span class = "identifier" > F< / span > < span class = "plain" > ) {< / span >
2020-04-15 22:45:08 +00:00
< span class = "functiontext" > < a href = "3-shl.html#SP2" > Shell::apply< / a > < / 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-17 18:18:40 +00:00
< span class = "reserved" > void< / span > < span class = "plain" > < / span > < span class = "functiontext" > Shell::copy< button class = "popup" onclick = "togglePopup('usagePopup246')" > ...< span class = "popuptext" id = "usagePopup246" > Usage of < b > Shell::copy< / b > :< br > none< / span > < / button > < / span > < span class = "plain" > (< / span > < span class = "reserved" > filename< / span > < span class = "plain" > *< / span > < span class = "identifier" > F< / span > < span class = "plain" > , < / span > < span class = "reserved" > pathname< / span > < span class = "plain" > *< / span > < span class = "identifier" > T< / span > < span class = "plain" > , < / span > < span class = "reserved" > 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-15 22:45:08 +00:00
< span class = "functiontext" > < a href = "3-shl.html#SP1" > Shell::plain< / a > < / 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 = "functiontext" > < a href = "3-shl.html#SP1" > Shell::plain< / a > < / 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 = "functiontext" > < a href = "3-shl.html#SP1" > Shell::plain< / a > < / span > < span class = "plain" > (< / span > < span class = "identifier" > COMMAND< / span > < span class = "plain" > , < / span > < span class = "string" > " "< / span > < span class = "plain" > );< / span >
< span class = "functiontext" > < a href = "3-shl.html#SP1" > Shell::quote_file< / a > < / 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 = "functiontext" > < a href = "3-shl.html#SP1" > Shell::quote_path< / a > < / 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 = "functiontext" > < a href = "3-shl.html#SP5" > Shell::run< / a > < / 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 = "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-17 18:18:40 +00:00
< span class = "reserved" > void< / span > < span class = "plain" > < / span > < span class = "functiontext" > Shell::redirect< button class = "popup" onclick = "togglePopup('usagePopup247')" > ...< span class = "popuptext" id = "usagePopup247" > Usage of < b > Shell::redirect< / b > :< br > none< / span > < / button > < / span > < span class = "plain" > (< / span > < span class = "constant" > OUTPUT_STREAM< / span > < span class = "plain" > , < / span > < span class = "reserved" > filename< / span > < span class = "plain" > *< / span > < span class = "identifier" > F< / span > < span class = "plain" > ) {< / span >
2020-04-15 22:45:08 +00:00
< span class = "functiontext" > < a href = "3-shl.html#SP1" > Shell::plain< / a > < / span > < span class = "plain" > (< / span > < span class = "identifier" > OUT< / span > < span class = "plain" > , < / span > < span class = "string" > "> "< / span > < span class = "plain" > );< / span >
< span class = "functiontext" > < a href = "3-shl.html#SP1" > Shell::quote_file< / a > < / 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 = "functiontext" > < a href = "3-shl.html#SP1" > Shell::plain< / a > < / 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 = "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-06 11:26:10 +00:00
< span class = "definitionkeyword" > define< / span > < span class = "constant" > SPOOL_LENGTH< / span > < span class = "plain" > < / span > < span class = "constant" > 4< / span > < span class = "plain" > *8*< / span > < span class = "constant" > MAX_FILENAME_LENGTH< / span >
2019-02-04 22:26:45 +00:00
< / pre >
< pre class = "display" >
2020-04-06 11:26:10 +00:00
< span class = "reserved" > int< / span > < span class = "plain" > < / span > < span class = "identifier" > shell_verbosity< / span > < span class = "plain" > = < / span > < span class = "constant" > FALSE< / span > < span class = "plain" > ;< / span >
2020-04-17 18:18:40 +00:00
< span class = "reserved" > void< / span > < span class = "plain" > < / span > < span class = "functiontext" > Shell::verbose< button class = "popup" onclick = "togglePopup('usagePopup248')" > ...< span class = "popuptext" id = "usagePopup248" > Usage of < b > Shell::verbose< / b > :< br > none< / span > < / button > < / span > < span class = "plain" > (< / span > < span class = "reserved" > void< / span > < span class = "plain" > ) {< / span >
2020-04-06 11:26:10 +00:00
< span class = "identifier" > shell_verbosity< / span > < span class = "plain" > = < / span > < span class = "constant" > TRUE< / span > < span class = "plain" > ;< / span >
2019-02-04 22:26:45 +00:00
< span class = "plain" > }< / span >
2020-04-17 18:18:40 +00:00
< span class = "reserved" > int< / span > < span class = "plain" > < / span > < span class = "functiontext" > Shell::run< button class = "popup" onclick = "togglePopup('usagePopup249')" > ...< span class = "popuptext" id = "usagePopup249" > Usage of < b > Shell::run< / b > :< br > < a href = "3-shl.html#SP2" > § 2< / a > , < a href = "3-shl.html#SP3" > § 3< / a > , POSIX Platforms - < a href = "1-pp.html#SP16" > § 16< / a > < br > Epub Ebooks - < a href = "5-ee.html#SP7_4_1" > § 7.4.1< / a > , < a href = "5-ee.html#SP7_4_2" > § 7.4.2< / a > < / span > < / button > < / span > < span class = "plain" > (< / span > < span class = "constant" > OUTPUT_STREAM< / span > < span class = "plain" > ) {< / span >
2020-04-06 11:26:10 +00:00
< span class = "reserved" > 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\n"< / span > < span class = "plain" > , < / span > < span class = "identifier" > OUT< / span > < span class = "plain" > );< / span >
< span class = "identifier" > LOGIF< / span > < span class = "plain" > (< / span > < span class = "identifier" > SHELL_USAGE< / span > < span class = "plain" > , < / span > < span class = "string" > "shell: %S\n"< / span > < span class = "plain" > , < / span > < span class = "identifier" > OUT< / span > < span class = "plain" > );< / span >
< span class = "reserved" > char< / span > < span class = "plain" > < / span > < span class = "identifier" > spool< / span > < span class = "plain" > [< / span > < span class = "constant" > SPOOL_LENGTH< / span > < span class = "plain" > ];< / span >
2020-04-11 22:43:27 +00:00
< span class = "functiontext" > < a href = "2-str.html#SP32" > Streams::write_as_locale_string< / a > < / 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 = "constant" > SPOOL_LENGTH< / span > < span class = "plain" > );< / span >
2020-04-06 11:26:10 +00:00
< span class = "reserved" > if< / span > < span class = "plain" > (< / span > < span class = "identifier" > debugger_mode< / span > < span class = "plain" > ) {< / span >
< span class = "identifier" > WRITE_TO< / span > < span class = "plain" > (< / span > < span class = "constant" > STDOUT< / span > < span class = "plain" > , < / span > < span class = "string" > "debugger mode suppressing shell command: %S\n"< / span > < span class = "plain" > , < / span > < span class = "identifier" > OUT< / span > < span class = "plain" > );< / span >
< span class = "reserved" > return< / span > < span class = "plain" > < / span > < span class = "constant" > 0< / span > < span class = "plain" > ;< / span >
< span class = "plain" > }< / span >
2020-04-11 22:43:27 +00:00
< span class = "reserved" > int< / span > < span class = "plain" > < / span > < span class = "identifier" > rv< / span > < span class = "plain" > = < / span > < span class = "functiontext" > < a href = "1-wp.html#SP6" > Platform::system< / a > < / span > < span class = "plain" > (< / span > < span class = "identifier" > spool< / span > < span class = "plain" > );< / span >
2020-04-06 11:26:10 +00:00
< span class = "reserved" > if< / span > < span class = "plain" > (< / span > < span class = "identifier" > rv< / span > < span class = "plain" > == -1) {< / span >
< span class = "identifier" > WRITE_TO< / span > < span class = "plain" > (< / span > < span class = "constant" > STDERR< / span > < span class = "plain" > , < / span > < span class = "string" > "shell: %S\n"< / 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-06 11:26:10 +00:00
< span class = "reserved" > if< / span > < span class = "plain" > (< / span > < span class = "identifier" > rv< / span > < span class = "plain" > == < / span > < span class = "constant" > 127< / span > < span class = "plain" > ) {< / span >
< span class = "identifier" > WRITE_TO< / span > < span class = "plain" > (< / span > < span class = "constant" > STDERR< / span > < span class = "plain" > , < / span > < span class = "string" > "shell: %S\n"< / 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-06 11:26:10 +00:00
< span class = "reserved" > 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 >
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-04-11 20:39:43 +00:00
< script >
function togglePopup(material_id) {
var popup = document.getElementById(material_id);
popup.classList.toggle("show");
}
< / script >
< link href = "Popups.css" rel = "stylesheet" rev = "stylesheet" type = "text/css" >
2020-03-19 00:03:04 +00:00
< / main >
2019-02-04 22:26:45 +00:00
< / body >
< / html >