Next: Boot sequence, Up: Running THUD
The thud command-line is thud followed by zero or more
options followed by zero or more filenames.
$ thud [options ...] [file1.th file2.th ...]
Here is a table of the command-line options that thud accepts. All options can be recognized by their short (single-hyphen) and long (double-hyphen) forms.
--version--help-s--silent-d--debug-i dbglvls below.
-b--batch-b is not specified, an interactive session begins.
See --init below.
-F FACE--face FACEfull (thin layer over
Guile), terse-cmd (terse command syntax for non-hacker users),
and emacs (for emacs to talk to – still experimental).
See Faces, for more info.
-x FILE--init FILE-x
/dev/null. Only one -x option can be used on the command line.
-o FILE--out FILEcompile-to file,
then exit. See Data procedures.
-i ITEM--info ITEMhelp, warranty, version and
dbglvls.
(Specifying help lists all possible items.)
Command-line arguments following the options indicate files to be added
to the workspace in the order given. These typically have the filename
extension .th, although that is not required. As a heuristic,
THUD does a link immediately after adding all the specified files.
See Boot sequence, for more info.