blob: 9f5845feec8299b8dc18e549003361794f17d69e [file] [log] [blame]
Rob Landley349ff522014-01-04 13:09:42 -06001<html><head><title>toybox source code walkthrough</title></head>
Rob Landley4e68de12007-12-13 07:00:27 -06002<!--#include file="header.html" -->
3
Rob Landley27048342013-08-18 14:24:59 -05004<p><h1><a name="style" /><a href="#style">Code style</a></h1></p>
Rob Landleye7c9a6d2012-02-28 06:34:09 -06005
6<p>The primary goal of toybox is _simple_ code. Keeping the code small is
Rob Landleyed6ed622012-03-06 20:49:03 -06007second, 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>
Rob Landleye7c9a6d2012-02-28 06:34:09 -06009
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.
Rob Landleyed6ed622012-03-06 20:49:03 -060013This 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>
Rob Landley5a0660f2007-12-27 21:36:44 -060016
Rob Landleyca733922014-05-19 18:24:35 -050017<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>
Rob Landley5a0660f2007-12-27 21:36:44 -060020
Rob Landley27048342013-08-18 14:24:59 -050021<p><h1><a name="building" /><a href="#building">Building Toybox</a></h1></p>
Rob Landleye7c9a6d2012-02-28 06:34:09 -060022
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
Rob Landley7aa651a2012-11-13 17:14:08 -060026controls which features are included when compiling toybox.</p>
Rob Landleye7c9a6d2012-02-28 06:34:09 -060027
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>The standard build invocation is:</p>
34
35<ul>
36<li>make defconfig #(or menuconfig)</li>
37<li>make</li>
38<li>make install</li>
39</ul>
40
41<p>Type "make help" to see all available build options.</p>
42
43<p>The file "configure" contains a number of environment variable definitions
44which influence the build, such as specifying which compiler to use or where
45to install the resulting binaries. This file is included by the build, but
46accepts existing definitions of the environment variables, so it may be sourced
47or modified by the developer before building and the definitions exported
48to the environment will take precedence.</p>
49
50<p>(To clarify: "configure" describes the build and installation environment,
51".config" lists the features selected by defconfig/menuconfig.)</p>
Rob Landley6882ee82008-02-12 18:41:34 -060052
Rob Landley27048342013-08-18 14:24:59 -050053<p><h1><a name="running"><a href="#running">Running a command</a></h1></p>
54
55<h2>main</h2>
56
57<p>The toybox main() function is at the end of main.c at the top level. It has
58two possible codepaths, only one of which is configured into any given build
59of toybox.</p>
60
61<p>If CONFIG_SINGLE is selected, toybox is configured to contain only a single
62command, so most of the normal setup can be skipped. In this case the
63multiplexer isn't used, instead main() calls toy_singleinit() (also in main.c)
64to set up global state and parse command line arguments, calls the command's
65main 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
66it flushes stdout (detecting error) and returns toys.exitval.</p>
67
68<p>When CONFIG_SINGLE is not selected, main() uses basename() to find the
69name it was run as, shifts its argument list one to the right so it lines up
70with where the multiplexer function expects it, and calls toybox_main(). This
71leverages the multiplexer command's infrastructure to find and run the
72appropriate command. (A command name starting with "toybox" will
73recursively call toybox_main(); you can go "./toybox toybox toybox toybox ls"
74if you want to...)</p>
75
76<h2>toybox_main</h2>
77
78<p>The toybox_main() function is also in main,c. It handles a possible
79--help option ("toybox --help ls"), prints the list of available commands if no
80arguments were provided to the multiplexer (or with full path names if any
81other option is provided before a command name, ala "toybox --list").
82Otherwise it calls toy_exec() on its argument list.</p>
83
84<p>Note that the multiplexer is the first entry in toy_list (the rest of the
85list is sorted alphabetically to allow binary search), so toybox_main can
86cheat and just grab the first entry to quickly set up its context without
87searching. Since all command names go through the multiplexer at least once
88in the non-TOYBOX_SINGLE case, this avoids a redundant search of
89the list.</p>
90
91<p>The toy_exec() function is also in main.c. It performs toy_find() to
92perform a binary search on the toy_list array to look up the command's
93entry by name and saves it in the global variable which, calls toy_init()
94to parse command line arguments and set up global state (using which->options),
95and calls the appropriate command's main() function (which->toy_main). On
96return it flushes all pending ansi FILE * I/O, detects if stdout had an
97error, and then calls xexit() (which uses toys.exitval).</p>
98
99<p><h1><a name="infrastructure" /><a href="#infrastructure">Infrastructure</a></h1></p>
Rob Landley4e68de12007-12-13 07:00:27 -0600100
Rob Landley7c04f012008-01-20 19:00:16 -0600101<p>The toybox source code is in following directories:</p>
102<ul>
103<li>The <a href="#top">top level directory</a> contains the file main.c (were
104execution starts), the header file toys.h (included by every command), and
105other global infrastructure.</li>
106<li>The <a href="#lib">lib directory</a> contains common functions shared by
Rob Landleyc8d0da52012-07-15 17:47:08 -0500107multiple commands:</li>
108<ul>
109<li><a href="#lib_lib">lib/lib.c</a></li>
110<li><a href="#lib_llist">lib/llist.c</a></li>
111<li><a href="#lib_args">lib/args.c</a></li>
112<li><a href="#lib_dirtree">lib/dirtree.c</a></li>
113</ul>
Rob Landley7c04f012008-01-20 19:00:16 -0600114<li>The <a href="#toys">toys directory</a> contains the C files implementating
Rob Landley002a11e2014-05-22 08:16:55 -0500115each command. Currently it contains five subdirectories categorizing the
116commands: posix, lsb, other, example, and pending.</li>
Rob Landley7c04f012008-01-20 19:00:16 -0600117<li>The <a href="#scripts">scripts directory</a> contains the build and
118test infrastructure.</li>
119<li>The <a href="#kconfig">kconfig directory</a> contains the configuration
120infrastructure implementing menuconfig (copied from the Linux kernel).</li>
121<li>The <a href="#generated">generated directory</a> contains intermediate
122files generated from other parts of the source code.</li>
123</ul>
Rob Landley4e68de12007-12-13 07:00:27 -0600124
Rob Landleybbe500e2012-02-26 21:53:15 -0600125<a name="adding" />
Rob Landley7eaf4f52014-04-09 08:30:09 -0500126<p><h1><a href="#adding">Adding a new command</a></h1></p>
Rob Landleyc0e56ed2012-10-08 00:02:30 -0500127<p>To add a new command to toybox, add a C file implementing that command under
Rob Landley7c04f012008-01-20 19:00:16 -0600128the toys directory. No other files need to be modified; the build extracts
Rob Landley6882ee82008-02-12 18:41:34 -0600129all the information it needs (such as command line arguments) from specially
Rob Landley7c04f012008-01-20 19:00:16 -0600130formatted comments and macros in the C file. (See the description of the
Rob Landleye7c9a6d2012-02-28 06:34:09 -0600131<a href="#generated">"generated" directory</a> for details.)</p>
Rob Landley4e68de12007-12-13 07:00:27 -0600132
Rob Landley002a11e2014-05-22 08:16:55 -0500133<p>Currently there are five subdirectories under "toys", one for commands
Rob Landleyc0e56ed2012-10-08 00:02:30 -0500134defined by the POSIX standard, one for commands defined by the Linux Standard
Rob Landley002a11e2014-05-22 08:16:55 -0500135Base, an "other" directory for commands not covered by an obvious standard,
136a directory of example commands (templates to use when starting new commands),
137and a "pending" directory of commands that need further review/cleanup
138before moving to one of the other directories (run these at your own risk,
139cleanup patches welcome).
140These directories are just for developer convenience sorting the commands,
141the directories are otherwise functionally identical. To add a new category,
142create the appropriate directory with a README file in it whose first line
143is the description menuconfig should use for the directory.)</p>
Rob Landleyc0e56ed2012-10-08 00:02:30 -0500144
Rob Landley002a11e2014-05-22 08:16:55 -0500145<p>An easy way to start a new command is copy the file "toys/example/hello.c"
146to the name of the new command, and modify this copy to implement the new
147command (more or less by turning every instance of "hello" into the
Rob Landley7c04f012008-01-20 19:00:16 -0600148name of your command, updating the command line arguments, globals, and
Rob Landley002a11e2014-05-22 08:16:55 -0500149help data, and then filling out its "main" function with code that does
150something interesting).</p>
151
152<p>You could also start with "toys/example/skeleton.c", which provides a lot
153more example code (showing several variants of command line option
154parsing, how to implement multiple commands in the same file, and so on).
155But usually it's just more stuff to delete.</p>
Rob Landley7c04f012008-01-20 19:00:16 -0600156
157<p>Here's a checklist of steps to turn hello.c into another command:</p>
158
159<ul>
Rob Landley002a11e2014-05-22 08:16:55 -0500160<li><p>First "cp toys/example/hello.c toys/other/yourcommand.c" and open
161the new file in your preferred text editor.</p>
162<ul><li><p>Note that the
163name of the new file is significant: it's the name of the new command you're
164adding to toybox. The build includes all *.c files under toys/*/ whose
165names are a case insensitive match for an enabled config symbol. So
166toys/posix/cat.c only gets included if you have "CAT=y" in ".config".</p></li>
167</ul></p></li>
Rob Landley7c04f012008-01-20 19:00:16 -0600168
169<li><p>Change the one line comment at the top of the file (currently
170"hello.c - A hello world program") to describe your new file.</p></li>
171
172<li><p>Change the copyright notice to your name, email, and the current
173year.</p></li>
174
Rob Landleyc0e56ed2012-10-08 00:02:30 -0500175<li><p>Give a URL to the relevant standards document, where applicable.
176(Sample links to SUSv4 and LSB are provided, feel free to link to other
177documentation or standards as appropriate.)</p></li>
Rob Landley7c04f012008-01-20 19:00:16 -0600178
Rob Landley66a69d92012-01-16 01:44:17 -0600179<li><p>Update the USE_YOURCOMMAND(NEWTOY(yourcommand,"blah",0)) line.
180The NEWTOY macro fills out this command's <a href="#toy_list">toy_list</a>
181structure. The arguments to the NEWTOY macro are:</p>
182
183<ol>
184<li><p>the name used to run your command</p></li>
Rob Landley002a11e2014-05-22 08:16:55 -0500185<li><p>the command line argument <a href="#lib_args">option parsing string</a> (0 if none)</p></li>
Rob Landley66a69d92012-01-16 01:44:17 -0600186<li><p>a bitfield of TOYFLAG values
187(defined in toys.h) providing additional information such as where your
188command should be installed on a running system, whether to blank umask
189before running, whether or not the command must run as root (and thus should
190retain root access if installed SUID), and so on.</p></li>
191</ol>
192</li>
Rob Landley7c04f012008-01-20 19:00:16 -0600193
194<li><p>Change the kconfig data (from "config YOURCOMMAND" to the end of the
195comment block) to supply your command's configuration and help
196information. The uppper case config symbols are used by menuconfig, and are
197also what the CFG_ and USE_() macros are generated from (see [TODO]). The
198help information here is used by menuconfig, and also by the "help" command to
199describe your new command. (See [TODO] for details.) By convention,
Rob Landley66a69d92012-01-16 01:44:17 -0600200unfinished commands default to "n" and finished commands default to "y",
201so "make defconfig" selects all finished commands. (Note, "finished" means
202"ready to be used", not that it'll never change again.)<p>
203
204<p>Each help block should start with a "usage: yourcommand" line explaining
205any command line arguments added by this config option. The "help" command
206outputs this text, and scripts/config2help.c in the build infrastructure
207collates these usage lines for commands with multiple configuration
208options when producing generated/help.h.</p>
209</li>
Rob Landley7c04f012008-01-20 19:00:16 -0600210
Rob Landleyc0e56ed2012-10-08 00:02:30 -0500211<li><p>Change the "#define FOR_hello" line to "#define FOR_yourcommand" right
212before the "#include <toys.h>". (This selects the appropriate FLAG_ macros and
213does a "#define TT this.yourcommand" so you can access the global variables
214out of the space-saving union of structures. If you aren't using any command
215flag bits and aren't defining a GLOBAL block, you can delete this line.)</p></li>
Rob Landley7c04f012008-01-20 19:00:16 -0600216
Rob Landleyc0e56ed2012-10-08 00:02:30 -0500217<li><p>Update the GLOBALS() macro to contain your command's global
218variables. If your command has no global variables, delete this macro.</p>
219
220<p>Variables in the GLOBALS() block are are stored in a space saving
221<a href="#toy_union">union of structures</a> format, which may be accessed
222using the TT macro as if TT were a global structure (so TT.membername).
223If you specified two-character command line arguments in
224NEWTOY(), the first few global variables will be initialized by the automatic
225argument parsing logic, and the type and order of these variables must
226correspond to the arguments specified in NEWTOY().
227(See <a href="#lib_args">lib/args.c</a> for details.)</p></li>
Rob Landley7c04f012008-01-20 19:00:16 -0600228
229<li><p>Rename hello_main() to yourcommand_main(). This is the main() function
Rob Landleyc0e56ed2012-10-08 00:02:30 -0500230where execution of your command starts. Your command line options are
231already sorted into this.optflags, this.optargs, this.optc, and the GLOBALS()
232as appropriate by the time this function is called. (See
Rob Landley002a11e2014-05-22 08:16:55 -0500233<a href="#lib_args">get_optflags()</a> for details.)</p></li>
Rob Landley7c04f012008-01-20 19:00:16 -0600234</ul>
235
Rob Landley7eaf4f52014-04-09 08:30:09 -0500236<a name="headers" /><h2><a href="#headers">Headers.</a></h2>
Rob Landley85a32412013-12-27 06:53:15 -0600237
238<p>Commands generally don't have their own headers. If it's common code
239it can live in lib/, if it isn't put it in the command's .c file. (The line
240between implementing multiple commands in a C file via OLDTOY() to share
241infrastructure and moving that shared infrastructure to lib/ is a judgement
242call. Try to figure out which is simplest.)</p>
243
244<p>The top level toys.h should #include all the standard (posix) headers
245that any command uses. (Partly this is friendly to ccache and partly this
246makes the command implementations shorter.) Individual commands should only
247need to include nonstandard headers that might prevent that command from
248building in some context we'd care about (and thus requiring that command to
249be disabled to avoid a build break).</p>
250
251<p>Target-specific stuff (differences between compiler versions, libc versions,
252or operating systems) should be confined to lib/portability.h and
253lib/portability.c. (There's even some minimal compile-time environment probing
254that writes data to generated/portability.h, see scripts/genconfig.sh.)</p>
255
256<p>Only include linux/*.h headers from individual commands (not from other
257headers), and only if you really need to. Data that varies per architecture
258is a good reason to include a header. If you just need a couple constants
259that haven't changed since the 1990's, it's ok to #define them yourself or
260just use the constant inline with a comment explaining what it is. (A
261#define that's only used once isn't really helping.)</p>
262
Rob Landley7eaf4f52014-04-09 08:30:09 -0500263<p><a name="top" /><h1><a href="#top">Top level directory.</a></h1></p>
Rob Landley7c04f012008-01-20 19:00:16 -0600264
Rob Landley66a69d92012-01-16 01:44:17 -0600265<p>This directory contains global infrastructure.</p>
266
267<h3>toys.h</h3>
Rob Landleyc0e56ed2012-10-08 00:02:30 -0500268<p>Each command #includes "toys.h" as part of its standard prolog. It
269may "#define FOR_commandname" before doing so to get some extra entries
270specific to this command.</p>
Rob Landley66a69d92012-01-16 01:44:17 -0600271
272<p>This file sucks in most of the commonly used standard #includes, so
273individual files can just #include "toys.h" and not have to worry about
274stdargs.h and so on. Individual commands still need to #include
275special-purpose headers that may not be present on all systems (and thus would
276prevent toybox from building that command on such a system with that command
277enabled). Examples include regex support, any "linux/" or "asm/" headers, mtab
278support (mntent.h and sys/mount.h), and so on.</p>
279
280<p>The toys.h header also defines structures for most of the global variables
281provided to each command by toybox_main(). These are described in
282detail in the description for main.c, where they are initialized.</p>
283
284<p>The global variables are grouped into structures (and a union) for space
285savings, to more easily track the amount of memory consumed by them,
286so that they may be automatically cleared/initialized as needed, and so
287that access to global variables is more easily distinguished from access to
288local variables.</p>
Rob Landley4e68de12007-12-13 07:00:27 -0600289
290<h3>main.c</h3>
291<p>Contains the main() function where execution starts, plus
292common infrastructure to initialize global variables and select which command
Rob Landley6882ee82008-02-12 18:41:34 -0600293to run. The "toybox" multiplexer command also lives here. (This is the
Rob Landley7c04f012008-01-20 19:00:16 -0600294only command defined outside of the toys directory.)</p>
Rob Landley4e68de12007-12-13 07:00:27 -0600295
Rob Landley6882ee82008-02-12 18:41:34 -0600296<p>Execution starts in main() which trims any path off of the first command
297name and calls toybox_main(), which calls toy_exec(), which calls toy_find()
Rob Landley66a69d92012-01-16 01:44:17 -0600298and toy_init() before calling the appropriate command's function from
299toy_list[] (via toys.which->toy_main()).
Rob Landley6882ee82008-02-12 18:41:34 -0600300If the command is "toybox", execution recurses into toybox_main(), otherwise
301the call goes to the appropriate commandname_main() from a C file in the toys
302directory.</p>
Rob Landley4e68de12007-12-13 07:00:27 -0600303
Rob Landley6882ee82008-02-12 18:41:34 -0600304<p>The following global variables are defined in main.c:</p>
Rob Landley4e68de12007-12-13 07:00:27 -0600305<ul>
Rob Landley66a69d92012-01-16 01:44:17 -0600306<a name="toy_list" />
307<li><p><b>struct toy_list toy_list[]</b> - array describing all the
Rob Landley4e68de12007-12-13 07:00:27 -0600308commands currently configured into toybox. The first entry (toy_list[0]) is
309for the "toybox" multiplexer command, which runs all the other built-in commands
310without symlinks by using its first argument as the name of the command to
311run and the rest as that command's argument list (ala "./toybox echo hello").
312The remaining entries are the commands in alphabetical order (for efficient
313binary search).</p>
314
315<p>This is a read-only array initialized at compile time by
Rob Landley6882ee82008-02-12 18:41:34 -0600316defining macros and #including generated/newtoys.h.</p>
Rob Landley4e68de12007-12-13 07:00:27 -0600317
Rob Landley66a69d92012-01-16 01:44:17 -0600318<p>Members of struct toy_list (defined in "toys.h") include:</p>
Rob Landley4e68de12007-12-13 07:00:27 -0600319<ul>
320<li><p>char *<b>name</b> - the name of this command.</p></li>
321<li><p>void (*<b>toy_main</b>)(void) - function pointer to run this
322command.</p></li>
323<li><p>char *<b>options</b> - command line option string (used by
324get_optflags() in lib/args.c to intialize toys.optflags, toys.optargs, and
Rob Landleyc0e56ed2012-10-08 00:02:30 -0500325entries in the toy's GLOBALS struct). When this is NULL, no option
Rob Landley66a69d92012-01-16 01:44:17 -0600326parsing is done before calling toy_main().</p></li>
Rob Landley6882ee82008-02-12 18:41:34 -0600327<li><p>int <b>flags</b> - Behavior flags for this command. The following flags are currently understood:</p>
328
329<ul>
330<li><b>TOYFLAG_USR</b> - Install this command under /usr</li>
331<li><b>TOYFLAG_BIN</b> - Install this command under /bin</li>
332<li><b>TOYFLAG_SBIN</b> - Install this command under /sbin</li>
333<li><b>TOYFLAG_NOFORK</b> - This command can be used as a shell builtin.</li>
334<li><b>TOYFLAG_UMASK</b> - Call umask(0) before running this command.</li>
Rob Landley66a69d92012-01-16 01:44:17 -0600335<li><b>TOYFLAG_STAYROOT</b> - Don't drop permissions for this command if toybox is installed SUID root.</li>
336<li><b>TOYFLAG_NEEDROOT</b> - This command cannot function unless run with root access.</li>
Rob Landley6882ee82008-02-12 18:41:34 -0600337</ul>
338<br>
339
340<p>These flags are combined with | (or). For example, to install a command
341in /usr/bin, or together TOYFLAG_USR|TOYFLAG_BIN.</p>
342</ul>
Rob Landley4e68de12007-12-13 07:00:27 -0600343</li>
344
Rob Landley66a69d92012-01-16 01:44:17 -0600345<li><p><b>struct toy_context toys</b> - global structure containing information
346common to all commands, initializd by toy_init() and defined in "toys.h".
347Members of this structure include:</p>
Rob Landley4e68de12007-12-13 07:00:27 -0600348<ul>
349<li><p>struct toy_list *<b>which</b> - a pointer to this command's toy_list
350structure. Mostly used to grab the name of the running command
351(toys->which.name).</p>
352</li>
353<li><p>int <b>exitval</b> - Exit value of this command. Defaults to zero. The
354error_exit() functions will return 1 if this is zero, otherwise they'll
355return this value.</p></li>
356<li><p>char **<b>argv</b> - "raw" command line options, I.E. the original
357unmodified string array passed in to main(). Note that modifying this changes
Rob Landley66a69d92012-01-16 01:44:17 -0600358"ps" output, and is not recommended. This array is null terminated; a NULL
359entry indicates the end of the array.</p>
Rob Landley4e68de12007-12-13 07:00:27 -0600360<p>Most commands don't use this field, instead the use optargs, optflags,
Rob Landleyc0e56ed2012-10-08 00:02:30 -0500361and the fields in the GLOBALS struct initialized by get_optflags().</p>
Rob Landley4e68de12007-12-13 07:00:27 -0600362</li>
363<li><p>unsigned <b>optflags</b> - Command line option flags, set by
Rob Landley66a69d92012-01-16 01:44:17 -0600364<a href="#lib_args">get_optflags()</a>. Indicates which of the command line options listed in
Rob Landley6882ee82008-02-12 18:41:34 -0600365toys->which.options occurred this time.</p>
366
367<p>The rightmost command line argument listed in toys->which.options sets bit
3681, the next one sets bit 2, and so on. This means the bits are set in the same
369order the binary digits would be listed if typed out as a string. For example,
370the option string "abcd" would parse the command line "-c" to set optflags to 2,
371"-a" would set optflags to 8, and "-bd" would set optflags to 6 (4|2).</p>
372
373<p>Only letters are relevant to optflags. In the string "a*b:c#d", d=1, c=2,
Rob Landleyc0e56ed2012-10-08 00:02:30 -0500374b=4, a=8. Punctuation after a letter initializes global variables at the
375start of the GLOBALS() block (see <a href="#toy_union">union toy_union this</a>
376for details).</p>
377
378<p>The build infrastructure creates FLAG_ macros for each option letter,
379corresponding to the bit position, so you can check (toys.optflags & FLAG_x)
380to see if a flag was specified. (The correct set of FLAG_ macros is selected
381by defining FOR_mycommand before #including toys.h. The macros live in
382toys/globals.h which is generated by scripts/make.sh.)</p>
Rob Landley6882ee82008-02-12 18:41:34 -0600383
Rob Landley66a69d92012-01-16 01:44:17 -0600384<p>For more information on option parsing, see <a href="#lib_args">get_optflags()</a>.</p>
Rob Landley6882ee82008-02-12 18:41:34 -0600385
386</li>
Rob Landley4e68de12007-12-13 07:00:27 -0600387<li><p>char **<b>optargs</b> - Null terminated array of arguments left over
388after get_optflags() removed all the ones it understood. Note: optarg[0] is
389the first argument, not the command name. Use toys.which->name for the command
390name.</p></li>
Rob Landley6882ee82008-02-12 18:41:34 -0600391<li><p>int <b>optc</b> - Optarg count, equivalent to argc but for
392optargs[].<p></li>
Rob Landley4e68de12007-12-13 07:00:27 -0600393<li><p>int <b>exithelp</b> - Whether error_exit() should print a usage message
394via help_main() before exiting. (True during option parsing, defaults to
395false afterwards.)</p></li>
Rob Landley66a69d92012-01-16 01:44:17 -0600396</ul>
Rob Landley4e68de12007-12-13 07:00:27 -0600397
Rob Landleyc0e56ed2012-10-08 00:02:30 -0500398<a name="toy_union" />
Rob Landley66a69d92012-01-16 01:44:17 -0600399<li><p><b>union toy_union this</b> - Union of structures containing each
Rob Landley4e68de12007-12-13 07:00:27 -0600400command's global variables.</p>
401
Rob Landley6882ee82008-02-12 18:41:34 -0600402<p>Global variables are useful: they reduce the overhead of passing extra
403command line arguments between functions, they conveniently start prezeroed to
404save initialization costs, and the command line argument parsing infrastructure
405can also initialize global variables with its results.</p>
406
407<p>But since each toybox process can only run one command at a time, allocating
408space for global variables belonging to other commands you aren't currently
409running would be wasteful.</p>
410
411<p>Toybox handles this by encapsulating each command's global variables in
Rob Landley66a69d92012-01-16 01:44:17 -0600412a structure, and declaring a union of those structures with a single global
Rob Landleyc0e56ed2012-10-08 00:02:30 -0500413instance (called "this"). The GLOBALS() macro contains the global
Rob Landley66a69d92012-01-16 01:44:17 -0600414variables that should go in the current command's global structure. Each
415variable can then be accessed as "this.commandname.varname".
Rob Landleyc0e56ed2012-10-08 00:02:30 -0500416If you #defined FOR_commandname before including toys.h, the macro TT is
417#defined to this.commandname so the variable can then be accessed as
418"TT.variable". See toys/hello.c for an example.</p>
Rob Landley6882ee82008-02-12 18:41:34 -0600419
Rob Landley66a69d92012-01-16 01:44:17 -0600420<p>A command that needs global variables should declare a structure to
Rob Landley4e68de12007-12-13 07:00:27 -0600421contain them all, and add that structure to this union. A command should never
422declare global variables outside of this, because such global variables would
423allocate memory when running other commands that don't use those global
424variables.</p>
425
Rob Landley66a69d92012-01-16 01:44:17 -0600426<p>The first few fields of this structure can be intialized by <a href="#lib_args">get_optargs()</a>,
Rob Landley4e68de12007-12-13 07:00:27 -0600427as specified by the options field off this command's toy_list entry. See
428the get_optargs() description in lib/args.c for details.</p>
429</li>
430
Rob Landley81b899d2007-12-18 02:02:47 -0600431<li><b>char toybuf[4096]</b> - a common scratch space buffer so
Rob Landley4e68de12007-12-13 07:00:27 -0600432commands don't need to allocate their own. Any command is free to use this,
433and it should never be directly referenced by functions in lib/ (although
434commands are free to pass toybuf in to a library function as an argument).</li>
435</ul>
436
Rob Landley6882ee82008-02-12 18:41:34 -0600437<p>The following functions are defined in main.c:</p>
Rob Landley4e68de12007-12-13 07:00:27 -0600438<ul>
439<li><p>struct toy_list *<b>toy_find</b>(char *name) - Return the toy_list
440structure for this command name, or NULL if not found.</p></li>
Rob Landley81b899d2007-12-18 02:02:47 -0600441<li><p>void <b>toy_init</b>(struct toy_list *which, char *argv[]) - fill out
442the global toys structure, calling get_optargs() if necessary.</p></li>
Rob Landley6882ee82008-02-12 18:41:34 -0600443<li><p>void <b>toy_exec</b>(char *argv[]) - Run a built-in command with
444arguments.</p>
445<p>Calls toy_find() on argv[0] (which must be just a command name
Rob Landley4e68de12007-12-13 07:00:27 -0600446without path). Returns if it can't find this command, otherwise calls
Rob Landley6882ee82008-02-12 18:41:34 -0600447toy_init(), toys->which.toy_main(), and exit() instead of returning.</p>
Rob Landley4e68de12007-12-13 07:00:27 -0600448
Rob Landley6882ee82008-02-12 18:41:34 -0600449<p>Use the library function xexec() to fall back to external executables
450in $PATH if toy_exec() can't find a built-in command. Note that toy_exec()
451does not strip paths before searching for a command, so "./command" will
452never match an internal command.</li>
453
454<li><p>void <b>toybox_main</b>(void) - the main function for the multiplexer
455command (I.E. "toybox"). Given a command name as its first argument, calls
456toy_exec() on its arguments. With no arguments, it lists available commands.
457If the first argument starts with "-" it lists each command with its default
458install path prepended.</p></li>
Rob Landley4e68de12007-12-13 07:00:27 -0600459
460</ul>
461
462<h3>Config.in</h3>
463
464<p>Top level configuration file in a stylized variant of
Rob Landley6882ee82008-02-12 18:41:34 -0600465<a href=http://kernel.org/doc/Documentation/kbuild/kconfig-language.txt>kconfig</a> format. Includes generated/Config.in.</p>
Rob Landley4e68de12007-12-13 07:00:27 -0600466
467<p>These files are directly used by "make menuconfig" to select which commands
468to build into toybox (thus generating a .config file), and by
Rob Landley6882ee82008-02-12 18:41:34 -0600469scripts/config2help.py to create generated/help.h.</p>
Rob Landley4e68de12007-12-13 07:00:27 -0600470
Rob Landley7eaf4f52014-04-09 08:30:09 -0500471<a name="generated" />
472<h1><a href="#generated">Temporary files:</a></h1>
Rob Landley4e68de12007-12-13 07:00:27 -0600473
Rob Landley6882ee82008-02-12 18:41:34 -0600474<p>There is one temporary file in the top level source directory:</p>
Rob Landley4e68de12007-12-13 07:00:27 -0600475<ul>
476<li><p><b>.config</b> - Configuration file generated by kconfig, indicating
477which commands (and options to commands) are currently enabled. Used
Rob Landley7eaf4f52014-04-09 08:30:09 -0500478to make generated/config.h and determine which toys/*/*.c files to build.</p>
Rob Landley4e68de12007-12-13 07:00:27 -0600479
Rob Landley6882ee82008-02-12 18:41:34 -0600480<p>You can create a human readable "miniconfig" version of this file using
Rob Landley66a69d92012-01-16 01:44:17 -0600481<a href=http://landley.net/aboriginal/new_platform.html#miniconfig>these
Rob Landley6882ee82008-02-12 18:41:34 -0600482instructions</a>.</p>
483</li>
484</ul>
485
Rob Landley7eaf4f52014-04-09 08:30:09 -0500486<p><h2>Directory generated/</h2></p>
487
488<p>The remaining temporary files live in the "generated/" directory,
489which is for files generated at build time from other source files.</p>
Rob Landley6882ee82008-02-12 18:41:34 -0600490
491<ul>
Rob Landley7eaf4f52014-04-09 08:30:09 -0500492<li><p><b>generated/Config.in</b> - Included from the top level Config.in,
493contains one or more configuration entries for each command.</p>
494
495<p>Each command has a configuration entry with an upper case version of
496the command name. Options to commands start with the command
497name followed by an underscore and the option name. Global options are attached
498to the "toybox" command, and thus use the prefix "TOYBOX_". This organization
499is used by scripts/cfg2files to select which toys/*/*.c files to compile for a
500given .config.</p>
501
502<p>A command with multiple names (or multiple similar commands implemented in
503the same .c file) should have config symbols prefixed with the name of their
504C file. I.E. config symbol prefixes are NEWTOY() names. If OLDTOY() names
505have config symbols they must be options (symbols with an underscore and
506suffix) to the NEWTOY() name. (See generated/toylist.h)</p>
507</li>
508
Rob Landley6882ee82008-02-12 18:41:34 -0600509<li><p><b>generated/config.h</b> - list of CFG_SYMBOL and USE_SYMBOL() macros,
Rob Landley4e68de12007-12-13 07:00:27 -0600510generated from .config by a sed invocation in the top level Makefile.</p>
511
512<p>CFG_SYMBOL is a comple time constant set to 1 for enabled symbols and 0 for
Rob Landley7eaf4f52014-04-09 08:30:09 -0500513disabled symbols. This allows the use of normal if() statements to remove
Rob Landley6882ee82008-02-12 18:41:34 -0600514code at compile time via the optimizer's dead code elimination (which removes
Rob Landley7eaf4f52014-04-09 08:30:09 -0500515from the binary any code that cannot be reached). This saves space without
Rob Landley4e68de12007-12-13 07:00:27 -0600516cluttering the code with #ifdefs or leading to configuration dependent build
Rob Landley7eaf4f52014-04-09 08:30:09 -0500517breaks. (See the 1992 Usenix paper
Rob Landleyb6063de2012-01-29 13:54:13 -0600518<a href=http://doc.cat-v.org/henry_spencer/ifdef_considered_harmful.pdf>#ifdef
Rob Landley4e68de12007-12-13 07:00:27 -0600519Considered Harmful</a> for more information.)</p>
520
521<p>USE_SYMBOL(code) evaluates to the code in parentheses when the symbol
Rob Landley7eaf4f52014-04-09 08:30:09 -0500522is enabled, and nothing when the symbol is disabled. This can be used
Rob Landley4e68de12007-12-13 07:00:27 -0600523for things like varargs or variable declarations which can't always be
Rob Landley7eaf4f52014-04-09 08:30:09 -0500524eliminated by a simple test on CFG_SYMBOL. Note that
Rob Landley4e68de12007-12-13 07:00:27 -0600525(unlike CFG_SYMBOL) this is really just a variant of #ifdef, and can
Rob Landley7eaf4f52014-04-09 08:30:09 -0500526still result in configuration dependent build breaks. Use with caution.</p>
Rob Landley4e68de12007-12-13 07:00:27 -0600527</li>
Rob Landley4e68de12007-12-13 07:00:27 -0600528
Rob Landley7eaf4f52014-04-09 08:30:09 -0500529<li><p><b>generated/flags.h</b> - FLAG_? macros indicating which command
530line options were seen. The option parsing in lib/args.c sets bits in
531toys.optflags, which can be tested by anding with the appropriate FLAG_
532macro. (Bare longopts, which have no corresponding short option, will
533have the longopt name after FLAG_. All others use the single letter short
534option.)</p>
Rob Landley4e68de12007-12-13 07:00:27 -0600535
Rob Landley7eaf4f52014-04-09 08:30:09 -0500536<p>To get the appropriate macros for your command, #define FOR_commandname
537before #including toys.h. To switch macro sets (because you have an OLDTOY()
538with different options in the same .c file), #define CLEANUP_oldcommand
539and also #define FOR_newcommand, then #include "generated/flags.h" to switch.
540</p>
541</li>
Rob Landley4e68de12007-12-13 07:00:27 -0600542
Rob Landley7eaf4f52014-04-09 08:30:09 -0500543<li><p><b>generated/globals.h</b> -
544Declares structures to hold the contents of each command's GLOBALS(),
545and combines them into "global_union this". (Yes, the name was
546chosen to piss off C++ developers who think that C
547is merely a subset of C++, not a language in its own right.)</p>
Rob Landley4e68de12007-12-13 07:00:27 -0600548
Rob Landley7eaf4f52014-04-09 08:30:09 -0500549<p>The union reuses the same memory for each command's global struct:
550since only one command's globals are in use at any given time, collapsing
551them together saves space. The headers #define TT to the appropriate
552"this.commandname", so you can refer to the current command's global
553variables out of "this" as TT.variablename.</p>
Rob Landley4e68de12007-12-13 07:00:27 -0600554
Rob Landley7eaf4f52014-04-09 08:30:09 -0500555<p>The globals start zeroed, and the first few are filled out by the
556lib/args.c argument parsing code called from main.c.</p>
557</li>
Rob Landley4e68de12007-12-13 07:00:27 -0600558
Rob Landley7eaf4f52014-04-09 08:30:09 -0500559<li><p><b>toys/help.h</b> -
560#defines two help text strings for each command: a single line
Rob Landley4e68de12007-12-13 07:00:27 -0600561command_help and an additinal command_help_long. This is used by help_main()
562in toys/help.c to display help for commands.</p>
563
Rob Landley7eaf4f52014-04-09 08:30:09 -0500564<p>This file is created by scripts/make.sh, which compiles scripts/config2help.c
565into the binary generated/config2help, and then runs it against the top
566level .config and Config.in files to extract the help text from each config
567entry and collate together dependent options.</p>
Rob Landley4e68de12007-12-13 07:00:27 -0600568
Rob Landley7eaf4f52014-04-09 08:30:09 -0500569<p>This file contains help text for all commands, regardless of current
570configuration, but only the ones currently enabled in the .config file
571wind up in the help_data[] array, and only the enabled dependent options
572have their help text added to the command they depend on.</p>
573</li>
574
575<li><p><b>generated/newtoys.h</b> -
576All the NEWTOY() and OLDTOY() macros in alphabetical order,
577each of which should be inside the appropriate USE_ macro. (Ok, not _quite_
578alphabetical orer: the "toybox" multiplexer is always the first entry.)</p>
579
580<p>By #definining NEWTOY() to various things before #including this file,
581it may be used to create function prototypes (in toys.h), initialize the
582toy_list array (in main.c, the alphabetical order lets toy_find() do a
583binary search), initialize the help_data array (in lib/help.c), and so on.
584(It's even used to initialize the NEED_OPTIONS macro, which is has a 1 or 0
585for each command using command line option parsing, ORed together.
586This allows compile-time dead code elimination to remove the whole of
587lib/args.c if nothing currently enabled is using it.)<p>
588
589<p>Each NEWTOY and OLDTOY macro contains the command name, command line
590option string (telling lib/args.c how to parse command line options for
591this command), recommended install location, and miscelaneous data such
592as whether this command should retain root permissions if installed suid.</p>
593</li>
594
595<li><p><b>toys/oldtoys.h</b> - Macros with the command line option parsing
596string for each NEWTOY. This allows an OLDTOY that's just an alias for an
597existing command to refer to the existing option string instead of
598having to repeat it.</p>
599</li>
600</ul>
Rob Landley4e68de12007-12-13 07:00:27 -0600601
Rob Landley137bf342012-03-09 08:33:57 -0600602<a name="lib">
Rob Landley81b899d2007-12-18 02:02:47 -0600603<h2>Directory lib/</h2>
Rob Landley4e68de12007-12-13 07:00:27 -0600604
Rob Landley137bf342012-03-09 08:33:57 -0600605<p>TODO: document lots more here.</p>
606
Rob Landleyc8d0da52012-07-15 17:47:08 -0500607<p>lib: getmountlist(), error_msg/error_exit, xmalloc(),
Rob Landley7c04f012008-01-20 19:00:16 -0600608strlcpy(), xexec(), xopen()/xread(), xgetcwd(), xabspath(), find_in_path(),
609itoa().</p>
610
Rob Landley137bf342012-03-09 08:33:57 -0600611<h3>lib/portability.h</h3>
612
613<p>This file is automatically included from the top of toys.h, and smooths
614over differences between platforms (hardware targets, compilers, C libraries,
615operating systems, etc).</p>
616
617<p>This file provides SWAP macros (SWAP_BE16(x) and SWAP_LE32(x) and so on).</p>
618
619<p>A macro like SWAP_LE32(x) means "The value in x is stored as a little
620endian 32 bit value, so perform the translation to/from whatever the native
62132-bit format is". You do the swap once on the way in, and once on the way
622out. If your target is already little endian, the macro is a NOP.</p>
623
624<p>The SWAP macros come in BE and LE each with 16, 32, and 64 bit versions.
625In each case, the name of the macro refers to the _external_ representation,
626and converts to/from whatever your native representation happens to be (which
627can vary depending on what you're currently compiling for).</p>
628
Rob Landleyc8d0da52012-07-15 17:47:08 -0500629<a name="lib_llist"><h3>lib/llist.c</h3>
630
631<p>Some generic single and doubly linked list functions, which take
632advantage of a couple properties of C:</p>
633
634<ul>
635<li><p>Structure elements are laid out in memory in the order listed, and
636the first element has no padding. This means you can always treat (typecast)
637a pointer to a structure as a pointer to the first element of the structure,
638even if you don't know anything about the data following it.</p></li>
639
640<li><p>An array of length zero at the end of a structure adds no space
641to the sizeof() the structure, but if you calculate how much extra space
642you want when you malloc() the structure it will be available at the end.
643Since C has no bounds checking, this means each struct can have one variable
644length array.</p></li>
645</ul>
646
647<p>Toybox's list structures always have their <b>next</b> pointer as
648the first entry of each struct, and singly linked lists end with a NULL pointer.
649This allows generic code to traverse such lists without knowing anything
650else about the specific structs composing them: if your pointer isn't NULL
651typecast it to void ** and dereference once to get the next entry.</p>
652
653<p><b>lib/lib.h</b> defines three structure types:</p>
654<ul>
655<li><p><b>struct string_list</b> - stores a single string (<b>char str[0]</b>),
656memory for which is allocated as part of the node. (I.E. llist_traverse(list,
657free); can clean up after this type of list.)</p></li>
658
659<li><p><b>struct arg_list</b> - stores a pointer to a single string
660(<b>char *arg</b>) which is stored in a separate chunk of memory.</p></li>
661
662<li><p><b>struct double_list</b> - has a second pointer (<b>struct double_list
663*prev</b> along with a <b>char *data</b> for payload.</p></li>
664</ul>
665
666<b>List Functions</b>
667
668<ul>
669<li><p>void *<b>llist_pop</b>(void **list) - advances through a list ala
670<b>node = llist_pop(&list);</b> This doesn't modify the list contents,
671but does advance the pointer you feed it (which is why you pass the _address_
672of that pointer, not the pointer itself).</p></li>
673
674<li><p>void <b>llist_traverse</b>(void *list, void (*using)(void *data)) -
675iterate through a list calling a function on each node.</p></li>
676
677<li><p>struct double_list *<b>dlist_add</b>(struct double_list **llist, char *data)
678- append an entry to a circular linked list.
679This function allocates a new struct double_list wrapper and returns the
680pointer to the new entry (which you can usually ignore since it's llist->prev,
681but if llist was NULL you need it). The argument is the ->data field for the
682new node.</p></li>
683<ul><li><p>void <b>dlist_add_nomalloc</b>(struct double_list **llist,
684struct double_list *new) - append existing struct double_list to
685list, does not allocate anything.</p></li></ul>
686</ul>
687
Rob Landley7eaf4f52014-04-09 08:30:09 -0500688<b>List code trivia questions:</b>
Rob Landleyc8d0da52012-07-15 17:47:08 -0500689
690<ul>
691<li><p><b>Why do arg_list and double_list contain a char * payload instead of
692a void *?</b> - Because you always have to typecast a void * to use it, and
Rob Landley7eaf4f52014-04-09 08:30:09 -0500693typecasting a char * does no harm. Since strings are the most common
694payload, and doing math on the pointer ala
695"(type *)(ptr+sizeof(thing)+sizeof(otherthing))" requires ptr to be char *
696anyway (at least according to the C standard), defaulting to char * saves
697a typecast.</p>
Rob Landleyc8d0da52012-07-15 17:47:08 -0500698</li>
699
700<li><p><b>Why do the names ->str, ->arg, and ->data differ?</b> - To force
701you to keep track of which one you're using, calling free(node->str) would
702be bad, and _failing_ to free(node->arg) leaks memory.</p></li>
703
704<li><p><b>Why does llist_pop() take a void * instead of void **?</b> -
705because the stupid compiler complains about "type punned pointers" when
Rob Landley7eaf4f52014-04-09 08:30:09 -0500706you typecast and dereference on the same line,
Rob Landleyc8d0da52012-07-15 17:47:08 -0500707due to insane FSF developers hardwiring limitations of their optimizer
708into gcc's warning system. Since C automatically typecasts any other
Rob Landley7eaf4f52014-04-09 08:30:09 -0500709pointer type to and from void *, the current code works fine. It's sad that it
Rob Landleyc8d0da52012-07-15 17:47:08 -0500710won't warn you if you forget the &, but the code crashes pretty quickly in
711that case.</p></li>
712
713<li><p><b>How do I assemble a singly-linked-list in order?</b> - use
714a double_list, dlist_add() your entries, and then break the circle with
715<b>list->prev->next = NULL;</b> when done.</li>
716</ul>
717
Rob Landley66a69d92012-01-16 01:44:17 -0600718<a name="lib_args"><h3>lib/args.c</h3>
Rob Landley7c04f012008-01-20 19:00:16 -0600719
Rob Landley66a69d92012-01-16 01:44:17 -0600720<p>Toybox's main.c automatically parses command line options before calling the
721command's main function. Option parsing starts in get_optflags(), which stores
722results in the global structures "toys" (optflags and optargs) and "this".</p>
723
724<p>The option parsing infrastructure stores a bitfield in toys.optflags to
725indicate which options the current command line contained. Arguments
726attached to those options are saved into the command's global structure
727("this"). Any remaining command line arguments are collected together into
728the null-terminated array toys.optargs, with the length in toys.optc. (Note
729that toys.optargs does not contain the current command name at position zero,
730use "toys.which->name" for that.) The raw command line arguments get_optflags()
731parsed are retained unmodified in toys.argv[].</p>
732
733<p>Toybox's option parsing logic is controlled by an "optflags" string, using
734a format reminiscent of getopt's optargs but has several important differences.
735Toybox does not use the getopt()
736function out of the C library, get_optflags() is an independent implementation
737which doesn't permute the original arguments (and thus doesn't change how the
738command is displayed in ps and top), and has many features not present in
739libc optargs() (such as the ability to describe long options in the same string
740as normal options).</p>
741
742<p>Each command's NEWTOY() macro has an optflags string as its middle argument,
743which sets toy_list.options for that command to tell get_optflags() what
744command line arguments to look for, and what to do with them.
745If a command has no option
746definition string (I.E. the argument is NULL), option parsing is skipped
747for that command, which must look at the raw data in toys.argv to parse its
748own arguments. (If no currently enabled command uses option parsing,
749get_optflags() is optimized out of the resulting binary by the compiler's
750--gc-sections option.)</p>
751
752<p>You don't have to free the option strings, which point into the environment
753space (I.E. the string data is not copied). A TOYFLAG_NOFORK command
754that uses the linked list type "*" should free the list objects but not
755the data they point to, via "llist_free(TT.mylist, NULL);". (If it's not
756NOFORK, exit() will free all the malloced data anyway unless you want
757to implement a CONFIG_TOYBOX_FREE cleanup for it.)</p>
758
759<h4>Optflags format string</h4>
760
761<p>Note: the optflags option description string format is much more
762concisely described by a large comment at the top of lib/args.c.</p>
763
764<p>The general theory is that letters set optflags, and punctuation describes
765other actions the option parsing logic should take.</p>
766
767<p>For example, suppose the command line <b>command -b fruit -d walrus -a 42</b>
768is parsed using the optflags string "<b>a#b:c:d</b>". (I.E.
769toys.which->options="a#b:c:d" and argv = ["command", "-b", "fruit", "-d",
770"walrus", "-a", "42"]). When get_optflags() returns, the following data is
771available to command_main():
772
773<ul>
774<li><p>In <b>struct toys</b>:
775<ul>
776<li>toys.optflags = 13; // -a = 8 | -b = 4 | -d = 1</li>
777<li>toys.optargs[0] = "walrus"; // leftover argument</li>
778<li>toys.optargs[1] = NULL; // end of list</li>
Rob Landleyb911d4d2013-09-21 14:27:26 -0500779<li>toys.optc = 1; // there was 1 leftover argument</li>
Rob Landley66a69d92012-01-16 01:44:17 -0600780<li>toys.argv[] = {"-b", "fruit", "-d", "walrus", "-a", "42"}; // The original command line arguments
781</ul>
782<p></li>
783
784<li><p>In <b>union this</b> (treated as <b>long this[]</b>):
785<ul>
786<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>
787<li>this[1] = (long)"fruit"; // argument to -b</li>
788<li>this[2] = 42; // argument to -a</li>
789</ul>
790</p></li>
791</ul>
792
793<p>If the command's globals are:</p>
794
795<blockquote><pre>
Rob Landleyc0e56ed2012-10-08 00:02:30 -0500796GLOBALS(
Rob Landley66a69d92012-01-16 01:44:17 -0600797 char *c;
798 char *b;
799 long a;
800)
Rob Landley66a69d92012-01-16 01:44:17 -0600801</pre></blockquote>
802<p>That would mean TT.c == NULL, TT.b == "fruit", and TT.a == 42. (Remember,
803each entry that receives an argument must be a long or pointer, to line up
804with the array position. Right to left in the optflags string corresponds to
Rob Landleyc0e56ed2012-10-08 00:02:30 -0500805top to bottom in GLOBALS().</p>
Rob Landley66a69d92012-01-16 01:44:17 -0600806
Rob Landleyb911d4d2013-09-21 14:27:26 -0500807<p>Put globals not filled out by the option parsing logic at the end of the
808GLOBALS block. Common practice is to list the options one per line (to
809make the ordering explicit, first to last in globals corresponds to right
810to left in the option string), then leave a blank line before any non-option
811globals.</p>
812
Rob Landley66a69d92012-01-16 01:44:17 -0600813<p><b>long toys.optflags</b></p>
814
815<p>Each option in the optflags string corresponds to a bit position in
816toys.optflags, with the same value as a corresponding binary digit. The
817rightmost argument is (1<<0), the next to last is (1<<1) and so on. If
Rob Landleyb4a0efa2012-02-06 21:15:19 -0600818the option isn't encountered while parsing argv[], its bit remains 0.</p>
819
820<p>For example,
Rob Landley66a69d92012-01-16 01:44:17 -0600821the optflags string "abcd" would parse the command line argument "-c" to set
822optflags to 2, "-a" would set optflags to 8, "-bd" would set optflags to
8236 (I.E. 4|2), and "-a -c" would set optflags to 10 (2|8).</p>
824
825<p>Only letters are relevant to optflags, punctuation is skipped: in the
826string "a*b:c#d", d=1, c=2, b=4, a=8. The punctuation after a letter
827usually indicate that the option takes an argument.</p>
828
Rob Landleyb4a0efa2012-02-06 21:15:19 -0600829<p>Since toys.optflags is an unsigned int, it only stores 32 bits. (Which is
830the amount a long would have on 32-bit platforms anyway; 64 bit code on
83132 bit platforms is too expensive to require in common code used by almost
832all commands.) Bit positions beyond the 1<<31 aren't recorded, but
833parsing higher options can still set global variables.</p>
834
Rob Landley66a69d92012-01-16 01:44:17 -0600835<p><b>Automatically setting global variables from arguments (union this)</b></p>
836
837<p>The following punctuation characters may be appended to an optflags
838argument letter, indicating the option takes an additional argument:</p>
839
840<ul>
841<li><b>:</b> - plus a string argument, keep most recent if more than one.</li>
842<li><b>*</b> - plus a string argument, appended to a linked list.</li>
Rob Landley66a69d92012-01-16 01:44:17 -0600843<li><b>@</b> - plus an occurrence counter (stored in a long)</li>
Rob Landleyb6063de2012-01-29 13:54:13 -0600844<li><b>#</b> - plus a signed long argument.
Rob Landleyb911d4d2013-09-21 14:27:26 -0500845<li><b>-</b> - plus a signed long argument defaulting to negative (start argument with + to force a positive value).</li>
Rob Landleyb6063de2012-01-29 13:54:13 -0600846<li><b>.</b> - plus a floating point argument (if CFG_TOYBOX_FLOAT).</li>
847<ul>The following can be appended to a float or double:
848<li><b>&lt;123</b> - error if argument is less than this</li>
849<li><b>&gt;123</b> - error if argument is greater than this</li>
850<li><b>=123</b> - default value if argument not supplied</li>
851</ul>
Rob Landley66a69d92012-01-16 01:44:17 -0600852</ul>
853
Rob Landleyb911d4d2013-09-21 14:27:26 -0500854<p>A note about "." and CFG_TOYBOX_FLOAT: option parsing only understands <>=
855after . when CFG_TOYBOX_FLOAT
856is enabled. (Otherwise the code to determine where floating point constants
857end drops out; it requires floating point). When disabled, it can reserve a
858global data slot for the argument (so offsets won't change in your
859GLOBALS[] block), but will never fill it out. You can handle
860this by using the USE_BLAH() macros with C string concatenation, ala:
861"abc." USE_TOYBOX_FLOAT("<1.23>4.56=7.89") "def"</p>
862
863<p><b>GLOBALS</b></p>
Rob Landley66a69d92012-01-16 01:44:17 -0600864
865<p>Options which have an argument fill in the corresponding slot in the global
866union "this" (see generated/globals.h), treating it as an array of longs
Rob Landleyb911d4d2013-09-21 14:27:26 -0500867with the rightmost saved in this[0]. As described above, using "a*b:c#d",
868"-c 42" would set this[0] = 42; and "-b 42" would set this[1] = "42"; each
869slot is left NULL if the corresponding argument is not encountered.</p>
Rob Landley66a69d92012-01-16 01:44:17 -0600870
871<p>This behavior is useful because the LP64 standard ensures long and pointer
Rob Landleyb4a0efa2012-02-06 21:15:19 -0600872are the same size. C99 guarantees structure members will occur in memory
873in the same order they're declared, and that padding won't be inserted between
Rob Landley66a69d92012-01-16 01:44:17 -0600874consecutive variables of register size. Thus the first few entries can
875be longs or pointers corresponding to the saved arguments.</p>
876
Rob Landleyb911d4d2013-09-21 14:27:26 -0500877<p>See toys/other/hello.c for a longer example of parsing options into the
878GLOBALS block.</p>
879
Rob Landley66a69d92012-01-16 01:44:17 -0600880<p><b>char *toys.optargs[]</b></p>
881
882<p>Command line arguments in argv[] which are not consumed by option parsing
883(I.E. not recognized either as -flags or arguments to -flags) will be copied
884to toys.optargs[], with the length of that array in toys.optc.
885(When toys.optc is 0, no unrecognized command line arguments remain.)
886The order of entries is preserved, and as with argv[] this new array is also
887terminated by a NULL entry.</p>
888
889<p>Option parsing can require a minimum or maximum number of optargs left
890over, by adding "<1" (read "at least one") or ">9" ("at most nine") to the
891start of the optflags string.</p>
892
893<p>The special argument "--" terminates option parsing, storing all remaining
894arguments in optargs. The "--" itself is consumed.</p>
895
896<p><b>Other optflags control characters</b></p>
897
898<p>The following characters may occur at the start of each command's
899optflags string, before any options that would set a bit in toys.optflags:</p>
900
901<ul>
902<li><b>^</b> - stop at first nonoption argument (for nice, xargs...)</li>
903<li><b>?</b> - allow unknown arguments (pass non-option arguments starting
904with - through to optargs instead of erroring out).</li>
905<li><b>&amp;</b> - the first argument has imaginary dash (ala tar/ps. If given twice, all arguments have imaginary dash.)</li>
906<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>
907<li><b>&gt;</b> - must be followed by a decimal digit indicating at most this many leftover arguments allowed (default MAX_INT)</li>
908</ul>
909
910<p>The following characters may be appended to an option character, but do
911not by themselves indicate an extra argument should be saved in this[].
912(Technically any character not recognized as a control character sets an
913optflag, but letters are never control characters.)</p>
914
915<ul>
916<li><b>^</b> - stop parsing options after encountering this option, everything else goes into optargs.</li>
917<li><b>|</b> - this option is required. If more than one marked, only one is required.</li>
Rob Landley66a69d92012-01-16 01:44:17 -0600918</ul>
919
Rob Landleyb6063de2012-01-29 13:54:13 -0600920<p>The following may be appended to a float or double:</p>
921
922<ul>
923<li><b>&lt;123</b> - error if argument is less than this</li>
924<li><b>&gt;123</b> - error if argument is greater than this</li>
925<li><b>=123</b> - default value if argument not supplied</li>
926</ul>
927
928<p>Option parsing only understands <>= after . when CFG_TOYBOX_FLOAT
929is enabled. (Otherwise the code to determine where floating point constants
930end drops out. When disabled, it can reserve a global data slot for the
931argument so offsets won't change, but will never fill it out.). You can handle
932this by using the USE_BLAH() macros with C string concatenation, ala:</p>
933
934<blockquote>"abc." USE_TOYBOX_FLOAT("<1.23>4.56=7.89") "def"</blockquote>
935
Rob Landley66a69d92012-01-16 01:44:17 -0600936<p><b>--longopts</b></p>
937
938<p>The optflags string can contain long options, which are enclosed in
939parentheses. They may be appended to an existing option character, in
940which case the --longopt is a synonym for that option, ala "a:(--fred)"
941which understands "-a blah" or "--fred blah" as synonyms.</p>
942
943<p>Longopts may also appear before any other options in the optflags string,
944in which case they have no corresponding short argument, but instead set
945their own bit based on position. So for "(walrus)#(blah)xy:z" "command
946--walrus 42" would set toys.optflags = 16 (-z = 1, -y = 2, -x = 4, --blah = 8)
947and would assign this[1] = 42;</p>
948
949<p>A short option may have multiple longopt synonyms, "a(one)(two)", but
950each "bare longopt" (ala "(one)(two)abc" before any option characters)
951always sets its own bit (although you can group them with +X).</p>
Rob Landley7c04f012008-01-20 19:00:16 -0600952
Rob Landleyb911d4d2013-09-21 14:27:26 -0500953<p><b>[groups]</b></p>
954
955<p>At the end of the option string, square bracket groups can define
956relationships between existing options. (This only applies to short
957options, bare --longopts can't participate.)</p>
958
959<p>The first character of the group defines the type, the remaining
960characters are options it applies to:</p>
961
962<ul>
963<li><b>-</b> - Exclusive, switch off all others in this group.</li>
964<li><b>+</b> - Inclusive, switch on all others in this group.</li>
965<li><b>!</b> - Error, fail if more than one defined.</li>
966</ul>
967
968<p>So "abc[-abc]" means -ab = -b, -ba = -a, -abc = -c. "abc[+abc]"
969means -ab=-abc, -c=-abc, and "abc[!abc] means -ab calls error_exit("no -b
970with -a"). Note that [-] groups clear the GLOBALS option slot of
971options they're switching back off, but [+] won't set options it didn't see
972(just the optflags).</p>
973
974<p><b>whitespace</b></p>
975
976<p>Arguments may occur with or without a space (I.E. "-a 42" or "-a42").
977The command line argument "-abc" may be interepreted many different ways:
978the optflags string "cba" sets toys.optflags = 7, "c:ba" sets toys.optflags=4
979and saves "ba" as the argument to -c, and "cb:a" sets optflags to 6 and saves
980"c" as the argument to -b.</p>
981
982<p>Note that &amp; changes whitespace handling, so that the command line
983"tar cvfCj outfile.tar.bz2 topdir filename" is parsed the same as
984"tar filename -c -v -j -f outfile.tar.bz2 -C topdir". Note that "tar -cvfCj
985one two three" would equal "tar -c -v -f Cj one two three". (This matches
986historical usage.)</p>
987
988<p>Appending a space to the option in the option string ("a: b") makes it
989require a space, I.E. "-ab" is interpreted as "-a" "-b". That way "kill -stop"
990differs from "kill -s top".</p>
991
992<p>Appending ; to a longopt in the option string makes its argument optional,
993and only settable with =, so in ls "(color):;" can accept "ls --color" and
994"ls --color=auto" without complaining that the first has no argument.</p>
995
Rob Landleyc8d0da52012-07-15 17:47:08 -0500996<a name="lib_dirtree"><h3>lib/dirtree.c</h3>
997
998<p>The directory tree traversal code should be sufficiently generic
999that commands never need to use readdir(), scandir(), or the fts.h family
1000of functions.</p>
1001
1002<p>These functions do not call chdir() or rely on PATH_MAX. Instead they
1003use openat() and friends, using one filehandle per directory level to
1004recurseinto subdirectories. (I.E. they can descend 1000 directories deep
1005if setrlimit(RLIMIT_NOFILE) allows enough open filehandles, and the default
1006in /proc/self/limits is generally 1024.)</p>
1007
1008<p>The basic dirtree functions are:</p>
1009
1010<ul>
1011<li><p><b>dirtree_read(char *path, int (*callback)(struct dirtree node))</b> -
1012recursively read directories, either applying callback() or returning
1013a tree of struct dirtree if callback is NULL.</p></li>
1014
1015<li><p><b>dirtree_path(struct dirtree *node, int *plen)</b> - malloc() a
1016string containing the path from the root of this tree to this node. If
1017plen isn't NULL then *plen is how many extra bytes to malloc at the end
1018of string.</p></li>
1019
1020<li><p><b>dirtree_parentfd(struct dirtree *node)</b> - return fd of
1021containing directory, for use with openat() and such.</p></li>
1022</ul>
1023
1024<p>The <b>dirtree_read()</b> function takes two arguments, a starting path for
1025the root of the tree, and a callback function. The callback takes a
1026<b>struct dirtree *</b> (from lib/lib.h) as its argument. If the callback is
1027NULL, the traversal uses a default callback (dirtree_notdotdot()) which
1028recursively assembles a tree of struct dirtree nodes for all files under
1029this directory and subdirectories (filtering out "." and ".." entries),
1030after which dirtree_read() returns the pointer to the root node of this
1031snapshot tree.</p>
1032
1033<p>Otherwise the callback() is called on each entry in the directory,
1034with struct dirtree * as its argument. This includes the initial
1035node created by dirtree_read() at the top of the tree.</p>
1036
1037<p><b>struct dirtree</b></p>
1038
1039<p>Each struct dirtree node contains <b>char name[]</b> and <b>struct stat
1040st</b> entries describing a file, plus a <b>char *symlink</b>
1041which is NULL for non-symlinks.</p>
1042
1043<p>During a callback function, the <b>int data</b> field of directory nodes
1044contains a dirfd (for use with the openat() family of functions). This is
1045generally used by calling dirtree_parentfd() on the callback's node argument.
1046For symlinks, data contains the length of the symlink string. On the second
1047callback from DIRTREE_COMEAGAIN (depth-first traversal) data = -1 for
1048all nodes (that's how you can tell it's the second callback).</p>
1049
1050<p>Users of this code may put anything they like into the <b>long extra</b>
1051field. For example, "cp" and "mv" use this to store a dirfd for the destination
1052directory (and use DIRTREE_COMEAGAIN to get the second callback so they can
1053close(node->extra) to avoid running out of filehandles).
1054This field is not directly used by the dirtree code, and
1055thanks to LP64 it's large enough to store a typecast pointer to an
1056arbitrary struct.</p>
1057
1058<p>The return value of the callback combines flags (with boolean or) to tell
1059the traversal infrastructure how to behave:</p>
1060
1061<ul>
1062<li><p><b>DIRTREE_SAVE</b> - Save this node, assembling a tree. (Without
1063this the struct dirtree is freed after the callback returns. Filtering out
1064siblings is fine, but discarding a parent while keeping its child leaks
1065memory.)</p></li>
1066<li><p><b>DIRTREE_ABORT</b> - Do not examine any more entries in this
1067directory. (Does not propagate up tree: to abort entire traversal,
1068return DIRTREE_ABORT from parent callbacks too.)</p></li>
1069<li><p><b>DIRTREE_RECURSE</b> - Examine directory contents. Ignored for
1070non-directory entries. The remaining flags only take effect when
1071recursing into the children of a directory.</p></li>
1072<li><p><b>DIRTREE_COMEAGAIN</b> - Call the callback a second time after
1073examining all directory contents, allowing depth-first traversal.
1074On the second call, dirtree->data = -1.</p></li>
1075<li><p><b>DIRTREE_SYMFOLLOW</b> - follow symlinks when populating children's
1076<b>struct stat st</b> (by feeding a nonzero value to the symfollow argument of
1077dirtree_add_node()), which means DIRTREE_RECURSE treats symlinks to
1078directories as directories. (Avoiding infinite recursion is the callback's
1079problem: the non-NULL dirtree->symlink can still distinguish between
1080them.)</p></li>
1081</ul>
1082
1083<p>Each struct dirtree contains three pointers (next, parent, and child)
1084to other struct dirtree.</p>
1085
1086<p>The <b>parent</b> pointer indicates the directory
1087containing this entry; even when not assembling a persistent tree of
1088nodes the parent entries remain live up to the root of the tree while
1089child nodes are active. At the top of the tree the parent pointer is
1090NULL, meaning the node's name[] is either an absolute path or relative
1091to cwd. The function dirtree_parentfd() gets the directory file descriptor
1092for use with openat() and friends, returning AT_FDCWD at the top of tree.</p>
1093
1094<p>The <b>child</b> pointer points to the first node of the list of contents of
1095this directory. If the directory contains no files, or the entry isn't
1096a directory, child is NULL.</p>
1097
1098<p>The <b>next</b> pointer indicates sibling nodes in the same directory as this
1099node, and since it's the first entry in the struct the llist.c traversal
1100mechanisms work to iterate over sibling nodes. Each dirtree node is a
1101single malloc() (even char *symlink points to memory at the end of the node),
1102so llist_free() works but its callback must descend into child nodes (freeing
1103a tree, not just a linked list), plus whatever the user stored in extra.</p>
1104
1105<p>The <b>dirtree_read</b>() function is a simple wrapper, calling <b>dirtree_add_node</b>()
1106to create a root node relative to the current directory, then calling
1107<b>handle_callback</b>() on that node (which recurses as instructed by the callback
1108return flags). Some commands (such as chgrp) bypass this wrapper, for example
1109to control whether or not to follow symlinks to the root node; symlinks
1110listed on the command line are often treated differently than symlinks
1111encountered during recursive directory traversal).
1112
1113<p>The ls command not only bypasses the wrapper, but never returns
1114<b>DIRTREE_RECURSE</b> from the callback, instead calling <b>dirtree_recurse</b>() manually
1115from elsewhere in the program. This gives ls -lR manual control
1116of traversal order, which is neither depth first nor breadth first but
1117instead a sort of FIFO order requried by the ls standard.</p>
1118
Rob Landley7eaf4f52014-04-09 08:30:09 -05001119<a name="toys">
1120<h1><a href="#toys">Directory toys/</a></h1>
Rob Landleyc0e56ed2012-10-08 00:02:30 -05001121
1122<p>This directory contains command implementations. Each command is a single
1123self-contained file. Adding a new command involves adding a single
1124file, and removing a command involves removing that file. Commands use
1125shared infrastructure from the lib/ and generated/ directories.</p>
1126
1127<p>Currently there are three subdirectories under "toys/" containing commands
1128described in POSIX-2008, the Linux Standard Base 4.1, or "other". The only
1129difference this makes is which menu the command shows up in during "make
1130menuconfig", the directories are otherwise identical. Note that they commands
1131exist within a single namespace at runtime, so you can't have the same
1132command in multiple subdirectories.</p>
1133
1134<p>(There are actually four sub-menus in "make menuconfig", the fourth
1135contains global configuration options for toybox, and lives in Config.in at
1136the top level.)</p>
1137
1138<p>See <a href="#adding">adding a new command</a> for details on the
1139layout of a command file.</p>
1140
Rob Landley81b899d2007-12-18 02:02:47 -06001141<h2>Directory scripts/</h2>
Rob Landley4e68de12007-12-13 07:00:27 -06001142
Rob Landley1f4f41a2012-10-08 21:31:07 -05001143<p>Build infrastructure. The makefile calls scripts/make.sh for "make"
1144and scripts/install.sh for "make install".</p>
1145
1146<p>There's also a test suite, "make test" calls make/test.sh, which runs all
1147the tests in make/test/*. You can run individual tests via
1148"scripts/test.sh command", or "TEST_HOST=1 scripts/test.sh command" to run
1149that test against the host implementation instead of the toybox one.</p>
1150
Rob Landley4e68de12007-12-13 07:00:27 -06001151<h3>scripts/cfg2files.sh</h3>
1152
1153<p>Run .config through this filter to get a list of enabled commands, which
1154is turned into a list of files in toys via a sed invocation in the top level
1155Makefile.
1156</p>
1157
Rob Landley81b899d2007-12-18 02:02:47 -06001158<h2>Directory kconfig/</h2>
Rob Landley4e68de12007-12-13 07:00:27 -06001159
1160<p>Menuconfig infrastructure copied from the Linux kernel. See the
1161Linux kernel's Documentation/kbuild/kconfig-language.txt</p>
1162
Rob Landley66a69d92012-01-16 01:44:17 -06001163<a name="generated">
1164<h2>Directory generated/</h2>
1165
1166<p>All the files in this directory except the README are generated by the
Rob Landleyca733922014-05-19 18:24:35 -05001167build. (See scripts/make.sh)</p>
Rob Landley66a69d92012-01-16 01:44:17 -06001168
1169<ul>
1170<li><p><b>config.h</b> - CFG_COMMAND and USE_COMMAND() macros set by menuconfig via .config.</p></li>
1171
1172<li><p><b>Config.in</b> - Kconfig entries for each command. Included by top level Config.in. The help text in here is used to generated help.h</p></li>
1173
1174<li><p><b>help.h</b> - Help text strings for use by "help" command. Building
1175this file requires python on the host system, so the prebuilt file is shipped
1176in the build tarball to avoid requiring python to build toybox.</p></li>
1177
1178<li><p><b>newtoys.h</b> - List of NEWTOY() or OLDTOY() macros for all available
1179commands. Associates command_main() functions with command names, provides
1180option string for command line parsing (<a href="#lib_args">see lib/args.c</a>),
1181specifies where to install each command and whether toysh should fork before
1182calling it.</p></li>
1183</ul>
1184
1185<p>Everything in this directory is a derivative file produced from something
1186else. The entire directory is deleted by "make distclean".</p>
Rob Landleyca733922014-05-19 18:24:35 -05001187
Rob Landley4e68de12007-12-13 07:00:27 -06001188<!--#include file="footer.html" -->