• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1<html><head><title>toybox source code walkthrough</title></head>
2<!--#include file="header.html" -->
3
4<p><h1><a name="style" /><a href="#style">Code style</a></h1></p>
5
6<p>The primary goal of toybox is _simple_ code. Keeping the code small is
7second, with speed and lots of features coming in somewhere after that.
8(For more on that, see the <a href=design.html>design</a> page.)</p>
9
10<p>A simple implementation usually takes up fewer lines of source code,
11meaning more code can fit on the screen at once, meaning the programmer can
12see more of it on the screen and thus keep more if in their head at once.
13This helps code auditing and thus reduces bugs. That said, sometimes being
14more explicit is preferable to being clever enough to outsmart yourself:
15don't be so terse your code is unreadable.</p>
16
17<p>Toybox has an actual coding style guide over on
18<a href=design.html#codestyle>the design page</a>, but in general we just
19want the code to be consistent.</p>
20
21<p><h1><a name="building" /><a href="#building">Building Toybox</a></h1></p>
22
23<p>Toybox is configured using the Kconfig language pioneered by the Linux
24kernel, and adopted by many other projects (uClibc, OpenEmbedded, etc).
25This generates a ".config" file containing the selected options, which
26controls which features are included when compiling toybox.</p>
27
28<p>Each configuration option has a default value. The defaults indicate the
29"maximum sane configuration", I.E. if the feature defaults to "n" then it
30either isn't complete or is a special-purpose option (such as debugging
31code) that isn't intended for general purpose use.</p>
32
33<p>For a more compact human-editable version .config files, you can use the
34<a href=http://landley.net/aboriginal/FAQ.html#dev_miniconfig>miniconfig</a>
35format.</p>
36
37<p>The standard build invocation is:</p>
38
39<ul>
40<li>make defconfig #(or menuconfig)</li>
41<li>make</li>
42<li>make install</li>
43</ul>
44
45<p>Type "make help" to see all available build options.</p>
46
47<p>The file "configure" contains a number of environment variable definitions
48which influence the build, such as specifying which compiler to use or where
49to install the resulting binaries. This file is included by the build, but
50accepts existing definitions of the environment variables, so it may be sourced
51or modified by the developer before building and the definitions exported
52to the environment will take precedence.</p>
53
54<p>(To clarify: ".config" lists the features selected by defconfig/menuconfig,
55I.E. "what to build", and "configure" describes the build and installation
56environment, I.E. "how to build it".)</p>
57
58<p>By default "make install" puts files in /usr/toybox. Adding this to the
59$PATH is up to you. The environment variable $PREFIX can change the
60install location, ala "PREFIX=/usr/local/bin make install".</p>
61
62<p>If you need an unstripped (debug) version of any of these binaries,
63look in generated/unstripped.</p>
64
65<p><h1><a name="running"><a href="#running">Running a command</a></h1></p>
66
67<h2>main</h2>
68
69<p>The toybox main() function is at the end of main.c at the top level. It has
70two possible codepaths, only one of which is configured into any given build
71of toybox.</p>
72
73<p>If CONFIG_SINGLE is selected, toybox is configured to contain only a single
74command, so most of the normal setup can be skipped. In this case the
75multiplexer isn't used, instead main() calls toy_singleinit() (also in main.c)
76to set up global state and parse command line arguments, calls the command's
77main function out of toy_list (in the CONFIG_SINGLE case the array has a single entry, no need to search), and if the function returns instead of exiting
78it flushes stdout (detecting error) and returns toys.exitval.</p>
79
80<p>When CONFIG_SINGLE is not selected, main() uses basename() to find the
81name it was run as, shifts its argument list one to the right so it lines up
82with where the multiplexer function expects it, and calls toybox_main(). This
83leverages the multiplexer command's infrastructure to find and run the
84appropriate command. (A command name starting with "toybox" will
85recursively call toybox_main(); you can go "./toybox toybox toybox toybox ls"
86if you want to...)</p>
87
88<h2>toybox_main</h2>
89
90<p>The toybox_main() function is also in main,c. It handles a possible
91--help option ("toybox --help ls"), prints the list of available commands if no
92arguments were provided to the multiplexer (or with full path names if any
93other option is provided before a command name, ala "toybox --list").
94Otherwise it calls toy_exec() on its argument list.</p>
95
96<p>Note that the multiplexer is the first entry in toy_list (the rest of the
97list is sorted alphabetically to allow binary search), so toybox_main can
98cheat and just grab the first entry to quickly set up its context without
99searching. Since all command names go through the multiplexer at least once
100in the non-TOYBOX_SINGLE case, this avoids a redundant search of
101the list.</p>
102
103<p>The toy_exec() function is also in main.c. It performs toy_find() to
104perform a binary search on the toy_list array to look up the command's
105entry by name and saves it in the global variable which, calls toy_init()
106to parse command line arguments and set up global state (using which->options),
107and calls the appropriate command's main() function (which->toy_main). On
108return it flushes all pending ansi FILE * I/O, detects if stdout had an
109error, and then calls xexit() (which uses toys.exitval).</p>
110
111<p><h1><a name="infrastructure" /><a href="#infrastructure">Infrastructure</a></h1></p>
112
113<p>The toybox source code is in following directories:</p>
114<ul>
115<li>The <a href="#top">top level directory</a> contains the file main.c (were
116execution starts), the header file toys.h (included by every command), and
117other global infrastructure.</li>
118<li>The <a href="#lib">lib directory</a> contains common functions shared by
119multiple commands:</li>
120<ul>
121<li><a href="#lib_lib">lib/lib.c</a></li>
122<li><a href="#lib_xwrap">lib/xwrap.c</a></li>
123<li><a href="#lib_llist">lib/llist.c</a></li>
124<li><a href="#lib_args">lib/args.c</a></li>
125<li><a href="#lib_dirtree">lib/dirtree.c</a></li>
126</ul>
127<li>The <a href="#toys">toys directory</a> contains the C files implementating
128each command. Currently it contains five subdirectories categorizing the
129commands: posix, lsb, other, example, and pending.</li>
130<li>The <a href="#scripts">scripts directory</a> contains the build and
131test infrastructure.</li>
132<li>The <a href="#kconfig">kconfig directory</a> contains the configuration
133infrastructure implementing menuconfig (copied from the Linux kernel).</li>
134<li>The <a href="#generated">generated directory</a> contains intermediate
135files generated from other parts of the source code.</li>
136</ul>
137
138<a name="adding" />
139<p><h1><a href="#adding">Adding a new command</a></h1></p>
140<p>To add a new command to toybox, add a C file implementing that command to
141one of the subdirectories under the toys directory.  No other files need to
142be modified; the build extracts all the information it needs (such as command
143line arguments) from specially formatted comments and macros in the C file.
144(See the description of the <a href="#generated">"generated" directory</a>
145for details.)</p>
146
147<p>Currently there are five subdirectories under "toys", one for commands
148defined by the POSIX standard, one for commands defined by the Linux Standard
149Base, an "other" directory for commands not covered by an obvious standard,
150a directory of example commands (templates to use when starting new commands),
151and a "pending" directory of commands that need further review/cleanup
152before moving to one of the other directories (run these at your own risk,
153cleanup patches welcome).
154These directories are just for developer convenience sorting the commands,
155the directories are otherwise functionally identical. To add a new category,
156create the appropriate directory with a README file in it whose first line
157is the description menuconfig should use for the directory.)</p>
158
159<p>An easy way to start a new command is copy the file "toys/example/hello.c"
160to the name of the new command, and modify this copy to implement the new
161command (more or less by turning every instance of "hello" into the
162name of your command, updating the command line arguments, globals, and
163help data, and then filling out its "main" function with code that does
164something interesting).</p>
165
166<p>You could also start with "toys/example/skeleton.c", which provides a lot
167more example code (showing several variants of command line option
168parsing, how to implement multiple commands in the same file, and so on).
169But usually it's just more stuff to delete.</p>
170
171<p>Here's a checklist of steps to turn hello.c into another command:</p>
172
173<ul>
174<li><p>First "cp toys/example/hello.c toys/other/yourcommand.c" and open
175the new file in your preferred text editor.</p>
176<ul><li><p>Note that the
177name of the new file is significant: it's the name of the new command you're
178adding to toybox. The build includes all *.c files under toys/*/ whose
179names are a case insensitive match for an enabled config symbol. So
180toys/posix/cat.c only gets included if you have "CAT=y" in ".config".</p></li>
181</ul></p></li>
182
183<li><p>Change the one line comment at the top of the file (currently
184"hello.c - A hello world program") to describe your new file.</p></li>
185
186<li><p>Change the copyright notice to your name, email, and the current
187year.</p></li>
188
189<li><p>Give a URL to the relevant standards document, where applicable.
190(Sample links to SUSv4 and LSB are provided, feel free to link to other
191documentation or standards as appropriate.)</p></li>
192
193<li><p>Update the USE_YOURCOMMAND(NEWTOY(yourcommand,"blah",0)) line.
194The NEWTOY macro fills out this command's <a href="#toy_list">toy_list</a>
195structure.  The arguments to the NEWTOY macro are:</p>
196
197<ol>
198<li><p>the name used to run your command</p></li>
199<li><p>the command line argument <a href="#lib_args">option parsing string</a> (0 if none)</p></li>
200<li><p>a bitfield of TOYFLAG values
201(defined in toys.h) providing additional information such as where your
202command should be installed on a running system, whether to blank umask
203before running, whether or not the command must run as root (and thus should
204retain root access if installed SUID), and so on.</p></li>
205</ol>
206</li>
207
208<li><p>Change the kconfig data (from "config YOURCOMMAND" to the end of the
209comment block) to supply your command's configuration and help
210information.  The uppper case config symbols are used by menuconfig, and are
211also what the CFG_ and USE_() macros are generated from (see [TODO]).  The
212help information here is used by menuconfig, and also by the "help" command to
213describe your new command.  (See [TODO] for details.)  By convention,
214unfinished commands default to "n" and finished commands default to "y",
215so "make defconfig" selects all finished commands.  (Note, "finished" means
216"ready to be used", not that it'll never change again.)<p>
217
218<p>Each help block should start with a "usage: yourcommand" line explaining
219any command line arguments added by this config option.  The "help" command
220outputs this text, and scripts/config2help.c in the build infrastructure
221collates these usage lines for commands with multiple configuration
222options when producing generated/help.h.</p>
223</li>
224
225<li><p>Change the "#define FOR_hello" line to "#define FOR_yourcommand" right
226before the "#include <toys.h>". (This selects the appropriate FLAG_ macros and
227does a "#define TT this.yourcommand" so you can access the global variables
228out of the space-saving union of structures. If you aren't using any command
229flag bits and aren't defining a GLOBAL block, you can delete this line.)</p></li>
230
231<li><p>Update the GLOBALS() macro to contain your command's global
232variables. If your command has no global variables, delete this macro.</p>
233
234<p>Variables in the GLOBALS() block are are stored in a space saving
235<a href="#toy_union">union of structures</a> format, which may be accessed
236using the TT macro as if TT were a global structure (so TT.membername).
237If you specified two-character command line arguments in
238NEWTOY(), the first few global variables will be initialized by the automatic
239argument parsing logic, and the type and order of these variables must
240correspond to the arguments specified in NEWTOY().
241(See <a href="#lib_args">lib/args.c</a> for details.)</p></li>
242
243<li><p>Rename hello_main() to yourcommand_main().  This is the main() function
244where execution of your command starts. Your command line options are
245already sorted into this.optflags, this.optargs, this.optc, and the GLOBALS()
246as appropriate by the time this function is called. (See
247<a href="#lib_args">get_optflags()</a> for details.)</p></li>
248
249<li><p>Switch on TOYBOX_DEBUG in menuconfig (toybox global settings menu)
250the first time you build and run your new command. If anything is wrong
251with your option string, that will give you error messages.</p>
252
253<p>Otherwise it'll just segfault without
254explanation when it falls off the end because it didn't find a matching
255end parantheses for a longopt, or you put a nonexistent option in a square
256bracket grouping... Since these kind of errors can only be caused by a
257developer, not by end users, we don't normally want runtime checks for
258them. Once you're happy with your option string, you can switch TOYBOX_DEBUG
259back off.</p></li>
260</ul>
261
262<a name="headers" /><h2><a href="#headers">Headers.</a></h2>
263
264<p>Commands generally don't have their own headers. If it's common code
265it can live in lib/, if it isn't put it in the command's .c file. (The line
266between implementing multiple commands in a C file via OLDTOY() to share
267infrastructure and moving that shared infrastructure to lib/ is a judgement
268call. Try to figure out which is simplest.)</p>
269
270<p>The top level toys.h should #include all the standard (posix) headers
271that any command uses. (Partly this is friendly to ccache and partly this
272makes the command implementations shorter.) Individual commands should only
273need to include nonstandard headers that might prevent that command from
274building in some context we'd care about (and thus requiring that command to
275be disabled to avoid a build break).</p>
276
277<p>Target-specific stuff (differences between compiler versions, libc versions,
278or operating systems) should be confined to lib/portability.h and
279lib/portability.c. (There's even some minimal compile-time environment probing
280that writes data to generated/portability.h, see scripts/genconfig.sh.)</p>
281
282<p>Only include linux/*.h headers from individual commands (not from other
283headers), and only if you really need to. Data that varies per architecture
284is a good reason to include a header. If you just need a couple constants
285that haven't changed since the 1990's, it's ok to #define them yourself or
286just use the constant inline with a comment explaining what it is. (A
287#define that's only used once isn't really helping.)</p>
288
289<p><a name="top" /><h1><a href="#top">Top level directory.</a></h1></p>
290
291<p>This directory contains global infrastructure.</p>
292
293<h3>toys.h</h3>
294<p>Each command #includes "toys.h" as part of its standard prolog. It
295may "#define FOR_commandname" before doing so to get some extra entries
296specific to this command.</p>
297
298<p>This file sucks in most of the commonly used standard #includes, so
299individual files can just #include "toys.h" and not have to worry about
300stdargs.h and so on.  Individual commands still need to #include
301special-purpose headers that may not be present on all systems (and thus would
302prevent toybox from building that command on such a system with that command
303enabled).  Examples include regex support, any "linux/" or "asm/" headers, mtab
304support (mntent.h and sys/mount.h), and so on.</p>
305
306<p>The toys.h header also defines structures for most of the global variables
307provided to each command by toybox_main().  These are described in
308detail in the description for main.c, where they are initialized.</p>
309
310<p>The global variables are grouped into structures (and a union) for space
311savings, to more easily track the amount of memory consumed by them,
312so that they may be automatically cleared/initialized as needed, and so
313that access to global variables is more easily distinguished from access to
314local variables.</p>
315
316<h3>main.c</h3>
317<p>Contains the main() function where execution starts, plus
318common infrastructure to initialize global variables and select which command
319to run.  The "toybox" multiplexer command also lives here.  (This is the
320only command defined outside of the toys directory.)</p>
321
322<p>Execution starts in main() which trims any path off of the first command
323name and calls toybox_main(), which calls toy_exec(), which calls toy_find()
324and toy_init() before calling the appropriate command's function from
325toy_list[] (via toys.which->toy_main()).
326If the command is "toybox", execution recurses into toybox_main(), otherwise
327the call goes to the appropriate commandname_main() from a C file in the toys
328directory.</p>
329
330<p>The following global variables are defined in main.c:</p>
331<ul>
332<a name="toy_list" />
333<li><p><b>struct toy_list toy_list[]</b> - array describing all the
334commands currently configured into toybox.  The first entry (toy_list[0]) is
335for the "toybox" multiplexer command, which runs all the other built-in commands
336without symlinks by using its first argument as the name of the command to
337run and the rest as that command's argument list (ala "./toybox echo hello").
338The remaining entries are the commands in alphabetical order (for efficient
339binary search).</p>
340
341<p>This is a read-only array initialized at compile time by
342defining macros and #including generated/newtoys.h.</p>
343
344<p>Members of struct toy_list (defined in "toys.h") include:</p>
345<ul>
346<li><p>char *<b>name</b> - the name of this command.</p></li>
347<li><p>void (*<b>toy_main</b>)(void) - function pointer to run this
348command.</p></li>
349<li><p>char *<b>options</b> - command line option string (used by
350get_optflags() in lib/args.c to intialize toys.optflags, toys.optargs, and
351entries in the toy's GLOBALS struct).  When this is NULL, no option
352parsing is done before calling toy_main().</p></li>
353<li><p>int <b>flags</b> - Behavior flags for this command.  The following flags are currently understood:</p>
354
355<ul>
356<li><b>TOYFLAG_USR</b> - Install this command under /usr</li>
357<li><b>TOYFLAG_BIN</b> - Install this command under /bin</li>
358<li><b>TOYFLAG_SBIN</b> - Install this command under /sbin</li>
359<li><b>TOYFLAG_NOFORK</b> - This command can be used as a shell builtin.</li>
360<li><b>TOYFLAG_UMASK</b> - Call umask(0) before running this command.</li>
361<li><b>TOYFLAG_STAYROOT</b> - Don't drop permissions for this command if toybox is installed SUID root.</li>
362<li><b>TOYFLAG_NEEDROOT</b> - This command cannot function unless run with root access.</li>
363</ul>
364<br>
365
366<p>These flags are combined with | (or).  For example, to install a command
367in /usr/bin, or together TOYFLAG_USR|TOYFLAG_BIN.</p>
368</ul>
369</li>
370
371<li><p><b>struct toy_context toys</b> - global structure containing information
372common to all commands, initializd by toy_init() and defined in "toys.h".
373Members of this structure include:</p>
374<ul>
375<li><p>struct toy_list *<b>which</b> - a pointer to this command's toy_list
376structure.  Mostly used to grab the name of the running command
377(toys->which.name).</p>
378</li>
379<li><p>int <b>exitval</b> - Exit value of this command.  Defaults to zero.  The
380error_exit() functions will return 1 if this is zero, otherwise they'll
381return this value.</p></li>
382<li><p>char **<b>argv</b> - "raw" command line options, I.E. the original
383unmodified string array passed in to main().  Note that modifying this changes
384"ps" output, and is not recommended.  This array is null terminated; a NULL
385entry indicates the end of the array.</p>
386<p>Most commands don't use this field, instead the use optargs, optflags,
387and the fields in the GLOBALS struct initialized by get_optflags().</p>
388</li>
389<li><p>unsigned <b>optflags</b> - Command line option flags, set by
390<a href="#lib_args">get_optflags()</a>.  Indicates which of the command line options listed in
391toys->which.options occurred this time.</p>
392
393<p>The rightmost command line argument listed in toys->which.options sets bit
3941, the next one sets bit 2, and so on.  This means the bits are set in the same
395order the binary digits would be listed if typed out as a string.  For example,
396the option string "abcd" would parse the command line "-c" to set optflags to 2,
397"-a" would set optflags to 8, and "-bd" would set optflags to 6 (4|2).</p>
398
399<p>Only letters are relevant to optflags.  In the string "a*b:c#d", d=1, c=2,
400b=4, a=8.  Punctuation after a letter initializes global variables at the
401start of the GLOBALS() block (see <a href="#toy_union">union toy_union this</a>
402for details).</p>
403
404<p>The build infrastructure creates FLAG_ macros for each option letter,
405corresponding to the bit position, so you can check (toys.optflags & FLAG_x)
406to see if a flag was specified. (The correct set of FLAG_ macros is selected
407by defining FOR_mycommand before #including toys.h. The macros live in
408toys/globals.h which is generated by scripts/make.sh.)</p>
409
410<p>For more information on option parsing, see <a href="#lib_args">get_optflags()</a>.</p>
411
412</li>
413<li><p>char **<b>optargs</b> - Null terminated array of arguments left over
414after get_optflags() removed all the ones it understood.  Note: optarg[0] is
415the first argument, not the command name.  Use toys.which->name for the command
416name.</p></li>
417<li><p>int <b>optc</b> - Optarg count, equivalent to argc but for
418optargs[].<p></li>
419</ul>
420
421<a name="toy_union" />
422<li><p><b>union toy_union this</b> - Union of structures containing each
423command's global variables.</p>
424
425<p>Global variables are useful: they reduce the overhead of passing extra
426command line arguments between functions, they conveniently start prezeroed to
427save initialization costs, and the command line argument parsing infrastructure
428can also initialize global variables with its results.</p>
429
430<p>But since each toybox process can only run one command at a time, allocating
431space for global variables belonging to other commands you aren't currently
432running would be wasteful.</p>
433
434<p>Toybox handles this by encapsulating each command's global variables in
435a structure, and declaring a union of those structures with a single global
436instance (called "this").  The GLOBALS() macro contains the global
437variables that should go in the current command's global structure.  Each
438variable can then be accessed as "this.commandname.varname".
439If you #defined FOR_commandname before including toys.h, the macro TT is
440#defined to this.commandname so the variable can then be accessed as
441"TT.variable".  See toys/hello.c for an example.</p>
442
443<p>A command that needs global variables should declare a structure to
444contain them all, and add that structure to this union.  A command should never
445declare global variables outside of this, because such global variables would
446allocate memory when running other commands that don't use those global
447variables.</p>
448
449<p>The first few fields of this structure can be intialized by <a href="#lib_args">get_optargs()</a>,
450as specified by the options field off this command's toy_list entry.  See
451the get_optargs() description in lib/args.c for details.</p>
452</li>
453
454<li><b>char toybuf[4096]</b> - a common scratch space buffer guaranteed
455to start zeroed, so commands don't need to allocate/initialize their own.
456Any command is free to use this, and it should never be directly referenced
457by functions in lib/ (although commands are free to pass toybuf in to a
458library function as an argument).</li>
459
460<li><b>char libbuf[4096]</b> - like toybuf, but for use by common code in
461lib/*.c. Commands should never directly reference libbuf, and library
462could should nnever directly reference toybuf.</li>
463</ul>
464
465<p>The following functions are defined in main.c:</p>
466<ul>
467<li><p>struct toy_list *<b>toy_find</b>(char *name) - Return the toy_list
468structure for this command name, or NULL if not found.</p></li>
469<li><p>void <b>toy_init</b>(struct toy_list *which, char *argv[]) - fill out
470the global toys structure, calling get_optargs() if necessary.</p></li>
471<li><p>void <b>toy_exec</b>(char *argv[]) - Run a built-in command with
472arguments.</p>
473<p>Calls toy_find() on argv[0] (which must be just a command name
474without path).  Returns if it can't find this command, otherwise calls
475toy_init(), toys->which.toy_main(), and exit() instead of returning.</p>
476
477<p>Use the library function xexec() to fall back to external executables
478in $PATH if toy_exec() can't find a built-in command.  Note that toy_exec()
479does not strip paths before searching for a command, so "./command" will
480never match an internal command.</li>
481
482<li><p>void <b>toybox_main</b>(void) - the main function for the multiplexer
483command (I.E. "toybox").  Given a command name as its first argument, calls
484toy_exec() on its arguments.  With no arguments, it lists available commands.
485If the first argument starts with "-" it lists each command with its default
486install path prepended.</p></li>
487
488</ul>
489
490<h3>Config.in</h3>
491
492<p>Top level configuration file in a stylized variant of
493<a href=http://kernel.org/doc/Documentation/kbuild/kconfig-language.txt>kconfig</a> format.  Includes generated/Config.in.</p>
494
495<p>These files are directly used by "make menuconfig" to select which commands
496to build into toybox (thus generating a .config file), and by
497scripts/config2help.py to create generated/help.h.</p>
498
499<a name="generated" />
500<h1><a href="#generated">Temporary files:</a></h1>
501
502<p>There is one temporary file in the top level source directory:</p>
503<ul>
504<li><p><b>.config</b> - Configuration file generated by kconfig, indicating
505which commands (and options to commands) are currently enabled.  Used
506to make generated/config.h and determine which toys/*/*.c files to build.</p>
507
508<p>You can create a human readable "miniconfig" version of this file using
509<a href=http://landley.net/aboriginal/new_platform.html#miniconfig>these
510instructions</a>.</p>
511</li>
512</ul>
513
514<p><h2>Directory generated/</h2></p>
515
516<p>The remaining temporary files live in the "generated/" directory,
517which is for files generated at build time from other source files.</p>
518
519<ul>
520<li><p><b>generated/Config.in</b> - Kconfig entries for each command, included
521from the top level Config.in. The help text here is used to generate
522help.h.</p>
523
524<p>Each command has a configuration entry with an upper case version of
525the command name. Options to commands start with the command
526name followed by an underscore and the option name. Global options are attached
527to the "toybox" command, and thus use the prefix "TOYBOX_".  This organization
528is used by scripts/cfg2files to select which toys/*/*.c files to compile for a
529given .config.</p>
530</li>
531
532<li><p><b>generated/config.h</b> - list of CFG_SYMBOL and USE_SYMBOL() macros,
533generated from .config by a sed invocation in scripts/make.sh.</p>
534
535<p>CFG_SYMBOL is a comple time constant set to 1 for enabled symbols and 0 for
536disabled symbols. This allows the use of normal if() statements to remove
537code at compile time via the optimizer's dead code elimination (which removes
538from the binary any code that cannot be reached). This saves space without
539cluttering the code with #ifdefs or leading to configuration dependent build
540breaks. (See the 1992 Usenix paper
541<a href=http://doc.cat-v.org/henry_spencer/ifdef_considered_harmful.pdf>#ifdef
542Considered Harmful</a> for more information.)</p>
543
544<p>When you can't entirely avoid an #ifdef, the USE_SYMBOL(code) macro
545provides a less intrusive alternative, evaluating to the code in parentheses
546when the symbol is enabled, and nothing when the symbol is disabled. This
547is most commonly used around NEWTOY() declarations (so only the enabled
548commands show up in toy_list), and in option strings. This can also be used
549for things like varargs or structure members which can't always be
550eliminated by a simple test on CFG_SYMBOL. Remember, unlike CFG_SYMBOL
551this is really just a variant of #ifdef, and can still result in configuration
552dependent build breaks. Use with caution.</p>
553</li>
554
555<li><p><b>generated/flags.h</b> - FLAG_? macros indicating which command
556line options were seen. The option parsing in lib/args.c sets bits in
557toys.optflags, which can be tested by anding with the appropriate FLAG_
558macro. (Bare longopts, which have no corresponding short option, will
559have the longopt name after FLAG_. All others use the single letter short
560option.)</p>
561
562<p>To get the appropriate macros for your command, #define FOR_commandname
563before #including toys.h. To switch macro sets (because you have an OLDTOY()
564with different options in the same .c file), #define CLEANUP_oldcommand
565and also #define FOR_newcommand, then #include "generated/flags.h" to switch.
566</p>
567</li>
568
569<li><p><b>generated/globals.h</b> -
570Declares structures to hold the contents of each command's GLOBALS(),
571and combines them into "global_union this". (Yes, the name was
572chosen to piss off C++ developers who think that C
573is merely a subset of C++, not a language in its own right.)</p>
574
575<p>The union reuses the same memory for each command's global struct:
576since only one command's globals are in use at any given time, collapsing
577them together saves space. The headers #define TT to the appropriate
578"this.commandname", so you can refer to the current command's global
579variables out of "this" as TT.variablename.</p>
580
581<p>The globals start zeroed, and the first few are filled out by the
582lib/args.c argument parsing code called from main.c.</p>
583</li>
584
585<li><p><b>toys/help.h</b> - Help strings for use by the "help" command and
586--help options. This file #defines a help_symbolname string for each
587symbolname, but only the symbolnames matching command names get used
588by show_help() in lib/help.c to display help for commands.</p>
589
590<p>This file is created by scripts/make.sh, which compiles scripts/config2help.c
591into the binary generated/config2help, and then runs it against the top
592level .config and Config.in files to extract the help text from each config
593entry and collate together dependent options.</p>
594
595<p>This file contains help text for all commands, regardless of current
596configuration, but only the ones currently enabled in the .config file
597wind up in the help_data[] array, and only the enabled dependent options
598have their help text added to the command they depend on.</p>
599</li>
600
601<li><p><b>generated/newtoys.h</b> -
602All the NEWTOY() and OLDTOY() macros from toys/*/*.c. The "toybox" multiplexer
603is the first entry, the rest are in alphabetical order. Each line should be
604inside an appropriate USE_ macro, so code that #includes this file only sees
605the currently enabled commands.</p>
606
607<p>By #definining NEWTOY() to various things before #including this file,
608it may be used to create function prototypes (in toys.h), initialize the
609help_data array (in lib/help.c),  initialize the toy_list array (in main.c,
610the alphabetical order lets toy_find() do a binary search, the exception to
611the alphabetical order lets it use the multiplexer without searching), and so
612on.  (It's even used to initialize the NEED_OPTIONS macro, which produces a 1
613or 0 for each command using command line option parsing, which is ORed together
614to allow compile-time dead code elimination to remove the whole of
615lib/args.c if nothing currently enabled is using it.)<p>
616
617<p>Each NEWTOY and OLDTOY macro contains the command name, command line
618option string (telling lib/args.c how to parse command line options for
619this command), recommended install location, and miscelaneous data such
620as whether this command should retain root permissions if installed suid.</p>
621</li>
622
623<li><p><b>toys/oldtoys.h</b> - Macros with the command line option parsing
624string for each NEWTOY. This allows an OLDTOY that's just an alias for an
625existing command to refer to the existing option string instead of
626having to repeat it.</p>
627</li>
628</ul>
629
630<a name="lib">
631<h2>Directory lib/</h2>
632
633<p>TODO: document lots more here.</p>
634
635<p>lib: getmountlist(), error_msg/error_exit, xmalloc(),
636strlcpy(), xexec(), xopen()/xread(), xgetcwd(), xabspath(), find_in_path(),
637itoa().</p>
638
639
640
641<a name="lib_xwrap"><h3>lib/xwrap.c</h3>
642
643<p>Functions prefixed with the letter x call perror_exit() when they hit
644errors, to eliminate common error checking. This prints an error message
645and the strerror() string for the errno encountered.</p>
646
647<p>We replaced exit(), _exit(), and atexit() with xexit(), _xexit(), and
648sigatexit(). This gives _xexit() the option to siglongjmp(toys.rebound, 1)
649instead of exiting, lets xexit() report stdout flush failures to stderr
650and change the exit code to indicate error, lets our toys.exit function
651change happen for signal exit paths and lets us remove the functions
652after we've called them.</p>
653
654<p>You can intercept our exit by assigning a setjmp/longjmp buffer to
655toys.rebound (set it back to zero to restore the default behavior).
656If you do this, cleaning up resource leaks is your problem.</p>
657
658<ul>
659<li><b>void xstrncpy(char *dest, char *src, size_t size)</b></li>
660<li><p><b><p>void _xexit(void)</b></p>
661<p>Calls siglongjmp(toys.rebound, 1), or else _exit(toys.exitval). This
662lets you ignore errors with the NO_EXIT() macro wrapper, or intercept
663them with WOULD_EXIT().</p>
664<li><b><p>void xexit(void)</b></p>
665<p>Calls toys.xexit functions (if any) and flushes stdout/stderr (reporting
666failure to write to stdout both to stderr and in the exit code), then
667calls _xexit().</p>
668</li>
669<li><b>void *xmalloc(size_t size)</b></li>
670<li><b>void *xzalloc(size_t size)</b></li>
671<li><b>void *xrealloc(void *ptr, size_t size)</b></li>
672<li><b>char *xstrndup(char *s, size_t n)</b></li>
673<li><b>char *xstrdup(char *s)</b></li>
674<li><b>char *xmprintf(char *format, ...)</b></li>
675<li><b>void xprintf(char *format, ...)</b></li>
676<li><b>void xputs(char *s)</b></li>
677<li><b>void xputc(char c)</b></li>
678<li><b>void xflush(void)</b></li>
679<li><b>pid_t xfork(void)</b></li>
680<li><b>void xexec_optargs(int skip)</b></li>
681<li><b>void xexec(char **argv)</b></li>
682<li><b>pid_t xpopen(char **argv, int *pipes)</b></li>
683<li><b>int xpclose(pid_t pid, int *pipes)</b></li>
684<li><b>void xaccess(char *path, int flags)</b></li>
685<li><b>void xunlink(char *path)</b></li>
686<li><p><b>int xcreate(char *path, int flags, int mode)<br />
687int xopen(char *path, int flags)</b></p>
688
689<p>The xopen() and xcreate() functions open an existing file (exiting if
690it's not there) and create a new file (exiting if it can't).</p>
691
692<p>They default to O_CLOEXEC so the filehandles aren't passed on to child
693processes. Feed in O_CLOEXEC to disable this.</p>
694</li>
695<li><p><b>void xclose(int fd)</b></p>
696
697<p>Because NFS is broken, and won't necessarily perform the requested
698operation (and report the error) until you close the file. Of course, this
699being NFS, it's not guaranteed to report the error there either, but it
700_can_.</p>
701
702<p>Nothing else ever reports an error on close, everywhere else it's just a
703VFS operation freeing some resources. NFS is _special_, in a way that
704other network filesystems like smbfs and v9fs aren't..</p>
705</li>
706<li><b>int xdup(int fd)</b></li>
707<li><p><b>size_t xread(int fd, void *buf, size_t len)</b></p>
708
709<p>Can return 0, but not -1.</p>
710</li>
711<li><p><b>void xreadall(int fd, void *buf, size_t len)</b></p>
712
713<p>Reads the entire len-sized buffer, retrying to complete short
714reads. Exits if it can't get enough data.</p></li>
715
716<li><p><b>void xwrite(int fd, void *buf, size_t len)</b></p>
717
718<p>Retries short writes, exits if can't write the entire buffer.</p></li>
719
720<li><b>off_t xlseek(int fd, off_t offset, int whence)</b></li>
721<li><b>char *xgetcwd(void)</b></li>
722<li><b>void xstat(char *path, struct stat *st)</b></li>
723<li><p><b>char *xabspath(char *path, int exact) </b></p>
724
725<p>After several years of
726<a href=http://landley.net/notes-2007.html#18-06-2007>wrestling</a>
727<a href=http://landley.net/notes-2008.html#19-01-2008>with</a> realpath(),
728I broke down and <a href=http://landley.net/notes-2012.html#20-11-2012>wrote
729my own</a> implementation that doesn't use the one in libc. As I explained:
730
731<blockquote><p>If the path ends with a broken link,
732readlink -f should show where the link points to, not where the broken link
733lives. (The point of readlink -f is "if I write here, where would it attempt
734to create a file".) The problem is, realpath() returns NULL for a path ending
735with a broken link, and I can't beat different behavior out of code locked
736away in libc.</p></blockquote>
737
738<p>
739</li>
740<li><b>void xchdir(char *path)</b></li>
741<li><b>void xchroot(char *path)</b></li>
742
743<li><p><b>struct passwd *xgetpwuid(uid_t uid)<br />
744struct group *xgetgrgid(gid_t gid)<br />
745struct passwd *xgetpwnam(char *name)</b></p>
746</li>
747
748<li><b>void xsetuser(struct passwd *pwd)</b></li>
749<li><b>char *xreadlink(char *name)</b></li>
750<li><b>char *xreadfile(char *name, char *buf, off_t len)</b></li>
751<li><b>int xioctl(int fd, int request, void *data)</b></li>
752<li><b>void xpidfile(char *name)</b></li>
753<li><b>void xsendfile(int in, int out)</b></li>
754<li><b>long xparsetime(char *arg, long units, long *fraction)</b></li>
755<li><b>void xregcomp(regex_t *preg, char *regex, int cflags)</b></li>
756</ul>
757
758<a name="lib_lib"><h3>lib/lib.c</h3>
759<p>Eight gazillion common functions, see lib/lib.h for the moment:</p>
760
761<h3>lib/portability.h</h3>
762
763<p>This file is automatically included from the top of toys.h, and smooths
764over differences between platforms (hardware targets, compilers, C libraries,
765operating systems, etc).</p>
766
767<p>This file provides SWAP macros (SWAP_BE16(x) and SWAP_LE32(x) and so on).</p>
768
769<p>A macro like SWAP_LE32(x) means "The value in x is stored as a little
770endian 32 bit value, so perform the translation to/from whatever the native
77132-bit format is".  You do the swap once on the way in, and once on the way
772out. If your target is already little endian, the macro is a NOP.</p>
773
774<p>The SWAP macros come in BE and LE each with 16, 32, and 64 bit versions.
775In each case, the name of the macro refers to the _external_ representation,
776and converts to/from whatever your native representation happens to be (which
777can vary depending on what you're currently compiling for).</p>
778
779<a name="lib_llist"><h3>lib/llist.c</h3>
780
781<p>Some generic single and doubly linked list functions, which take
782advantage of a couple properties of C:</p>
783
784<ul>
785<li><p>Structure elements are laid out in memory in the order listed, and
786the first element has no padding. This means you can always treat (typecast)
787a pointer to a structure as a pointer to the first element of the structure,
788even if you don't know anything about the data following it.</p></li>
789
790<li><p>An array of length zero at the end of a structure adds no space
791to the sizeof() the structure, but if you calculate how much extra space
792you want when you malloc() the structure it will be available at the end.
793Since C has no bounds checking, this means each struct can have one variable
794length array.</p></li>
795</ul>
796
797<p>Toybox's list structures always have their <b>next</b> pointer as
798the first entry of each struct, and singly linked lists end with a NULL pointer.
799This allows generic code to traverse such lists without knowing anything
800else about the specific structs composing them: if your pointer isn't NULL
801typecast it to void ** and dereference once to get the next entry.</p>
802
803<p><b>lib/lib.h</b> defines three structure types:</p>
804<ul>
805<li><p><b>struct string_list</b> - stores a single string (<b>char str[0]</b>),
806memory for which is allocated as part of the node. (I.E. llist_traverse(list,
807free); can clean up after this type of list.)</p></li>
808
809<li><p><b>struct arg_list</b> - stores a pointer to a single string
810(<b>char *arg</b>) which is stored in a separate chunk of memory.</p></li>
811
812<li><p><b>struct double_list</b> - has a second pointer (<b>struct double_list
813*prev</b> along with a <b>char *data</b> for payload.</p></li>
814</ul>
815
816<b>List Functions</b>
817
818<ul>
819<li><p>void *<b>llist_pop</b>(void **list) - advances through a list ala
820<b>node = llist_pop(&list);</b>  This doesn't modify the list contents,
821but does advance the pointer you feed it (which is why you pass the _address_
822of that pointer, not the pointer itself).</p></li>
823
824<li><p>void <b>llist_traverse</b>(void *list, void (*using)(void *data)) -
825iterate through a list calling a function on each node.</p></li>
826
827<li><p>struct double_list *<b>dlist_add</b>(struct double_list **llist, char *data)
828- append an entry to a circular linked list.
829This function allocates a new struct double_list wrapper and returns the
830pointer to the new entry (which you can usually ignore since it's llist->prev,
831but if llist was NULL you need it). The argument is the ->data field for the
832new node.</p></li>
833<ul><li><p>void <b>dlist_add_nomalloc</b>(struct double_list **llist,
834struct double_list *new) - append existing struct double_list to
835list, does not allocate anything.</p></li></ul>
836</ul>
837
838<b>List code trivia questions:</b>
839
840<ul>
841<li><p><b>Why do arg_list and double_list contain a char * payload instead of
842a void *?</b> - Because you always have to typecast a void * to use it, and
843typecasting a char * does no harm. Since strings are the most common
844payload, and doing math on the pointer ala
845"(type *)(ptr+sizeof(thing)+sizeof(otherthing))" requires ptr to be char *
846anyway (at least according to the C standard), defaulting to char * saves
847a typecast.</p>
848</li>
849
850<li><p><b>Why do the names ->str, ->arg, and ->data differ?</b> - To force
851you to keep track of which one you're using, calling free(node->str) would
852be bad, and _failing_ to free(node->arg) leaks memory.</p></li>
853
854<li><p><b>Why does llist_pop() take a void * instead of void **?</b> -
855because the stupid compiler complains about "type punned pointers" when
856you typecast and dereference on the same line,
857due to insane FSF developers hardwiring limitations of their optimizer
858into gcc's warning system. Since C automatically typecasts any other
859pointer type to and from void *, the current code works fine. It's sad that it
860won't warn you if you forget the &, but the code crashes pretty quickly in
861that case.</p></li>
862
863<li><p><b>How do I assemble a singly-linked-list in order?</b> - use
864a double_list, dlist_add() your entries, and then call dlist_terminate(list)
865to break the circle when done (turning the last ->next and the first ->prev
866into NULLs).</p>
867</ul>
868
869<a name="lib_args"><h3>lib/args.c</h3>
870
871<p>Toybox's main.c automatically parses command line options before calling the
872command's main function. Option parsing starts in get_optflags(), which stores
873results in the global structures "toys" (optflags and optargs) and "this".</p>
874
875<p>The option parsing infrastructure stores a bitfield in toys.optflags to
876indicate which options the current command line contained, and defines FLAG
877macros code can use to check whether each argument's bit is set. Arguments
878attached to those options are saved into the command's global structure
879("this"). Any remaining command line arguments are collected together into
880the null-terminated array toys.optargs, with the length in toys.optc. (Note
881that toys.optargs does not contain the current command name at position zero,
882use "toys.which->name" for that.) The raw command line arguments get_optflags()
883parsed are retained unmodified in toys.argv[].</p>
884
885<p>Toybox's option parsing logic is controlled by an "optflags" string, using
886a format reminiscent of getopt's optargs but with several important differences.
887Toybox does not use the getopt()
888function out of the C library, get_optflags() is an independent implementation
889which doesn't permute the original arguments (and thus doesn't change how the
890command is displayed in ps and top), and has many features not present in
891libc optargs() (such as the ability to describe long options in the same string
892as normal options).</p>
893
894<p>Each command's NEWTOY() macro has an optflags string as its middle argument,
895which sets toy_list.options for that command to tell get_optflags() what
896command line arguments to look for, and what to do with them.
897If a command has no option
898definition string (I.E. the argument is NULL), option parsing is skipped
899for that command, which must look at the raw data in toys.argv to parse its
900own arguments. (If no currently enabled command uses option parsing,
901get_optflags() is optimized out of the resulting binary by the compiler's
902--gc-sections option.)</p>
903
904<p>You don't have to free the option strings, which point into the environment
905space (I.E. the string data is not copied). A TOYFLAG_NOFORK command
906that uses the linked list type "*" should free the list objects but not
907the data they point to, via "llist_free(TT.mylist, NULL);". (If it's not
908NOFORK, exit() will free all the malloced data anyway unless you want
909to implement a CONFIG_TOYBOX_FREE cleanup for it.)</p>
910
911<h4>Optflags format string</h4>
912
913<p>Note: the optflags option description string format is much more
914concisely described by a large comment at the top of lib/args.c.</p>
915
916<p>The general theory is that letters set optflags, and punctuation describes
917other actions the option parsing logic should take.</p>
918
919<p>For example, suppose the command line <b>command -b fruit -d walrus -a 42</b>
920is parsed using the optflags string "<b>a#b:c:d</b>".  (I.E.
921toys.which->options="a#b:c:d" and argv = ["command", "-b", "fruit", "-d",
922"walrus", "-a", "42"]).  When get_optflags() returns, the following data is
923available to command_main():
924
925<ul>
926<li><p>In <b>struct toys</b>:
927<ul>
928<li>toys.optflags = 13; // FLAG_a = 8 | FLAG_b = 4 | FLAG_d = 1</li>
929<li>toys.optargs[0] = "walrus"; // leftover argument</li>
930<li>toys.optargs[1] = NULL; // end of list</li>
931<li>toys.optc = 1; // there was 1 leftover argument</li>
932<li>toys.argv[] = {"-b", "fruit", "-d", "walrus", "-a", "42"}; // The original command line arguments
933</ul>
934<p></li>
935
936<li><p>In <b>union this</b> (treated as <b>long this[]</b>):
937<ul>
938<li>this[0] = NULL; // -c didn't get an argument this time, so get_optflags() didn't change it and toys_init() zeroed "this" during setup.)</li>
939<li>this[1] = (long)"fruit"; // argument to -b</li>
940<li>this[2] = 42; // argument to -a</li>
941</ul>
942</p></li>
943</ul>
944
945<p>If the command's globals are:</p>
946
947<blockquote><pre>
948GLOBALS(
949	char *c;
950	char *b;
951	long a;
952)
953</pre></blockquote>
954
955<p>That would mean TT.c == NULL, TT.b == "fruit", and TT.a == 42.  (Remember,
956each entry that receives an argument must be a long or pointer, to line up
957with the array position.  Right to left in the optflags string corresponds to
958top to bottom in GLOBALS().</p>
959
960<p>Put globals not filled out by the option parsing logic at the end of the
961GLOBALS block. Common practice is to list the options one per line (to
962make the ordering explicit, first to last in globals corresponds to right
963to left in the option string), then leave a blank line before any non-option
964globals.</p>
965
966<p><b>long toys.optflags</b></p>
967
968<p>Each option in the optflags string corresponds to a bit position in
969toys.optflags, with the same value as a corresponding binary digit.  The
970rightmost argument is (1<<0), the next to last is (1<<1) and so on.  If
971the option isn't encountered while parsing argv[], its bit remains 0.</p>
972
973<p>Each option -x has a FLAG_x macro for the command letter. Bare --longopts
974with no corresponding short option have a FLAG_longopt macro for the long
975optionname. Commands enable these macros by #defining FOR_commandname before
976#including <toys.h>. When multiple commands are implemented in the same
977source file, you can switch flag contexts later in the file by
978#defining CLEANUP_oldcommand and #defining FOR_newcommand, then
979#including <generated/flags.h>.</p>
980
981<p>Options disabled in the current configuration (wrapped in
982a USE_BLAH() macro for a CONFIG_BLAH that's switched off) have their
983corresponding FLAG macro set to zero, so code checking them ala
984if (toys.optargs & FLAG_x) gets optimized out via dead code elimination.
985#defining FORCE_FLAGS when switching flag context disables this
986behavior: the flag is never zero even if the config is disabled. This
987allows code shared between multiple commands to use the same flag
988values, as long as the common flags match up right to left in both option
989strings.</p>
990
991<p>For example,
992the optflags string "abcd" would parse the command line argument "-c" to set
993optflags to 2, "-a" would set optflags to 8, "-bd" would set optflags to
9946 (I.E. 4|2), and "-a -c" would set optflags to 10 (2|8). To check if -c
995was encountered, code could test: if (toys.optflags & FLAG_c) printf("yup");
996(See the toys/examples directory for more.)</p>
997
998<p>Only letters are relevant to optflags, punctuation is skipped: in the
999string "a*b:c#d", d=1, c=2, b=4, a=8. The punctuation after a letter
1000usually indicate that the option takes an argument.</p>
1001
1002<p>Since toys.optflags is an unsigned int, it only stores 32 bits. (Which is
1003the amount a long would have on 32-bit platforms anyway; 64 bit code on
100432 bit platforms is too expensive to require in common code used by almost
1005all commands.) Bit positions beyond the 1<<31 aren't recorded, but
1006parsing higher options can still set global variables.</p>
1007
1008<p><b>Automatically setting global variables from arguments (union this)</b></p>
1009
1010<p>The following punctuation characters may be appended to an optflags
1011argument letter, indicating the option takes an additional argument:</p>
1012
1013<ul>
1014<li><b>:</b> - plus a string argument, keep most recent if more than one.</li>
1015<li><b>*</b> - plus a string argument, appended to a linked list.</li>
1016<li><b>@</b> - plus an occurrence counter (stored in a long)</li>
1017<li><b>#</b> - plus a signed long argument.
1018<li><b>-</b> - plus a signed long argument defaulting to negative (start argument with + to force a positive value).</li>
1019<li><b>.</b> - plus a floating point argument (if CFG_TOYBOX_FLOAT).</li>
1020<ul>The following can be appended to a float or double:
1021<li><b>&lt;123</b> - error if argument is less than this</li>
1022<li><b>&gt;123</b> - error if argument is greater than this</li>
1023<li><b>=123</b> - default value if argument not supplied</li>
1024</ul>
1025</ul>
1026
1027<p><b>GLOBALS</b></p>
1028
1029<p>Options which have an argument fill in the corresponding slot in the global
1030union "this" (see generated/globals.h), treating it as an array of longs
1031with the rightmost saved in this[0].  As described above, using "a*b:c#d",
1032"-c 42" would set this[0] = 42; and "-b 42" would set this[1] = "42"; each
1033slot is left NULL if the corresponding argument is not encountered.</p>
1034
1035<p>This behavior is useful because the LP64 standard ensures long and pointer
1036are the same size. C99 guarantees structure members will occur in memory
1037in the same order they're declared, and that padding won't be inserted between
1038consecutive variables of register size.  Thus the first few entries can
1039be longs or pointers corresponding to the saved arguments.</p>
1040
1041<p>The main downside is that numeric arguments ("#" and "-" format)
1042are limited to +- 2 billion on 32 bit platforms (the "truncate -s 8G"
1043problem), because long is only 64 bits on 64 bit hosts, so the capabilities
1044of some tools differ when built in 32 bit vs 64 bit mode. Fixing this
1045kind of ugly and even embedded designs are slowly moving to 64 bits,
1046so our current plan is to document the problem and wait it out. (If
1047"x32 mode" and similar becomes popular enough, we may revisit this
1048decision.)</p>
1049
1050<p>See toys/example/*.c for longer examples of parsing options into the
1051GLOBALS block.</p>
1052
1053<p><b>char *toys.optargs[]</b></p>
1054
1055<p>Command line arguments in argv[] which are not consumed by option parsing
1056(I.E. not recognized either as -flags or arguments to -flags) will be copied
1057to toys.optargs[], with the length of that array in toys.optc.
1058(When toys.optc is 0, no unrecognized command line arguments remain.)
1059The order of entries is preserved, and as with argv[] this new array is also
1060terminated by a NULL entry.</p>
1061
1062<p>Option parsing can require a minimum or maximum number of optargs left
1063over, by adding "<1" (read "at least one") or ">9" ("at most nine") to the
1064start of the optflags string.</p>
1065
1066<p>The special argument "--" terminates option parsing, storing all remaining
1067arguments in optargs.  The "--" itself is consumed.</p>
1068
1069<p><b>Other optflags control characters</b></p>
1070
1071<p>The following characters may occur at the start of each command's
1072optflags string, before any options that would set a bit in toys.optflags:</p>
1073
1074<ul>
1075<li><b>^</b> - stop at first nonoption argument (for nice, xargs...)</li>
1076<li><b>?</b> - allow unknown arguments (pass non-option arguments starting
1077with - through to optargs instead of erroring out).</li>
1078<li><b>&amp;</b> - the first argument has imaginary dash (ala tar/ps.  If given twice, all arguments have imaginary dash.)</li>
1079<li><b>&lt;</b> - must be followed by a decimal digit indicating at least this many leftover arguments are needed in optargs (default 0)</li>
1080<li><b>&gt;</b> - must be followed by a decimal digit indicating at most this many leftover arguments allowed (default MAX_INT)</li>
1081</ul>
1082
1083<p>The following characters may be appended to an option character, but do
1084not by themselves indicate an extra argument should be saved in this[].
1085(Technically any character not recognized as a control character sets an
1086optflag, but letters are never control characters.)</p>
1087
1088<ul>
1089<li><b>^</b> - stop parsing options after encountering this option, everything else goes into optargs.</li>
1090<li><b>|</b> - this option is required.  If more than one marked, only one is required.</li>
1091</ul>
1092
1093<p>The following may be appended to a float or double:</p>
1094
1095<ul>
1096<li><b>&lt;123</b> - error if argument is less than this</li>
1097<li><b>&gt;123</b> - error if argument is greater than this</li>
1098<li><b>=123</b> - default value if argument not supplied</li>
1099</ul>
1100
1101<p>Option parsing only understands <>= after . when CFG_TOYBOX_FLOAT
1102is enabled. (Otherwise the code to determine where floating point constants
1103end drops out.  When disabled, it can reserve a global data slot for the
1104argument so offsets won't change, but will never fill it out.) You can handle
1105this by using the USE_BLAH() macros with C string concatenation, ala:</p>
1106
1107<blockquote>"abc." USE_TOYBOX_FLOAT("<1.23>4.56=7.89") "def"</blockquote>
1108
1109<p><b>--longopts</b></p>
1110
1111<p>The optflags string can contain long options, which are enclosed in
1112parentheses. They may be appended to an existing option character, in
1113which case the --longopt is a synonym for that option, ala "a:(--fred)"
1114which understands "-a blah" or "--fred blah" as synonyms.</p>
1115
1116<p>Longopts may also appear before any other options in the optflags string,
1117in which case they have no corresponding short argument, but instead set
1118their own bit based on position. So for "(walrus)#(blah)xy:z", "command
1119--walrus 42" would set toys.optflags = 16 (-z = 1, -y = 2, -x = 4, --blah = 8)
1120and would assign this[1] = 42;</p>
1121
1122<p>A short option may have multiple longopt synonyms, "a(one)(two)", but
1123each "bare longopt" (ala "(one)(two)abc" before any option characters)
1124always sets its own bit (although you can group them with +X).</p>
1125
1126<p>Only bare longopts have a FLAG_ macro with the longopt name
1127(ala --fred would #define FLAG_fred). Other longopts use the short
1128option's FLAG macro to test the toys.optflags bit.</p>
1129
1130<p>Options with a semicolon ";" after their data type can only set their
1131corresponding GLOBALS() entry via "--longopt=value". For example, option
1132string "x(boing): y" would set TT.x if it saw "--boing=value", but would
1133treat "--boing value" as setting FLAG_x in toys.optargs, leaving TT.x NULL,
1134and keeping "value" in toys.optargs[]. (This lets "ls --color" and
1135"ls --color=auto" both work.)</p>
1136
1137<p><b>[groups]</b></p>
1138
1139<p>At the end of the option string, square bracket groups can define
1140relationships between existing options. (This only applies to short
1141options, bare --longopts can't participate.)</p>
1142
1143<p>The first character of the group defines the type, the remaining
1144characters are options it applies to:</p>
1145
1146<ul>
1147<li><b>-</b> - Exclusive, switch off all others in this group.</li>
1148<li><b>+</b> - Inclusive, switch on all others in this group.</li>
1149<li><b>!</b> - Error, fail if more than one defined.</li>
1150</ul>
1151
1152<p>So "abc[-abc]" means -ab = -b, -ba = -a, -abc = -c. "abc[+abc]"
1153means -ab=-abc, -c=-abc, and "abc[!abc] means -ab calls error_exit("no -b
1154with -a"). Note that [-] groups clear the GLOBALS option slot of
1155options they're switching back off, but [+] won't set options it didn't see
1156(just the optflags).</p>
1157
1158<p><b>whitespace</b></p>
1159
1160<p>Arguments may occur with or without a space (I.E. "-a 42" or "-a42").
1161The command line argument "-abc" may be interepreted many different ways:
1162the optflags string "cba" sets toys.optflags = 7, "c:ba" sets toys.optflags=4
1163and saves "ba" as the argument to -c, and "cb:a" sets optflags to 6 and saves
1164"c" as the argument to -b.</p>
1165
1166<p>Note that &amp; changes whitespace handling, so that the command line
1167"tar cvfCj outfile.tar.bz2 topdir filename" is parsed the same as
1168"tar filename -c -v -j -f outfile.tar.bz2 -C topdir". Note that "tar -cvfCj
1169one two three" would equal "tar -c -v -f Cj one two three". (This matches
1170historical usage.)</p>
1171
1172<p>Appending a space to the option in the option string ("a: b") makes it
1173require a space, I.E. "-ab" is interpreted as "-a" "-b". That way "kill -stop"
1174differs from "kill -s top".</p>
1175
1176<p>Appending ; to a longopt in the option string makes its argument optional,
1177and only settable with =, so in ls "(color):;" can accept "ls --color" and
1178"ls --color=auto" without complaining that the first has no argument.</p>
1179
1180<a name="lib_dirtree"><h3>lib/dirtree.c</h3>
1181
1182<p>The directory tree traversal code should be sufficiently generic
1183that commands never need to use readdir(), scandir(), or the fts.h family
1184of functions.</p>
1185
1186<p>These functions do not call chdir() or rely on PATH_MAX. Instead they
1187use openat() and friends, using one filehandle per directory level to
1188recurse into subdirectories. (I.E. they can descend 1000 directories deep
1189if setrlimit(RLIMIT_NOFILE) allows enough open filehandles, and the default
1190in /proc/self/limits is generally 1024.)</p>
1191
1192<p>There are two main ways to use dirtree: 1) assemble a tree of nodes
1193representing a snapshot of directory state and traverse them using the
1194->next and ->child pointers, or 2) traverse the tree calling a callback
1195function on each entry, and freeing its node afterwards. (You can also
1196combine the two, using the callback as a filter to determine which nodes
1197to keep.)</p>
1198
1199<p>The basic dirtree functions are:</p>
1200
1201<ul>
1202<li><p><b>struct dirtree *dirtree_read(char *path, int (*callback)(struct
1203dirtree node))</b> - recursively read files and directories, calling
1204callback() on each, and returning a tree of saved nodes (if any).
1205If path doesn't exist, returns DIRTREE_ABORTVAL. If callback is NULL,
1206returns a single node at that path.</p>
1207
1208<li><p><b>dirtree_notdotdot(struct dirtree *new)</b> - standard callback
1209which discards "." and ".." entries and returns DIRTREE_SAVE|DIRTREE_RECURSE
1210for everything else. Used directly, this assembles a snapshot tree of
1211the contents of this directory and its subdirectories
1212to be processed after dirtree_read() returns (by traversing the
1213struct dirtree's ->next and ->child pointers from the returned root node).</p>
1214
1215<li><p><b>dirtree_path(struct dirtree *node, int *plen)</b> - malloc() a
1216string containing the path from the root of this tree to this node. If
1217plen isn't NULL then *plen is how many extra bytes to malloc at the end
1218of string.</p></li>
1219
1220<li><p><b>dirtree_parentfd(struct dirtree *node)</b> - return fd of
1221directory containing this node, for use with openat() and such.</p></li>
1222</ul>
1223
1224<p>The <b>dirtree_read()</b> function is the standard way to start
1225directory traversal. It takes two arguments: a starting path for
1226the root of the tree, and a callback function. The callback() is called
1227on each directory entry, its argument is a fully populated
1228<b>struct dirtree *</b> (from lib/lib.h) describing the node, and its
1229return value tells the dirtree infrastructure what to do next.</p>
1230
1231<p>(There's also a three argument version,
1232<b>dirtree_flagread(char *path, int flags, int (*callback)(struct
1233dirtree node))</b>, which lets you apply flags like DIRTREE_SYMFOLLOW and
1234DIRTREE_SHUTUP to reading the top node, but this only affects the top node.
1235Child nodes use the flags returned by callback().</p>
1236
1237<p><b>struct dirtree</b></p>
1238
1239<p>Each struct dirtree node contains <b>char name[]</b> and <b>struct stat
1240st</b> entries describing a file, plus a <b>char *symlink</b>
1241which is NULL for non-symlinks.</p>
1242
1243<p>During a callback function, the <b>int dirfd</b> field of directory nodes
1244contains a directory file descriptor (for use with the openat() family of
1245functions). This isn't usually used directly, intstead call dirtree_parentfd()
1246on the callback's node argument. The <b>char again</a> field is 0 for the
1247first callback on a node, and 1 on the second callback (triggered by returning
1248DIRTREE_COMEAGAIN on a directory, made after all children have been processed).
1249</p>
1250
1251<p>Users of this code may put anything they like into the <b>long extra</b>
1252field. For example, "cp" and "mv" use this to store a dirfd for the destination
1253directory (and use DIRTREE_COMEAGAIN to get the second callback so they can
1254close(node->extra) to avoid running out of filehandles).
1255This field is not directly used by the dirtree code, and
1256thanks to LP64 it's large enough to store a typecast pointer to an
1257arbitrary struct.</p>
1258
1259<p>The return value of the callback combines flags (with boolean or) to tell
1260the traversal infrastructure how to behave:</p>
1261
1262<ul>
1263<li><p><b>DIRTREE_SAVE</b> - Save this node, assembling a tree. (Without
1264this the struct dirtree is freed after the callback returns. Filtering out
1265siblings is fine, but discarding a parent while keeping its child leaks
1266memory.)</p></li>
1267<li><p><b>DIRTREE_ABORT</b> - Do not examine any more entries in this
1268directory. (Does not propagate up tree: to abort entire traversal,
1269return DIRTREE_ABORT from parent callbacks too.)</p></li>
1270<li><p><b>DIRTREE_RECURSE</b> - Examine directory contents. Ignored for
1271non-directory entries. The remaining flags only take effect when
1272recursing into the children of a directory.</p></li>
1273<li><p><b>DIRTREE_COMEAGAIN</b> - Call the callback on this node a second time
1274after examining all directory contents, allowing depth-first traversal.
1275On the second call, dirtree->again is nonzero.</p></li>
1276<li><p><b>DIRTREE_SYMFOLLOW</b> - follow symlinks when populating children's
1277<b>struct stat st</b> (by feeding a nonzero value to the symfollow argument of
1278dirtree_add_node()), which means DIRTREE_RECURSE treats symlinks to
1279directories as directories. (Avoiding infinite recursion is the callback's
1280problem: the non-NULL dirtree->symlink can still distinguish between
1281them. The "find" command follows ->parent up the tree to the root node
1282each time, checking to make sure that stat's dev and inode pair don't
1283match any ancestors.)</p></li>
1284</ul>
1285
1286<p>Each struct dirtree contains three pointers (next, parent, and child)
1287to other struct dirtree.</p>
1288
1289<p>The <b>parent</b> pointer indicates the directory
1290containing this entry; even when not assembling a persistent tree of
1291nodes the parent entries remain live up to the root of the tree while
1292child nodes are active. At the top of the tree the parent pointer is
1293NULL, meaning the node's name[] is either an absolute path or relative
1294to cwd. The function dirtree_parentfd() gets the directory file descriptor
1295for use with openat() and friends, returning AT_FDCWD at the top of tree.</p>
1296
1297<p>The <b>child</b> pointer points to the first node of the list of contents of
1298this directory. If the directory contains no files, or the entry isn't
1299a directory, child is NULL.</p>
1300
1301<p>The <b>next</b> pointer indicates sibling nodes in the same directory as this
1302node, and since it's the first entry in the struct the llist.c traversal
1303mechanisms work to iterate over sibling nodes. Each dirtree node is a
1304single malloc() (even char *symlink points to memory at the end of the node),
1305so llist_free() works but its callback must descend into child nodes (freeing
1306a tree, not just a linked list), plus whatever the user stored in extra.</p>
1307
1308<p>The <b>dirtree_flagread</b>() function is a simple wrapper, calling <b>dirtree_add_node</b>()
1309to create a root node relative to the current directory, then calling
1310<b>dirtree_handle_callback</b>() on that node (which recurses as instructed by the callback
1311return flags). The flags argument primarily lets you
1312control whether or not to follow symlinks to the root node; symlinks
1313listed on the command line are often treated differently than symlinks
1314encountered during recursive directory traversal.
1315
1316<p>The ls command not only bypasses this wrapper, but never returns
1317<b>DIRTREE_RECURSE</b> from the callback, instead calling <b>dirtree_recurse</b>() manually
1318from elsewhere in the program. This gives ls -lR manual control
1319of traversal order, which is neither depth first nor breadth first but
1320instead a sort of FIFO order requried by the ls standard.</p>
1321
1322<a name="toys">
1323<h1><a href="#toys">Directory toys/</a></h1>
1324
1325<p>This directory contains command implementations. Each command is a single
1326self-contained file. Adding a new command involves adding a single
1327file, and removing a command involves removing that file. Commands use
1328shared infrastructure from the lib/ and generated/ directories.</p>
1329
1330<p>Currently there are five subdirectories under "toys/" containing "posix"
1331commands described in POSIX-2008, "lsb" commands described in the Linux
1332Standard Base 4.1, "other" commands not described by either standard,
1333"pending" commands awaiting cleanup (which default to "n" in menuconfig
1334because they don't necessarily work right yet), and "example" code showing
1335how toybox infrastructure works and providing template/skeleton files to
1336start new commands.</p>
1337
1338<p>The only difference directory location makes is which menu the command
1339shows up in during "make menuconfig", the directories are otherwise identical.
1340Note that the commands exist within a single namespace at runtime, so you can't
1341have the same command in multiple subdirectories. (The build tries to fail
1342informatively when you do that.)</p>
1343
1344<p>There is one more sub-menus in "make menuconfig" containing global
1345configuration options for toybox. This menu is defined in the top level
1346Config.in.</p>
1347
1348<p>See <a href="#adding">adding a new command</a> for details on the
1349layout of a command file.</p>
1350
1351<h2>Directory scripts/</h2>
1352
1353<p>Build infrastructure. The makefile calls scripts/make.sh for "make"
1354and scripts/install.sh for "make install".</p>
1355
1356<p>There's also a test suite, "make test" calls make/test.sh, which runs all
1357the tests in make/test/*. You can run individual tests via
1358"scripts/test.sh command", or "TEST_HOST=1 scripts/test.sh command" to run
1359that test against the host implementation instead of the toybox one.</p>
1360
1361<h3>scripts/cfg2files.sh</h3>
1362
1363<p>Run .config through this filter to get a list of enabled commands, which
1364is turned into a list of files in toys via a sed invocation in the top level
1365Makefile.
1366</p>
1367
1368<h2>Directory kconfig/</h2>
1369
1370<p>Menuconfig infrastructure copied from the Linux kernel.  See the
1371Linux kernel's Documentation/kbuild/kconfig-language.txt</p>
1372
1373<!-- todo
1374
1375Better OLDTOY and multiple command explanation. From Config.in:
1376
1377<p>A command with multiple names (or multiple similar commands implemented in
1378the same .c file) should have config symbols prefixed with the name of their
1379C file. I.E. config symbol prefixes are NEWTOY() names. If OLDTOY() names
1380have config symbols they must be options (symbols with an underscore and
1381suffix) to the NEWTOY() name. (See generated/toylist.h)</p>
1382-->
1383
1384<!--#include file="footer.html" -->
1385