Proper error messages instead of "foo" and "bar"
[sbcl.git] / doc / manual / start-stop.texinfo
blob5f4ff5b34423b396f258c794ead15b766da98c49
1 @node Starting and Stopping
2 @comment  node-name,  next,  previous,  up
3 @chapter Starting and Stopping
5 @menu
6 * Starting SBCL::
7 * Stopping SBCL::
8 * Command Line Options::
9 * Initialization Files::
10 * Initialization and Exit Hooks::
11 @end menu
13 @node Starting SBCL
14 @comment  node-name,  next,  previous,  up
15 @section Starting SBCL
17 @menu
18 * Running from Shell::
19 * Running from Emacs::
20 * Shebang Scripts::
21 @end menu
23 @node Running from Shell
24 @comment  node-name,  next,  previous,  up
25 @subsection From Shell to Lisp
27 To run SBCL type @command{sbcl} at the command line.
29 You should end up in the toplevel @dfn{REPL} (read, eval, print
30 -loop), where you can interact with SBCL by typing expressions.
32 @smallexample
33 $ sbcl
34 This is SBCL 0.8.13.60, an implementation of ANSI Common Lisp.
35 More information about SBCL is available at <http://www.sbcl.org/>.
37 SBCL is free software, provided as is, with absolutely no warranty.
38 It is mostly in the public domain; some portions are provided under
39 BSD-style licenses.  See the CREDITS and COPYING files in the
40 distribution for more information.
41 * (+ 2 2)
44 * (exit)
46 @end smallexample
48 See also @ref{Command Line Options} and @ref{Stopping SBCL}.
50 @node Running from Emacs
51 @comment  node-name,  next,  previous,  up
52 @subsection Running from Emacs
54 To run SBCL as an inferior-lisp from Emacs in your @file{.emacs} do
55 something like:
57 @lisp
58 ;;; The SBCL binary and command-line arguments
59 (setq inferior-lisp-program "/usr/local/bin/sbcl --noinform")
60 @end lisp
62 For more information on using SBCL with Emacs, see @ref{Editor
63 Integration}.
66 @node Shebang Scripts
67 @comment  node-name,  next,  previous,  up
68 @subsection Shebang Scripts
69 @vindex @sbext{@earmuffs{posix-argv}}
71 Standard Unix tools that are interpreters follow a common command line
72 protocol that is necessary to work with ``shebang scripts''. SBCL supports
73 this via the @code{--script} command line option.
75 Example file (@file{hello.lisp}):
77 @lisp
78 #!/usr/local/bin/sbcl --script
79 (write-line "Hello, World!")
80 @end lisp
82 Usage examples:
84 @smallexample
85 $ ./hello.lisp
86 Hello, World!
87 @end smallexample
89 @smallexample
90 $ sbcl --script hello.lisp
91 Hello, World!
92 @end smallexample
94 @node Stopping SBCL
95 @comment  node-name,  next,  previous,  up
96 @section Stopping SBCL
98 @menu
99 * Exit::
100 * End of File::
101 * Saving a Core Image::
102 * Exit on Errors::
103 @end menu
105 @node Exit
106 @comment  node-name,  next,  previous,  up
107 @subsection Exit
109 SBCL can be stopped at any time by calling @code{sb-ext:exit},
110 optionally returning a specified numeric value to the calling process.
111 See @ref{Threading} for information about terminating individual threads.
113 @include fun-sb-ext-exit.texinfo
115 @node End of File
116 @comment  node-name,  next,  previous,  up
117 @subsection End of File
119 By default SBCL also exits on end of input, caused either by user
120 pressing @kbd{Control-D} on an attached terminal, or end of input when
121 using SBCL as part of a shell pipeline.
123 @node Saving a Core Image
124 @comment  node-name,  next,  previous,  up
125 @subsection Saving a Core Image
127 SBCL has the ability to save its state as a file for later
128 execution. This functionality is important for its bootstrapping
129 process, and is also provided as an extension to the user.
131 @include fun-sb-ext-save-lisp-and-die.texinfo
132 @include var-sb-ext-star-save-hooks-star.texinfo
134 In cases where the standard initialization files have already been loaded
135 into the saved core, and alternative ones should be used (or none at all),
136 SBCL allows customizing the initfile pathname computation.
138 @include var-sb-ext-star-sysinit-pathname-function-star.texinfo
139 @include var-sb-ext-star-userinit-pathname-function-star.texinfo
141 To facilitate distribution of SBCL applications using external
142 resources, the filesystem location of the SBCL core file being used is
143 available from Lisp.
145 @include var-sb-ext-star-core-pathname-star.texinfo
147 @node Exit on Errors
148 @comment  node-name,  next,  previous,  up
149 @subsection Exit on Errors
151 SBCL can also be configured to exit if an unhandled error occurs,
152 which is mainly useful for acting as part of a shell pipeline; doing
153 so under most other circumstances would mean giving up large parts of
154 the flexibility and robustness of Common Lisp. See @ref{Debugger Entry}.
156 @node Command Line Options
157 @comment  node-name,  next,  previous,  up
158 @section Command Line Options
160 @c FIXME: This is essentially cut-and-paste from the manpage
161 @c What should probably be done is generate both this and the
162 @c man-page from ``sbcl --help'' output.
164 Command line options can be considered an advanced topic; for ordinary
165 interactive use, no command line arguments should be necessary.
167 In order to understand the command line argument syntax for SBCL, it
168 is helpful to understand that the SBCL system is implemented as two
169 components, a low-level runtime environment written in C and a
170 higher-level system written in Common Lisp itself. Some command line
171 arguments are processed during the initialization of the low-level
172 runtime environment, some command line arguments are processed during
173 the initialization of the Common Lisp system, and any remaining
174 command line arguments are passed on to user code.
176 The full, unambiguous syntax for invoking SBCL at the command line is:
178 @command{sbcl} @var{runtime-option}* @code{--end-runtime-options} @var{toplevel-option}* @code{--end-toplevel-options} @var{user-options}*
180 For convenience, the @code{--end-runtime-options} and
181 @code{--end-toplevel-options} elements can be omitted. Omitting these
182 elements can be convenient when you are running the program
183 interactively, and you can see that no ambiguities are possible with
184 the option values you are using. Omitting these elements is probably a
185 bad idea for any batch file where any of the options are under user
186 control, since it makes it impossible for SBCL to detect erroneous
187 command line input, so that erroneous command line arguments will be
188 passed on to the user program even if they was intended for the
189 runtime system or the Lisp system.
191 @menu
192 * Runtime Options::
193 * Toplevel Options::
194 @end menu
196 @node Runtime Options
197 @comment  node-name,  next,  previous,  up
198 @subsection Runtime Options
200 @table @code
202 @item --core @var{corefilename}
203 Run the specified Lisp core file instead of the default. Note that if
204 the Lisp core file is a user-created core file, it may run a
205 nonstandard toplevel which does not recognize the standard toplevel
206 options.
208 @item --dynamic-space-size @var{megabytes}
209 Size of the dynamic space reserved on startup in megabytes. Default
210 value is platform dependent.
212 @item --control-stack-size @var{megabytes}
213 Size of control stack reserved for each thread in megabytes. Default
214 value is 2.
216 @item --noinform
217 Suppress the printing of any banner or other informational message at
218 startup. This makes it easier to write Lisp programs which work
219 cleanly in Unix pipelines. See also the @code{--noprint} and
220 @code{--disable-debugger} options.
222 @item --disable-ldb
223 @cindex ldb
224 @cindex ldb, disabling
225 @cindex disabling ldb
226 Disable the low-level debugger. Only effective if SBCL is compiled
227 with LDB.
229 @item --lose-on-corruption
230 @cindex ldb
231 There are some dangerous low level errors (for instance, control stack
232 exhausted, memory fault) that (or whose handlers) can corrupt the
233 image. By default SBCL prints a warning, then tries to continue and
234 handle the error in Lisp, but this will not always work and SBCL may
235 malfunction or even hang. With this option, upon encountering such an
236 error SBCL will invoke ldb (if present and enabled) or else exit.
239 @item --script @var{filename}
240 As a runtime option this is equivalent to @code{--noinform}
241 @code{--disable-ldb} @code{--lose-on-corruption}
242 @code{--end-runtime-options} @code{--script} @var{filename}. See the
243 description of @code{--script} as a toplevel option below. If there
244 are no other command line arguments following @code{--script}, the
245 filename argument can be omitted.
248 @item --merge-core-pages
249 When platform support is present, provide hints to the operating system
250 that identical pages may be shared between processes until they are
251 written to.  This can be useful to reduce the memory usage on systems
252 with multiple SBCL processes started from similar but differently-named
253 core files, or from compressed cores.  Without platform support, do
254 nothing. By default only compressed cores trigger hinting.
256 @item --no-merge-core-pages
257 Ensures that no sharing hint is provided to the operating system.
259 @item --help
260 Print some basic information about SBCL, then exit.
262 @item --version
263 Print SBCL's version information, then exit.
265 @end table
267 In the future, runtime options may be added to control behaviour such
268 as lazy allocation of memory.
270 Runtime options, including any --end-runtime-options option, are
271 stripped out of the command line before the Lisp toplevel logic gets a
272 chance to see it.
274 @node Toplevel Options
275 @comment  node-name,  next,  previous,  up
276 @subsection Toplevel Options
278 @table @code
280 @item --sysinit @var{filename}
281 Load filename instead of the default system initialization file
282 (@pxref{Initialization Files}.)
284 @item --no-sysinit
285 Don't load a system-wide initialization file.  If this option is given,
286 the @code{--sysinit} option is ignored.
288 @item --userinit @var{filename}
289 Load filename instead of the default user initialization file
290 (@pxref{Initialization Files}.)
292 @item --no-userinit
293 Don't load a user initialization file.  If this option is given,
294 the @code{--userinit} option is ignored.
296 @item --eval @var{command}
297 After executing any initialization file, but before starting the
298 read-eval-print loop on standard input, read and evaluate the command
299 given. More than one @code{--eval} option can be used, and all will be
300 read and executed, in the order they appear on the command line.
302 @item --load @var{filename}
303 This is equivalent to @code{--eval '(load "@var{filename}")'}. The
304 special syntax is intended to reduce quoting headaches when invoking
305 SBCL from shell scripts.
307 @item --noprint
308 When ordinarily the toplevel "read-eval-print loop" would be executed,
309 execute a "read-eval loop" instead, i.e. don't print a prompt and
310 don't echo results. Combined with the @code{--noinform} runtime
311 option, this makes it easier to write Lisp "scripts" which work
312 cleanly in Unix pipelines.
314 @item --disable-debugger
315 By default when SBCL encounters an error, it enters the builtin
316 debugger, allowing interactive diagnosis and possible intercession.
317 This option disables the debugger, causing errors to print a backtrace
318 and exit with status 1 instead. When given, this option takes effect
319 before loading of initialization files or processing @code{--eval} and
320 @code{--load} options. See @code{sb-ext:disable-debugger} for details.
321 @xref{Debugger Entry}.
323 @item --script @var{filename}
324 Implies @code{--no-userinit} @code{--no-sysinit}
325 @code{--disable-debugger} @code{--end-toplevel-options}.
327 Causes the system to load the specified file instead of entering the
328 read-eval-print-loop, and exit afterwards. If the file begins with a
329 shebang line, it is ignored.
331 If there are no other command line arguments following, the filename
332 can be omitted: this causes the script to be loaded from standard
333 input instead. Shebang lines in standard input script are currently
334 @emph{not} ignored.
336 In either case, if there is an unhandled error (e.g. end of file, or a
337 broken pipe) on either standard input, standard output, or standard
338 error, the script silently exits with code 0. This allows e.g. safely
339 piping output from SBCL to @code{head -n1} or similar.
341 @end table
343 @node Initialization Files
344 @comment  node-name,  next,  previous,  up
345 @section Initialization Files
347 SBCL processes initialization files with @code{read} and @code{eval},
348 not @code{load}; hence initialization files can be used to set startup
349 @code{*package*} and @code{*readtable*}, and for proclaiming a global
350 optimization policy.
352 @table @strong
354 @item System Initialization File
355 Defaults to @file{@env{$SBCL_HOME}/sbclrc}, or if that doesn't exist to
356 @file{/etc/sbclrc}. Can be overridden with the command line option
357 @code{--sysinit} or @code{--no-sysinit} (@pxref{Toplevel Options}).
359 The system initialization file is intended for system administrators
360 and software packagers to configure locations of installed third party
361 modules, etc.
363 @item User Initialization File
364 Defaults to @file{@env{$HOME}/.sbclrc}. Can be overridden with the
365 command line option @code{--userinit} or @code{--no-userinit}
366 (@pxref{Toplevel Options}).
368 The user initialization file is intended for personal customizations,
369 such as loading certain modules at startup, defining convenience
370 functions to use in the REPL, handling automatic recompilation
371 of FASLs (@pxref{FASL Format}), etc.
373 @end table
375 Neither initialization file is required.
377 @node Initialization and Exit Hooks
378 @comment  node-name,  next,  previous,  up
379 @section Initialization and Exit Hooks
381 SBCL provides hooks into the system initialization and exit.
383 @include var-sb-ext-star-init-hooks-star.texinfo
384 @include var-sb-ext-star-exit-hooks-star.texinfo