getf: Correct docstring.
[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 In cases where the standard initialization files have already been loaded
136 into the saved core, and alternative ones should be used (or none at all),
137 SBCL allows customizing the initfile pathname computation.
138
139 @include var-sb-ext-star-sysinit-pathname-function-star.texinfo
140 @include var-sb-ext-star-userinit-pathname-function-star.texinfo
141
142 To facilitate distribution of SBCL applications using external
143 resources, the filesystem location of the SBCL core file being used is
144 available from Lisp.
145
146 @include var-sb-ext-star-core-pathname-star.texinfo
147
148 @node Exit on Errors
149 @comment  node-name,  next,  previous,  up
150 @subsection Exit on Errors
151
152 SBCL can also be configured to exit if an unhandled error occurs,
153 which is mainly useful for acting as part of a shell pipeline; doing
154 so under most other circumstances would mean giving up large parts of
155 the flexibility and robustness of Common Lisp. See @ref{Debugger Entry}.
156
157 @node Command Line Options
158 @comment  node-name,  next,  previous,  up
159 @section Command Line Options
160
161 @c FIXME: This is essentially cut-and-paste from the manpage
162 @c What should probably be done is generate both this and the
163 @c man-page from ``sbcl --help'' output.
164
165 Command line options can be considered an advanced topic; for ordinary
166 interactive use, no command line arguments should be necessary.
167
168 In order to understand the command line argument syntax for SBCL, it
169 is helpful to understand that the SBCL system is implemented as two
170 components, a low-level runtime environment written in C and a
171 higher-level system written in Common Lisp itself. Some command line
172 arguments are processed during the initialization of the low-level
173 runtime environment, some command line arguments are processed during
174 the initialization of the Common Lisp system, and any remaining
175 command line arguments are passed on to user code.
176
177 The full, unambiguous syntax for invoking SBCL at the command line is:
178
179 @command{sbcl} @var{runtime-option}* @code{--end-runtime-options} @var{toplevel-option}* @code{--end-toplevel-options} @var{user-options}*
180
181 For convenience, the @code{--end-runtime-options} and
182 @code{--end-toplevel-options} elements can be omitted. Omitting these
183 elements can be convenient when you are running the program
184 interactively, and you can see that no ambiguities are possible with
185 the option values you are using. Omitting these elements is probably a
186 bad idea for any batch file where any of the options are under user
187 control, since it makes it impossible for SBCL to detect erroneous
188 command line input, so that erroneous command line arguments will be
189 passed on to the user program even if they was intended for the
190 runtime system or the Lisp system.
191
192 @menu
193 * Runtime Options::             
194 * Toplevel Options::            
195 @end menu
196
197 @node Runtime Options
198 @comment  node-name,  next,  previous,  up
199 @subsection Runtime Options
200
201 @table @code
202
203 @item --core @var{corefilename}
204 Run the specified Lisp core file instead of the default. Note that if
205 the Lisp core file is a user-created core file, it may run a
206 nonstandard toplevel which does not recognize the standard toplevel
207 options.
208
209 @item --dynamic-space-size @var{megabytes}
210 Size of the dynamic space reserved on startup in megabytes. Default
211 value is platform dependent.
212
213 @item --control-stack-size @var{megabytes}
214 Size of control stack reserved for each thread in megabytes. Default
215 value is 2.
216
217 @item --noinform
218 Suppress the printing of any banner or other informational message at
219 startup. This makes it easier to write Lisp programs which work
220 cleanly in Unix pipelines. See also the @code{--noprint} and
221 @code{--disable-debugger} options.
222
223 @item --disable-ldb
224 @cindex ldb
225 @cindex ldb, disabling
226 @cindex disabling ldb
227 Disable the low-level debugger. Only effective if SBCL is compiled
228 with LDB.
229
230 @item --lose-on-corruption
231 @cindex ldb
232 There are some dangerous low level errors (for instance, control stack
233 exhausted, memory fault) that (or whose handlers) can corrupt the
234 image. By default SBCL prints a warning, then tries to continue and
235 handle the error in Lisp, but this will not always work and SBCL may
236 malfunction or even hang. With this option, upon encountering such an
237 error SBCL will invoke ldb (if present and enabled) or else exit.
238
239
240 @item --script @var{filename}
241 As a runtime option this is equivalent to @code{--noinform}
242 @code{--disable-ldb} @code{--lose-on-corruption}
243 @code{--end-runtime-options} @code{--script} @var{filename}. See the
244 description of @code{--script} as a toplevel option below. If there
245 are no other commandline arguments following @code{--script}, the
246 filename argument can be omitted.
247
248
249 @item --merge-core-pages
250 When platform support is present, provide hints to the operating system
251 that identical pages may be shared between processes until they are
252 written to.  This can be useful to reduce the memory usage on systems
253 with multiple SBCL processes started from similar but differently-named
254 core files, or from compressed cores.  Without platform support, do
255 nothing.
256
257
258 @item --no-merge-core-pages
259 Ensures that no sharing hint is provided to the operating system.
260
261
262 @item --default-merge-core-pages
263 Reverts the sharing hint policy to the default: only compressed cores
264 trigger hinting.  Uncompressed cores are mapped directly from the core
265 file, which is usually enough to ensure sharing.
266
267
268 @item --help
269 Print some basic information about SBCL, then exit.
270
271 @item --version
272 Print SBCL's version information, then exit.
273
274 @end table
275
276 In the future, runtime options may be added to control behaviour such
277 as lazy allocation of memory.
278
279 Runtime options, including any --end-runtime-options option, are
280 stripped out of the command line before the Lisp toplevel logic gets a
281 chance to see it.
282
283 @node Toplevel Options
284 @comment  node-name,  next,  previous,  up
285 @subsection Toplevel Options
286
287 @table @code
288
289 @item --sysinit @var{filename}
290 Load filename instead of the default system initialization file
291 (@pxref{Initialization Files}.)
292
293 @item --no-sysinit
294 Don't load a system-wide initialization file.  If this option is given,
295 the @code{--sysinit} option is ignored.
296
297 @item --userinit @var{filename}
298 Load filename instead of the default user initialization file
299 (@pxref{Initialization Files}.)
300
301 @item --no-userinit
302 Don't load a user initialization file.  If this option is given,
303 the @code{--userinit} option is ignored.
304
305 @item --eval @var{command}
306 After executing any initialization file, but before starting the
307 read-eval-print loop on standard input, read and evaluate the command
308 given. More than one @code{--eval} option can be used, and all will be
309 read and executed, in the order they appear on the command line.
310
311 @item --load @var{filename}
312 This is equivalent to @code{--eval '(load "@var{filename}")'}. The
313 special syntax is intended to reduce quoting headaches when invoking
314 SBCL from shell scripts.
315
316 @item --noprint
317 When ordinarily the toplevel "read-eval-print loop" would be exe-
318 cuted, execute a "read-eval loop" instead, i.e. don't print a prompt
319 and don't echo results. Combined with the @code{--noinform} runtime
320 option, this makes it easier to write Lisp "scripts" which work
321 cleanly in Unix pipelines.
322
323 @item --disable-debugger
324 By default when SBCL encounters an error, it enters the builtin
325 debugger, allowing interactive diagnosis and possible intercession.
326 This option disables the debugger, causing errors to print a backtrace
327 and exit with status 1 instead. When given, this option takes effect
328 before loading of initialization files or processing @code{--eval} and
329 @code{--load} options. See @code{sb-ext:disable-debugger} for details.
330 @xref{Debugger Entry}.
331
332 @item --script @var{filename}
333 Implies @code{--no-userinit} @code{--no-sysinit}
334 @code{--disable-debugger} @code{--end-toplevel-options}.
335
336 Causes the system to load the specified file instead of entering the
337 read-eval-print-loop, and exit afterwards. If the file begins with a
338 shebang line, it is ignored.
339
340 If there are no other command line arguments following, the filename
341 can be omitted: this causes the script to be loaded from standard
342 input instead. Shebang lines in standard input script are currently
343 @emph{not} ignored.
344
345 In either case, if there is an unhandled error (eg. end of file, or a
346 broken pipe) on either standard input, standard output, or standard
347 error, the script silently exits with code 0. This allows eg. safely
348 piping output from SBCL to @code{head -n1} or similar.
349
350 @end table
351
352 @node Initialization Files
353 @comment  node-name,  next,  previous,  up
354 @section Initialization Files
355
356 SBCL processes initialization files with @code{read} and @code{eval},
357 not @code{load}; hence initialization files can be used to set startup
358 @code{*package*} and @code{*readtable*}, and for proclaiming a global
359 optimization policy.
360
361 @itemize @w{}
362 @item
363 @strong{System Initialization File}
364
365 Defaults to @file{@env{$SBCL_HOME}/sbclrc}, or if that doesn't exist to
366 @file{/etc/sbclrc}. Can be overridden with the command line option
367 @code{--sysinit} or @code{--no-sysinit}.
368
369 The system initialization file is intended for system administrators
370 and software packagers to configure locations of installed third party
371 modules, etc.
372
373 @item
374 @strong{User Initialization File}
375
376 Defaults to @file{@env{$HOME}/.sbclrc}. Can be overridden with the
377 command line option @code{--userinit} or @code{--no-userinit}.
378
379 The user initialization file is intended for personal customizations,
380 such as loading certain modules at startup, defining convenience
381 functions to use in the REPL, handling automatic recompilation
382 of FASLs (@pxref{FASL Format}), etc.
383
384 @end itemize
385
386 Neither initialization file is required.
387
388 @node Initialization and Exit Hooks
389 @comment  node-name,  next,  previous,  up
390 @section Initialization and Exit Hooks
391
392 SBCL provides hooks into the system initialization and exit.
393
394 @include var-sb-ext-star-init-hooks-star.texinfo
395 @include var-sb-ext-star-exit-hooks-star.texinfo
396