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