]> code.delx.au - gnu-emacs/blob - lispref/files.texi
Minor cleanups for overfull hboxes.
[gnu-emacs] / lispref / files.texi
1 @c -*-texinfo-*-
2 @c This is part of the GNU Emacs Lisp Reference Manual.
3 @c Copyright (C) 1990, 1991, 1992, 1993, 1994 Free Software Foundation, Inc.
4 @c See the file elisp.texi for copying conditions.
5 @setfilename ../info/files
6 @node Files, Backups and Auto-Saving, Documentation, Top
7 @comment node-name, next, previous, up
8 @chapter Files
9
10 In Emacs, you can find, create, view, save, and otherwise work with
11 files and file directories. This chapter describes most of the
12 file-related functions of Emacs Lisp, but a few others are described in
13 @ref{Buffers}, and those related to backups and auto-saving are
14 described in @ref{Backups and Auto-Saving}.
15
16 Many of the file functions take one or more arguments that are file
17 names. A file name is actually a string. Most of these functions
18 expand file name arguments using @code{expand-file-name}, so that
19 @file{~} is handled correctly, as are relative file names (including
20 @samp{../}). These functions don't recognize environment variable
21 substitutions such as @samp{$HOME}. @xref{File Name Expansion}.
22
23 @menu
24 * Visiting Files:: Reading files into Emacs buffers for editing.
25 * Saving Buffers:: Writing changed buffers back into files.
26 * Reading from Files:: Reading files into buffers without visiting.
27 * Writing to Files:: Writing new files from parts of buffers.
28 * File Locks:: Locking and unlocking files, to prevent
29 simultaneous editing by two people.
30 * Information about Files:: Testing existence, accessibility, size of files.
31 * Changing File Attributes:: Renaming files, changing protection, etc.
32 * File Names:: Decomposing and expanding file names.
33 * Contents of Directories:: Getting a list of the files in a directory.
34 * Create/Delete Dirs:: Creating and Deleting Directories.
35 * Magic File Names:: Defining "magic" special handling
36 for certain file names.
37 * Format Conversion:: Conversion to and from various file formats.
38 * Files and MS-DOS:: Distinguishing text and binary files on MS-DOS.
39 @end menu
40
41 @node Visiting Files
42 @section Visiting Files
43 @cindex finding files
44 @cindex visiting files
45
46 Visiting a file means reading a file into a buffer. Once this is
47 done, we say that the buffer is @dfn{visiting} that file, and call the
48 file ``the visited file'' of the buffer.
49
50 A file and a buffer are two different things. A file is information
51 recorded permanently in the computer (unless you delete it). A buffer,
52 on the other hand, is information inside of Emacs that will vanish at
53 the end of the editing session (or when you kill the buffer). Usually,
54 a buffer contains information that you have copied from a file; then we
55 say the buffer is visiting that file. The copy in the buffer is what
56 you modify with editing commands. Such changes to the buffer do not
57 change the file; therefore, to make the changes permanent, you must
58 @dfn{save} the buffer, which means copying the altered buffer contents
59 back into the file.
60
61 In spite of the distinction between files and buffers, people often
62 refer to a file when they mean a buffer and vice-versa. Indeed, we say,
63 ``I am editing a file,'' rather than, ``I am editing a buffer that I
64 will soon save as a file of the same name.'' Humans do not usually need
65 to make the distinction explicit. When dealing with a computer program,
66 however, it is good to keep the distinction in mind.
67
68 @menu
69 * Visiting Functions:: The usual interface functions for visiting.
70 * Subroutines of Visiting:: Lower-level subroutines that they use.
71 @end menu
72
73 @node Visiting Functions
74 @subsection Functions for Visiting Files
75
76 This section describes the functions normally used to visit files.
77 For historical reasons, these functions have names starting with
78 @samp{find-} rather than @samp{visit-}. @xref{Buffer File Name}, for
79 functions and variables that access the visited file name of a buffer or
80 that find an existing buffer by its visited file name.
81
82 In a Lisp program, if you want to look at the contents of a file but
83 not alter it, the fastest way is to use @code{insert-file-contents} in a
84 temporary buffer. Visiting the file is not necessary and takes longer.
85 @xref{Reading from Files}.
86
87 @deffn Command find-file filename
88 This command selects a buffer visiting the file @var{filename},
89 using an existing buffer if there is one, and otherwise creating a
90 new buffer and reading the file into it. It also returns that buffer.
91
92 The body of the @code{find-file} function is very simple and looks
93 like this:
94
95 @example
96 (switch-to-buffer (find-file-noselect filename))
97 @end example
98
99 @noindent
100 (See @code{switch-to-buffer} in @ref{Displaying Buffers}.)
101
102 When @code{find-file} is called interactively, it prompts for
103 @var{filename} in the minibuffer.
104 @end deffn
105
106 @defun find-file-noselect filename
107 This function is the guts of all the file-visiting functions. It finds
108 or creates a buffer visiting the file @var{filename}, and returns it.
109 It uses an existing buffer if there is one, and otherwise creates a new
110 buffer and reads the file into it. You may make the buffer current or
111 display it in a window if you wish, but this function does not do so.
112
113 When @code{find-file-noselect} uses an existing buffer, it first
114 verifies that the file has not changed since it was last visited or
115 saved in that buffer. If the file has changed, then this function asks
116 the user whether to reread the changed file. If the user says
117 @samp{yes}, any changes previously made in the buffer are lost.
118
119 If @code{find-file-noselect} needs to create a buffer, and there is no
120 file named @var{filename}, it displays the message @samp{New file} in
121 the echo area, and leaves the buffer empty.
122
123 The @code{find-file-noselect} function calls @code{after-find-file}
124 after reading the file (@pxref{Subroutines of Visiting}). That function
125 sets the buffer major mode, parses local variables, warns the user if
126 there exists an auto-save file more recent than the file just visited,
127 and finishes by running the functions in @code{find-file-hooks}.
128
129 The @code{find-file-noselect} function returns the buffer that is
130 visiting the file @var{filename}.
131
132 @example
133 @group
134 (find-file-noselect "/etc/fstab")
135 @result{} #<buffer fstab>
136 @end group
137 @end example
138 @end defun
139
140 @deffn Command find-file-other-window filename
141 This command selects a buffer visiting the file @var{filename}, but
142 does so in a window other than the selected window. It may use another
143 existing window or split a window; see @ref{Displaying Buffers}.
144
145 When this command is called interactively, it prompts for
146 @var{filename}.
147 @end deffn
148
149 @deffn Command find-file-read-only filename
150 This command selects a buffer visiting the file @var{filename}, like
151 @code{find-file}, but it marks the buffer as read-only. @xref{Read Only
152 Buffers}, for related functions and variables.
153
154 When this command is called interactively, it prompts for
155 @var{filename}.
156 @end deffn
157
158 @deffn Command view-file filename
159 This command visits @var{filename} in View mode, and displays it in a
160 recursive edit, returning to the previous buffer when done. View mode
161 is a mode that allows you to skim rapidly through the file but does not
162 let you modify it. Entering View mode runs the normal hook
163 @code{view-mode-hook}. @xref{Hooks}.
164
165 When @code{view-file} is called interactively, it prompts for
166 @var{filename}.
167 @end deffn
168
169 @defvar find-file-hooks
170 The value of this variable is a list of functions to be called after a
171 file is visited. The file's local-variables specification (if any) will
172 have been processed before the hooks are run. The buffer visiting the
173 file is current when the hook functions are run.
174
175 This variable works just like a normal hook, but we think that renaming
176 it would not be advisable.
177 @end defvar
178
179 @defvar find-file-not-found-hooks
180 The value of this variable is a list of functions to be called when
181 @code{find-file} or @code{find-file-noselect} is passed a nonexistent
182 file name. @code{find-file-noselect} calls these functions as soon as
183 it detects a nonexistent file. It calls them in the order of the list,
184 until one of them returns non-@code{nil}. @code{buffer-file-name} is
185 already set up.
186
187 This is not a normal hook because the values of the functions are
188 used and they may not all be called.
189 @end defvar
190
191 @node Subroutines of Visiting
192 @comment node-name, next, previous, up
193 @subsection Subroutines of Visiting
194
195 The @code{find-file-noselect} function uses the
196 @code{create-file-buffer} and @code{after-find-file} functions as
197 subroutines. Sometimes it is useful to call them directly.
198
199 @defun create-file-buffer filename
200 This function creates a suitably named buffer for visiting
201 @var{filename}, and returns it. It uses @var{filename} (sans directory)
202 as the name if that name is free; otherwise, it appends a string such as
203 @samp{<2>} to get an unused name. See also @ref{Creating Buffers}.
204
205 @strong{Please note:} @code{create-file-buffer} does @emph{not}
206 associate the new buffer with a file and does not select the buffer.
207 It also does not use the default major mode.
208
209 @example
210 @group
211 (create-file-buffer "foo")
212 @result{} #<buffer foo>
213 @end group
214 @group
215 (create-file-buffer "foo")
216 @result{} #<buffer foo<2>>
217 @end group
218 @group
219 (create-file-buffer "foo")
220 @result{} #<buffer foo<3>>
221 @end group
222 @end example
223
224 This function is used by @code{find-file-noselect}.
225 It uses @code{generate-new-buffer} (@pxref{Creating Buffers}).
226 @end defun
227
228 @defun after-find-file &optional error warn
229 This function sets the buffer major mode, and parses local variables
230 (@pxref{Auto Major Mode}). It is called by @code{find-file-noselect}
231 and by the default revert function (@pxref{Reverting}).
232
233 @cindex new file message
234 @cindex file open error
235 If reading the file got an error because the file does not exist, but
236 its directory does exist, the caller should pass a non-@code{nil} value
237 for @var{error}. In that case, @code{after-find-file} issues a warning:
238 @samp{(New File)}. For more serious errors, the caller should usually not
239 call @code{after-find-file}.
240
241 If @var{warn} is non-@code{nil}, then this function issues a warning
242 if an auto-save file exists and is more recent than the visited file.
243
244 The last thing @code{after-find-file} does is call all the functions
245 in @code{find-file-hooks}.
246 @end defun
247
248 @node Saving Buffers
249 @section Saving Buffers
250
251 When you edit a file in Emacs, you are actually working on a buffer
252 that is visiting that file---that is, the contents of the file are
253 copied into the buffer and the copy is what you edit. Changes to the
254 buffer do not change the file until you @dfn{save} the buffer, which
255 means copying the contents of the buffer into the file.
256
257 @deffn Command save-buffer &optional backup-option
258 This function saves the contents of the current buffer in its visited
259 file if the buffer has been modified since it was last visited or saved.
260 Otherwise it does nothing.
261
262 @code{save-buffer} is responsible for making backup files. Normally,
263 @var{backup-option} is @code{nil}, and @code{save-buffer} makes a backup
264 file only if this is the first save since visiting the file. Other
265 values for @var{backup-option} request the making of backup files in
266 other circumstances:
267
268 @itemize @bullet
269 @item
270 With an argument of 4 or 64, reflecting 1 or 3 @kbd{C-u}'s, the
271 @code{save-buffer} function marks this version of the file to be
272 backed up when the buffer is next saved.
273
274 @item
275 With an argument of 16 or 64, reflecting 2 or 3 @kbd{C-u}'s, the
276 @code{save-buffer} function unconditionally backs up the previous
277 version of the file before saving it.
278 @end itemize
279 @end deffn
280
281 @deffn Command save-some-buffers &optional save-silently-p exiting
282 This command saves some modified file-visiting buffers. Normally it
283 asks the user about each buffer. But if @var{save-silently-p} is
284 non-@code{nil}, it saves all the file-visiting buffers without querying
285 the user.
286
287 The optional @var{exiting} argument, if non-@code{nil}, requests this
288 function to offer also to save certain other buffers that are not
289 visiting files. These are buffers that have a non-@code{nil} local
290 value of @code{buffer-offer-save}. (A user who says yes to saving one
291 of these is asked to specify a file name to use.) The
292 @code{save-buffers-kill-emacs} function passes a non-@code{nil} value
293 for this argument.
294 @end deffn
295
296 @defvar buffer-offer-save
297 When this variable is non-@code{nil} in a buffer, Emacs offers to save
298 the buffer on exit even if the buffer is not visiting a file. The
299 variable is automatically local in all buffers. Normally, Mail mode
300 (used for editing outgoing mail) sets this to @code{t}.
301 @end defvar
302
303 @deffn Command write-file filename
304 This function writes the current buffer into file @var{filename}, makes
305 the buffer visit that file, and marks it not modified. Then it renames
306 the buffer based on @var{filename}, appending a string like @samp{<2>}
307 if necessary to make a unique buffer name. It does most of this work by
308 calling @code{set-visited-file-name} and @code{save-buffer}.
309 @end deffn
310
311 Saving a buffer runs several hooks. It also performs format
312 conversion (@pxref{Format Conversion}), and may save text properties in
313 ``annotations'' (@pxref{Saving Properties}).
314
315 @defvar write-file-hooks
316 The value of this variable is a list of functions to be called before
317 writing out a buffer to its visited file. If one of them returns
318 non-@code{nil}, the file is considered already written and the rest of
319 the functions are not called, nor is the usual code for writing the file
320 executed.
321
322 If a function in @code{write-file-hooks} returns non-@code{nil}, it
323 is responsible for making a backup file (if that is appropriate).
324 To do so, execute the following code:
325
326 @example
327 (or buffer-backed-up (backup-buffer))
328 @end example
329
330 You might wish to save the file modes value returned by
331 @code{backup-buffer} and use that to set the mode bits of the file that
332 you write. This is what @code{save-buffer} normally does.
333
334 Even though this is not a normal hook, you can use @code{add-hook} and
335 @code{remove-hook} to manipulate the list. @xref{Hooks}.
336 @end defvar
337
338 @c Emacs 19 feature
339 @defvar local-write-file-hooks
340 This works just like @code{write-file-hooks}, but it is intended
341 to be made local to particular buffers. It's not a good idea to make
342 @code{write-file-hooks} local to a buffer---use this variable instead.
343
344 The variable is marked as a permanent local, so that changing the major
345 mode does not alter a buffer-local value. This is convenient for
346 packages that read ``file'' contents in special ways, and set up hooks
347 to save the data in a corresponding way.
348 @end defvar
349
350 @c Emacs 19 feature
351 @defvar write-contents-hooks
352 This works just like @code{write-file-hooks}, but it is intended for
353 hooks that pertain to the contents of the file, as opposed to hooks that
354 pertain to where the file came from. Such hooks are usually set up by
355 major modes, as buffer-local bindings for this variable.
356
357 This variable automatically becomes buffer-local whenever it is set;
358 switching to a new major mode always resets this variable. When you use
359 @code{add-hooks} to add an element to this hook, you should @emph{not}
360 specify a non-@code{nil} @var{local} argument, since this variable is
361 used @emph{only} locally.
362 @end defvar
363
364 @c Emacs 19 feature
365 @defvar after-save-hook
366 This normal hook runs after a buffer has been saved in its visited file.
367 @end defvar
368
369 @defvar file-precious-flag
370 If this variable is non-@code{nil}, then @code{save-buffer} protects
371 against I/O errors while saving by writing the new file to a temporary
372 name instead of the name it is supposed to have, and then renaming it to
373 the intended name after it is clear there are no errors. This procedure
374 prevents problems such as a lack of disk space from resulting in an
375 invalid file.
376
377 As a side effect, backups are necessarily made by copying. @xref{Rename
378 or Copy}. Yet, at the same time, saving a precious file always breaks
379 all hard links between the file you save and other file names.
380
381 Some modes set this variable non-@code{nil} locally in particular
382 buffers.
383 @end defvar
384
385 @defopt require-final-newline
386 This variable determines whether files may be written out that do
387 @emph{not} end with a newline. If the value of the variable is
388 @code{t}, then @code{save-buffer} silently adds a newline at the end of
389 the file whenever the buffer being saved does not already end in one.
390 If the value of the variable is non-@code{nil}, but not @code{t}, then
391 @code{save-buffer} asks the user whether to add a newline each time the
392 case arises.
393
394 If the value of the variable is @code{nil}, then @code{save-buffer}
395 doesn't add newlines at all. @code{nil} is the default value, but a few
396 major modes set it to @code{t} in particular buffers.
397 @end defopt
398
399 @deffn Command set-visited-file-name filename &optional no-query
400 This function changes the visited file name of the current buffer to
401 @var{filename}. It also renames the buffer based on @var{filename},
402 appending a string like @samp{<2>} if necessary to make a unique buffer
403 name. It marks the buffer as @emph{modified},a since the contents do not
404 (as far as Emacs knows) match the actual file's contents.
405
406 If the specified file already exists, @code{set-visited-file-name}
407 asks for confirmation unless @var{no-query} is non-@code{nil}.
408 @end deffn
409
410 @node Reading from Files
411 @comment node-name, next, previous, up
412 @section Reading from Files
413
414 You can copy a file from the disk and insert it into a buffer
415 using the @code{insert-file-contents} function. Don't use the user-level
416 command @code{insert-file} in a Lisp program, as that sets the mark.
417
418 @defun insert-file-contents filename &optional visit beg end replace
419 This function inserts the contents of file @var{filename} into the
420 current buffer after point. It returns a list of the absolute file name
421 and the length of the data inserted. An error is signaled if
422 @var{filename} is not the name of a file that can be read.
423
424 The function @code{insert-file-contents} checks the file contents
425 against the defined file formats, and converts the file contents if
426 appropriate. @xref{Format Conversion}. It also calls the functions in
427 the list @code{after-insert-file-functions}; see @ref{Saving
428 Properties}.
429
430 If @var{visit} is non-@code{nil}, this function additionally marks the
431 buffer as unmodified and sets up various fields in the buffer so that it
432 is visiting the file @var{filename}: these include the buffer's visited
433 file name and its last save file modtime. This feature is used by
434 @code{find-file-noselect} and you probably should not use it yourself.
435
436 If @var{beg} and @var{end} are non-@code{nil}, they should be integers
437 specifying the portion of the file to insert. In this case, @var{visit}
438 must be @code{nil}. For example,
439
440 @example
441 (insert-file-contents filename nil 0 500)
442 @end example
443
444 @noindent
445 inserts the first 500 characters of a file.
446
447 If the argument @var{replace} is non-@code{nil}, it means to replace the
448 contents of the buffer (actually, just the accessible portion) with the
449 contents of the file. This is better than simply deleting the buffer
450 contents and inserting the whole file, because (1) it preserves some
451 marker positions and (2) it puts less data in the undo list.
452 @end defun
453
454 If you want to pass a file name to another process so that another
455 program can read the file, use the function @code{file-local-copy}; see
456 @ref{Magic File Names}.
457
458 @node Writing to Files
459 @comment node-name, next, previous, up
460 @section Writing to Files
461
462 You can write the contents of a buffer, or part of a buffer, directly
463 to a file on disk using the @code{append-to-file} and
464 @code{write-region} functions. Don't use these functions to write to
465 files that are being visited; that could cause confusion in the
466 mechanisms for visiting.
467
468 @deffn Command append-to-file start end filename
469 This function appends the contents of the region delimited by
470 @var{start} and @var{end} in the current buffer to the end of file
471 @var{filename}. If that file does not exist, it is created. This
472 function returns @code{nil}.
473
474 An error is signaled if @var{filename} specifies a nonwritable file,
475 or a nonexistent file in a directory where files cannot be created.
476 @end deffn
477
478 @deffn Command write-region start end filename &optional append visit
479 This function writes the region delimited by @var{start} and @var{end}
480 in the current buffer into the file specified by @var{filename}.
481
482 @c Emacs 19 feature
483 If @var{start} is a string, then @code{write-region} writes or appends
484 that string, rather than text from the buffer.
485
486 If @var{append} is non-@code{nil}, then the specified text is appended
487 to the existing file contents (if any).
488
489 If @var{visit} is @code{t}, then Emacs establishes an association
490 between the buffer and the file: the buffer is then visiting that file.
491 It also sets the last file modification time for the current buffer to
492 @var{filename}'s modtime, and marks the buffer as not modified. This
493 feature is used by @code{save-buffer}, but you probably should not use
494 it yourself.
495
496 @c Emacs 19 feature
497 If @var{visit} is a string, it specifies the file name to visit. This
498 way, you can write the data to one file (@var{filename}) while recording
499 the buffer as visiting another file (@var{visit}). The argument
500 @var{visit} is used in the echo area message and also for file locking;
501 @var{visit} is stored in @code{buffer-file-name}. This feature is used
502 to implement @code{file-precious-flag}; don't use it yourself unless you
503 really know what you're doing.
504
505 The function @code{write-region} converts the data which it writes to
506 the appropriate file formats specified by @code{buffer-file-format}.
507 @xref{Format Conversion}. It also calls the functions in the list
508 @code{write-region-annotate-functions}; see @ref{Saving Properties}.
509
510 Normally, @code{write-region} displays a message @samp{Wrote file
511 @var{filename}} in the echo area. If @var{visit} is neither @code{t}
512 nor @code{nil} nor a string, then this message is inhibited. This
513 feature is useful for programs that use files for internal purposes,
514 files that the user does not need to know about.
515 @end deffn
516
517 @node File Locks
518 @section File Locks
519 @cindex file locks
520
521 When two users edit the same file at the same time, they are likely to
522 interfere with each other. Emacs tries to prevent this situation from
523 arising by recording a @dfn{file lock} when a file is being modified.
524 Emacs can then detect the first attempt to modify a buffer visiting a
525 file that is locked by another Emacs job, and ask the user what to do.
526
527 File locks do not work properly when multiple machines can share
528 file systems, such as with NFS. Perhaps a better file locking system
529 will be implemented in the future. When file locks do not work, it is
530 possible for two users to make changes simultaneously, but Emacs can
531 still warn the user who saves second. Also, the detection of
532 modification of a buffer visiting a file changed on disk catches some
533 cases of simultaneous editing; see @ref{Modification Time}.
534
535 @defun file-locked-p filename
536 This function returns @code{nil} if the file @var{filename} is not
537 locked by this Emacs process. It returns @code{t} if it is locked by
538 this Emacs, and it returns the name of the user who has locked it if it
539 is locked by someone else.
540
541 @example
542 @group
543 (file-locked-p "foo")
544 @result{} nil
545 @end group
546 @end example
547 @end defun
548
549 @defun lock-buffer &optional filename
550 This function locks the file @var{filename}, if the current buffer is
551 modified. The argument @var{filename} defaults to the current buffer's
552 visited file. Nothing is done if the current buffer is not visiting a
553 file, or is not modified.
554 @end defun
555
556 @defun unlock-buffer
557 This function unlocks the file being visited in the current buffer,
558 if the buffer is modified. If the buffer is not modified, then
559 the file should not be locked, so this function does nothing. It also
560 does nothing if the current buffer is not visiting a file.
561 @end defun
562
563 @defun ask-user-about-lock file other-user
564 This function is called when the user tries to modify @var{file}, but it
565 is locked by another user named @var{other-user}. The value it returns
566 determines what happens next:
567
568 @itemize @bullet
569 @item
570 A value of @code{t} says to grab the lock on the file. Then
571 this user may edit the file and @var{other-user} loses the lock.
572
573 @item
574 A value of @code{nil} says to ignore the lock and let this
575 user edit the file anyway.
576
577 @item
578 @kindex file-locked
579 This function may instead signal a @code{file-locked} error, in which
580 case the change that the user was about to make does not take place.
581
582 The error message for this error looks like this:
583
584 @example
585 @error{} File is locked: @var{file} @var{other-user}
586 @end example
587
588 @noindent
589 where @code{file} is the name of the file and @var{other-user} is the
590 name of the user who has locked the file.
591 @end itemize
592
593 The default definition of this function asks the user to choose what
594 to do. If you wish, you can replace the @code{ask-user-about-lock}
595 function with your own version that decides in another way. The code
596 for its usual definition is in @file{userlock.el}.
597 @end defun
598
599 @node Information about Files
600 @section Information about Files
601
602 The functions described in this section all operate on strings that
603 designate file names. All the functions have names that begin with the
604 word @samp{file}. These functions all return information about actual
605 files or directories, so their arguments must all exist as actual files
606 or directories unless otherwise noted.
607
608 @menu
609 * Testing Accessibility:: Is a given file readable? Writable?
610 * Kinds of Files:: Is it a directory? A symbolic link?
611 * Truenames:: Eliminating symbolic links from a file name.
612 * File Attributes:: How large is it? Any other names? Etc.
613 @end menu
614
615 @node Testing Accessibility
616 @comment node-name, next, previous, up
617 @subsection Testing Accessibility
618 @cindex accessibility of a file
619 @cindex file accessibility
620
621 These functions test for permission to access a file in specific ways.
622
623 @defun file-exists-p filename
624 This function returns @code{t} if a file named @var{filename} appears
625 to exist. This does not mean you can necessarily read the file, only
626 that you can find out its attributes. (On Unix, this is true if the
627 file exists and you have execute permission on the containing
628 directories, regardless of the protection of the file itself.)
629
630 If the file does not exist, or if fascist access control policies
631 prevent you from finding the attributes of the file, this function
632 returns @code{nil}.
633 @end defun
634
635 @defun file-readable-p filename
636 This function returns @code{t} if a file named @var{filename} exists
637 and you can read it. It returns @code{nil} otherwise.
638
639 @example
640 @group
641 (file-readable-p "files.texi")
642 @result{} t
643 @end group
644 @group
645 (file-exists-p "/usr/spool/mqueue")
646 @result{} t
647 @end group
648 @group
649 (file-readable-p "/usr/spool/mqueue")
650 @result{} nil
651 @end group
652 @end example
653 @end defun
654
655 @c Emacs 19 feature
656 @defun file-executable-p filename
657 This function returns @code{t} if a file named @var{filename} exists and
658 you can execute it. It returns @code{nil} otherwise. If the file is a
659 directory, execute permission means you can check the existence and
660 attributes of files inside the directory, and open those files if their
661 modes permit.
662 @end defun
663
664 @defun file-writable-p filename
665 This function returns @code{t} if the file @var{filename} can be written
666 or created by you, and @code{nil} otherwise. A file is writable if the
667 file exists and you can write it. It is creatable if it does not exist,
668 but the specified directory does exist and you can write in that
669 directory.
670
671 In the third example below, @file{foo} is not writable because the
672 parent directory does not exist, even though the user could create such
673 a directory.
674
675 @example
676 @group
677 (file-writable-p "~/foo")
678 @result{} t
679 @end group
680 @group
681 (file-writable-p "/foo")
682 @result{} nil
683 @end group
684 @group
685 (file-writable-p "~/no-such-dir/foo")
686 @result{} nil
687 @end group
688 @end example
689 @end defun
690
691 @c Emacs 19 feature
692 @defun file-accessible-directory-p dirname
693 This function returns @code{t} if you have permission to open existing
694 files in the directory whose name as a file is @var{dirname}; otherwise
695 (or if there is no such directory), it returns @code{nil}. The value
696 of @var{dirname} may be either a directory name or the file name of a
697 directory.
698
699 Example: after the following,
700
701 @example
702 (file-accessible-directory-p "/foo")
703 @result{} nil
704 @end example
705
706 @noindent
707 we can deduce that any attempt to read a file in @file{/foo/} will
708 give an error.
709 @end defun
710
711 @defun file-ownership-preserved-p filename
712 This function returns @code{t} if deleting the file @var{filename} and
713 then creating it anew would keep the file's owner unchanged.
714 @end defun
715
716 @defun file-newer-than-file-p filename1 filename2
717 @cindex file age
718 @cindex file modification time
719 This function returns @code{t} if the file @var{filename1} is
720 newer than file @var{filename2}. If @var{filename1} does not
721 exist, it returns @code{nil}. If @var{filename2} does not exist,
722 it returns @code{t}.
723
724 In the following example, assume that the file @file{aug-19} was written
725 on the 19th, @file{aug-20} was written on the 20th, and the file
726 @file{no-file} doesn't exist at all.
727
728 @example
729 @group
730 (file-newer-than-file-p "aug-19" "aug-20")
731 @result{} nil
732 @end group
733 @group
734 (file-newer-than-file-p "aug-20" "aug-19")
735 @result{} t
736 @end group
737 @group
738 (file-newer-than-file-p "aug-19" "no-file")
739 @result{} t
740 @end group
741 @group
742 (file-newer-than-file-p "no-file" "aug-19")
743 @result{} nil
744 @end group
745 @end example
746
747 You can use @code{file-attributes} to get a file's last modification
748 time as a list of two numbers. @xref{File Attributes}.
749 @end defun
750
751 @node Kinds of Files
752 @comment node-name, next, previous, up
753 @subsection Distinguishing Kinds of Files
754
755 This section describes how to distinguish various kinds of files, such
756 as directories, symbolic links, and ordinary files.
757
758 @defun file-symlink-p filename
759 @cindex file symbolic links
760 If the file @var{filename} is a symbolic link, the @code{file-symlink-p}
761 function returns the file name to which it is linked. This may be the
762 name of a text file, a directory, or even another symbolic link, or it
763 may be a nonexistent file name.
764
765 If the file @var{filename} is not a symbolic link (or there is no such file),
766 @code{file-symlink-p} returns @code{nil}.
767
768 @example
769 @group
770 (file-symlink-p "foo")
771 @result{} nil
772 @end group
773 @group
774 (file-symlink-p "sym-link")
775 @result{} "foo"
776 @end group
777 @group
778 (file-symlink-p "sym-link2")
779 @result{} "sym-link"
780 @end group
781 @group
782 (file-symlink-p "/bin")
783 @result{} "/pub/bin"
784 @end group
785 @end example
786
787 @c !!! file-symlink-p: should show output of ls -l for comparison
788 @end defun
789
790 @defun file-directory-p filename
791 This function returns @code{t} if @var{filename} is the name of an
792 existing directory, @code{nil} otherwise.
793
794 @example
795 @group
796 (file-directory-p "~rms")
797 @result{} t
798 @end group
799 @group
800 (file-directory-p "~rms/lewis/files.texi")
801 @result{} nil
802 @end group
803 @group
804 (file-directory-p "~rms/lewis/no-such-file")
805 @result{} nil
806 @end group
807 @group
808 (file-directory-p "$HOME")
809 @result{} nil
810 @end group
811 @group
812 (file-directory-p
813 (substitute-in-file-name "$HOME"))
814 @result{} t
815 @end group
816 @end example
817 @end defun
818
819 @defun file-regular-p filename
820 This function returns @code{t} if the file @var{filename} exists and is
821 a regular file (not a directory, symbolic link, named pipe, terminal, or
822 other I/O device).
823 @end defun
824
825 @node Truenames
826 @subsection Truenames
827 @cindex truename (of file)
828
829 @c Emacs 19 features
830 The @dfn{truename} of a file is the name that you get by following
831 symbolic links until none remain, then expanding to get rid of @samp{.}
832 and @samp{..} as components. Strictly speaking, a file need not have a
833 unique truename; the number of distinct truenames a file has is equal to
834 the number of hard links to the file. However, truenames are useful
835 because they eliminate symbolic links as a cause of name variation.
836
837 @defun file-truename filename
838 The function @code{file-truename} returns the true name of the file
839 @var{filename}. This is the name that you get by following symbolic
840 links until none remain. The argument must be an absolute file name.
841 @end defun
842
843 @xref{Buffer File Name}, for related information.
844
845 @node File Attributes
846 @comment node-name, next, previous, up
847 @subsection Other Information about Files
848
849 This section describes the functions for getting detailed information
850 about a file, other than its contents. This information includes the
851 mode bits that control access permission, the owner and group numbers,
852 the number of names, the inode number, the size, and the times of access
853 and modification.
854
855 @defun file-modes filename
856 @cindex permission
857 @cindex file attributes
858 This function returns the mode bits of @var{filename}, as an integer.
859 The mode bits are also called the file permissions, and they specify
860 access control in the usual Unix fashion. If the low-order bit is 1,
861 then the file is executable by all users, if the second-lowest-order bit
862 is 1, then the file is writable by all users, etc.
863
864 The highest value returnable is 4095 (7777 octal), meaning that
865 everyone has read, write, and execute permission, that the @sc{suid} bit
866 is set for both others and group, and that the sticky bit is set.
867
868 @example
869 @group
870 (file-modes "~/junk/diffs")
871 @result{} 492 ; @r{Decimal integer.}
872 @end group
873 @group
874 (format "%o" 492)
875 @result{} "754" ; @r{Convert to octal.}
876 @end group
877
878 @group
879 (set-file-modes "~/junk/diffs" 438)
880 @result{} nil
881 @end group
882
883 @group
884 (format "%o" 438)
885 @result{} "666" ; @r{Convert to octal.}
886 @end group
887
888 @group
889 % ls -l diffs
890 -rw-rw-rw- 1 lewis 0 3063 Oct 30 16:00 diffs
891 @end group
892 @end example
893 @end defun
894
895 @defun file-nlinks filename
896 This functions returns the number of names (i.e., hard links) that
897 file @var{filename} has. If the file does not exist, then this function
898 returns @code{nil}. Note that symbolic links have no effect on this
899 function, because they are not considered to be names of the files they
900 link to.
901
902 @example
903 @group
904 % ls -l foo*
905 -rw-rw-rw- 2 rms 4 Aug 19 01:27 foo
906 -rw-rw-rw- 2 rms 4 Aug 19 01:27 foo1
907 @end group
908
909 @group
910 (file-nlinks "foo")
911 @result{} 2
912 @end group
913 @group
914 (file-nlinks "doesnt-exist")
915 @result{} nil
916 @end group
917 @end example
918 @end defun
919
920 @defun file-attributes filename
921 This function returns a list of attributes of file @var{filename}. If
922 the specified file cannot be opened, it returns @code{nil}.
923
924 The elements of the list, in order, are:
925
926 @enumerate 0
927 @item
928 @code{t} for a directory, a string for a symbolic link (the name
929 linked to), or @code{nil} for a text file.
930
931 @c Wordy so as to prevent an overfull hbox. --rjc 15mar92
932 @item
933 The number of names the file has. Alternate names, also known as hard
934 links, can be created by using the @code{add-name-to-file} function
935 (@pxref{Changing File Attributes}).
936
937 @item
938 The file's @sc{uid}.
939
940 @item
941 The file's @sc{gid}.
942
943 @item
944 The time of last access, as a list of two integers.
945 The first integer has the high-order 16 bits of time,
946 the second has the low 16 bits. (This is similar to the
947 value of @code{current-time}; see @ref{Time of Day}.)
948
949 @item
950 The time of last modification as a list of two integers (as above).
951
952 @item
953 The time of last status change as a list of two integers (as above).
954
955 @item
956 The size of the file in bytes.
957
958 @item
959 The file's modes, as a string of ten letters or dashes,
960 as in @samp{ls -l}.
961
962 @item
963 @code{t} if the file's @sc{gid} would change if file were
964 deleted and recreated; @code{nil} otherwise.
965
966 @item
967 The file's inode number.
968
969 @item
970 The file system number of the file system that the file is in. This
971 element and the file's inode number together give enough information to
972 distinguish any two files on the system---no two files can have the same
973 values for both of these numbers.
974 @end enumerate
975
976 For example, here are the file attributes for @file{files.texi}:
977
978 @example
979 @group
980 (file-attributes "files.texi")
981 @result{} (nil
982 1
983 2235
984 75
985 (8489 20284)
986 (8489 20284)
987 (8489 20285)
988 14906
989 "-rw-rw-rw-"
990 nil
991 129500
992 -32252)
993 @end group
994 @end example
995
996 @noindent
997 and here is how the result is interpreted:
998
999 @table @code
1000 @item nil
1001 is neither a directory nor a symbolic link.
1002
1003 @item 1
1004 has only one name (the name @file{files.texi} in the current default
1005 directory).
1006
1007 @item 2235
1008 is owned by the user with @sc{uid} 2235.
1009
1010 @item 75
1011 is in the group with @sc{gid} 75.
1012
1013 @item (8489 20284)
1014 was last accessed on Aug 19 00:09.
1015
1016 @item (8489 20284)
1017 was last modified on Aug 19 00:09.
1018
1019 @item (8489 20285)
1020 last had its inode changed on Aug 19 00:09.
1021
1022 @item 14906
1023 is 14906 characters long.
1024
1025 @item "-rw-rw-rw-"
1026 has a mode of read and write access for the owner, group, and world.
1027
1028 @item nil
1029 would retain the same @sc{gid} if it were recreated.
1030
1031 @item 129500
1032 has an inode number of 129500.
1033 @item -32252
1034 is on file system number -32252.
1035 @end table
1036 @end defun
1037
1038 @node Changing File Attributes
1039 @section Changing File Names and Attributes
1040 @cindex renaming files
1041 @cindex copying files
1042 @cindex deleting files
1043 @cindex linking files
1044 @cindex setting modes of files
1045
1046 The functions in this section rename, copy, delete, link, and set the
1047 modes of files.
1048
1049 In the functions that have an argument @var{newname}, if a file by the
1050 name of @var{newname} already exists, the actions taken depend on the
1051 value of the argument @var{ok-if-already-exists}:
1052
1053 @itemize @bullet
1054 @item
1055 Signal a @code{file-already-exists} error if
1056 @var{ok-if-already-exists} is @code{nil}.
1057
1058 @item
1059 Request confirmation if @var{ok-if-already-exists} is a number.
1060
1061 @item
1062 Replace the old file without confirmation if @var{ok-if-already-exists}
1063 is any other value.
1064 @end itemize
1065
1066 @defun add-name-to-file oldname newname &optional ok-if-already-exists
1067 @cindex file with multiple names
1068 @cindex file hard link
1069 This function gives the file named @var{oldname} the additional name
1070 @var{newname}. This means that @var{newname} becomes a new ``hard
1071 link'' to @var{oldname}.
1072
1073 In the first part of the following example, we list two files,
1074 @file{foo} and @file{foo3}.
1075
1076 @example
1077 @group
1078 % ls -l fo*
1079 -rw-rw-rw- 1 rms 29 Aug 18 20:32 foo
1080 -rw-rw-rw- 1 rms 24 Aug 18 20:31 foo3
1081 @end group
1082 @end example
1083
1084 Now we create a hard link, by calling @code{add-name-to-file}, then list
1085 the files again. This shows two names for one file, @file{foo} and
1086 @file{foo2}.
1087
1088 @example
1089 @group
1090 (add-name-to-file "~/lewis/foo1" "~/lewis/foo2")
1091 @result{} nil
1092 @end group
1093
1094 @group
1095 % ls -l fo*
1096 -rw-rw-rw- 2 rms 29 Aug 18 20:32 foo
1097 -rw-rw-rw- 2 rms 29 Aug 18 20:32 foo2
1098 -rw-rw-rw- 1 rms 24 Aug 18 20:31 foo3
1099 @end group
1100 @end example
1101
1102 @c !!! Check whether this set of examples is consistent. --rjc 15mar92
1103 Finally, we evaluate the following:
1104
1105 @example
1106 (add-name-to-file "~/lewis/foo" "~/lewis/foo3" t)
1107 @end example
1108
1109 @noindent
1110 and list the files again. Now there are three names
1111 for one file: @file{foo}, @file{foo2}, and @file{foo3}. The old
1112 contents of @file{foo3} are lost.
1113
1114 @example
1115 @group
1116 (add-name-to-file "~/lewis/foo1" "~/lewis/foo3")
1117 @result{} nil
1118 @end group
1119
1120 @group
1121 % ls -l fo*
1122 -rw-rw-rw- 3 rms 29 Aug 18 20:32 foo
1123 -rw-rw-rw- 3 rms 29 Aug 18 20:32 foo2
1124 -rw-rw-rw- 3 rms 29 Aug 18 20:32 foo3
1125 @end group
1126 @end example
1127
1128 This function is meaningless on VMS, where multiple names for one file
1129 are not allowed.
1130
1131 See also @code{file-nlinks} in @ref{File Attributes}.
1132 @end defun
1133
1134 @deffn Command rename-file filename newname &optional ok-if-already-exists
1135 This command renames the file @var{filename} as @var{newname}.
1136
1137 If @var{filename} has additional names aside from @var{filename}, it
1138 continues to have those names. In fact, adding the name @var{newname}
1139 with @code{add-name-to-file} and then deleting @var{filename} has the
1140 same effect as renaming, aside from momentary intermediate states.
1141
1142 In an interactive call, this function prompts for @var{filename} and
1143 @var{newname} in the minibuffer; also, it requests confirmation if
1144 @var{newname} already exists.
1145 @end deffn
1146
1147 @deffn Command copy-file oldname newname &optional ok-if-exists time
1148 This command copies the file @var{oldname} to @var{newname}. An
1149 error is signaled if @var{oldname} does not exist.
1150
1151 If @var{time} is non-@code{nil}, then this functions gives the new
1152 file the same last-modified time that the old one has. (This works on
1153 only some operating systems.)
1154
1155 In an interactive call, this function prompts for @var{filename} and
1156 @var{newname} in the minibuffer; also, it requests confirmation if
1157 @var{newname} already exists.
1158 @end deffn
1159
1160 @deffn Command delete-file filename
1161 @pindex rm
1162 This command deletes the file @var{filename}, like the shell command
1163 @samp{rm @var{filename}}. If the file has multiple names, it continues
1164 to exist under the other names.
1165
1166 A suitable kind of @code{file-error} error is signaled if the file
1167 does not exist, or is not deletable. (On Unix, a file is deletable if
1168 its directory is writable.)
1169
1170 See also @code{delete-directory} in @ref{Create/Delete Dirs}.
1171 @end deffn
1172
1173 @deffn Command make-symbolic-link filename newname &optional ok-if-exists
1174 @pindex ln
1175 @kindex file-already-exists
1176 This command makes a symbolic link to @var{filename}, named
1177 @var{newname}. This is like the shell command @samp{ln -s
1178 @var{filename} @var{newname}}.
1179
1180 In an interactive call, this function prompts for @var{filename} and
1181 @var{newname} in the minibuffer; also, it requests confirmation if
1182 @var{newname} already exists.
1183 @end deffn
1184
1185 @defun define-logical-name varname string
1186 This function defines the logical name @var{name} to have the value
1187 @var{string}. It is available only on VMS.
1188 @end defun
1189
1190 @defun set-file-modes filename mode
1191 This function sets mode bits of @var{filename} to @var{mode} (which must
1192 be an integer). Only the low 12 bits of @var{mode} are used.
1193 @end defun
1194
1195 @c Emacs 19 feature
1196 @defun set-default-file-modes mode
1197 This function sets the default file protection for new files created by
1198 Emacs and its subprocesses. Every file created with Emacs initially has
1199 this protection. On Unix, the default protection is the bitwise
1200 complement of the ``umask'' value.
1201
1202 The argument @var{mode} must be an integer. Only the low 9 bits of
1203 @var{mode} are used.
1204
1205 Saving a modified version of an existing file does not count as creating
1206 the file; it does not change the file's mode, and does not use the
1207 default file protection.
1208 @end defun
1209
1210 @defun default-file-modes
1211 This function returns the current default protection value.
1212 @end defun
1213
1214 @cindex MS-DOS and file modes
1215 @cindex file modes and MS-DOS
1216 On MS-DOS, there is no such thing as an ``executable'' file mode bit.
1217 So Emacs considers a file executable if its name ends in @samp{.com},
1218 @samp{.bat} or @samp{.exe}. This is reflected in the values returned
1219 by @code{file-modes} and @code{file-attributes}.
1220
1221 @node File Names
1222 @section File Names
1223 @cindex file names
1224
1225 Files are generally referred to by their names, in Emacs as elsewhere.
1226 File names in Emacs are represented as strings. The functions that
1227 operate on a file all expect a file name argument.
1228
1229 In addition to operating on files themselves, Emacs Lisp programs
1230 often need to operate on the names; i.e., to take them apart and to use
1231 part of a name to construct related file names. This section describes
1232 how to manipulate file names.
1233
1234 The functions in this section do not actually access files, so they
1235 can operate on file names that do not refer to an existing file or
1236 directory.
1237
1238 On VMS, all these functions understand both VMS file-name syntax and
1239 Unix syntax. This is so that all the standard Lisp libraries can
1240 specify file names in Unix syntax and work properly on VMS without
1241 change. On MS-DOS, these functions understand MS-DOS file-name syntax
1242 as well as Unix syntax.
1243
1244 @menu
1245 * File Name Components:: The directory part of a file name, and the rest.
1246 * Directory Names:: A directory's name as a directory
1247 is different from its name as a file.
1248 * Relative File Names:: Some file names are relative to a current directory.
1249 * File Name Expansion:: Converting relative file names to absolute ones.
1250 * Unique File Names:: Generating names for temporary files.
1251 * File Name Completion:: Finding the completions for a given file name.
1252 * Standard File Names:: If your package uses a fixed file name,
1253 how to handle various operating systems simply.
1254 @end menu
1255
1256 @node File Name Components
1257 @subsection File Name Components
1258 @cindex directory part (of file name)
1259 @cindex nondirectory part (of file name)
1260 @cindex version number (in file name)
1261
1262 The operating system groups files into directories. To specify a
1263 file, you must specify the directory and the file's name within that
1264 directory. Therefore, Emacs considers a file name as having two main
1265 parts: the @dfn{directory name} part, and the @dfn{nondirectory} part
1266 (or @dfn{file name within the directory}). Either part may be empty.
1267 Concatenating these two parts reproduces the original file name.
1268
1269 On Unix, the directory part is everything up to and including the last
1270 slash; the nondirectory part is the rest. The rules in VMS syntax are
1271 complicated.
1272
1273 For some purposes, the nondirectory part is further subdivided into
1274 the name proper and the @dfn{version number}. On Unix, only backup
1275 files have version numbers in their names; on VMS, every file has a
1276 version number, but most of the time the file name actually used in
1277 Emacs omits the version number. Version numbers are found mostly in
1278 directory lists.
1279
1280 @defun file-name-directory filename
1281 This function returns the directory part of @var{filename} (or
1282 @code{nil} if @var{filename} does not include a directory part). On
1283 Unix, the function returns a string ending in a slash. On VMS, it
1284 returns a string ending in one of the three characters @samp{:},
1285 @samp{]}, or @samp{>}.
1286
1287 @example
1288 @group
1289 (file-name-directory "lewis/foo") ; @r{Unix example}
1290 @result{} "lewis/"
1291 @end group
1292 @group
1293 (file-name-directory "foo") ; @r{Unix example}
1294 @result{} nil
1295 @end group
1296 @group
1297 (file-name-directory "[X]FOO.TMP") ; @r{VMS example}
1298 @result{} "[X]"
1299 @end group
1300 @end example
1301 @end defun
1302
1303 @defun file-name-nondirectory filename
1304 This function returns the nondirectory part of @var{filename}.
1305
1306 @example
1307 @group
1308 (file-name-nondirectory "lewis/foo")
1309 @result{} "foo"
1310 @end group
1311 @group
1312 (file-name-nondirectory "foo")
1313 @result{} "foo"
1314 @end group
1315 @group
1316 ;; @r{The following example is accurate only on VMS.}
1317 (file-name-nondirectory "[X]FOO.TMP")
1318 @result{} "FOO.TMP"
1319 @end group
1320 @end example
1321 @end defun
1322
1323 @defun file-name-sans-versions filename
1324 This function returns @var{filename} without any file version numbers,
1325 backup version numbers, or trailing tildes.
1326
1327 @example
1328 @group
1329 (file-name-sans-versions "~rms/foo.~1~")
1330 @result{} "~rms/foo"
1331 @end group
1332 @group
1333 (file-name-sans-versions "~rms/foo~")
1334 @result{} "~rms/foo"
1335 @end group
1336 @group
1337 (file-name-sans-versions "~rms/foo")
1338 @result{} "~rms/foo"
1339 @end group
1340 @group
1341 ;; @r{The following example applies to VMS only.}
1342 (file-name-sans-versions "foo;23")
1343 @result{} "foo"
1344 @end group
1345 @end example
1346 @end defun
1347
1348 @defun file-name-sans-extension filename
1349 This function returns @var{filename} minus its ``extension,'' if any.
1350 The extension, in a file name, is the part that starts with the last
1351 @samp{.} in the last name component. For example,
1352
1353 @example
1354 (file-name-sans-extension "foo.lose.c")
1355 @result{} "foo.lose"
1356 (file-name-sans-extension "big.hack/foo")
1357 @result{} "big.hack/foo"
1358 @end example
1359 @end defun
1360
1361 @node Directory Names
1362 @comment node-name, next, previous, up
1363 @subsection Directory Names
1364 @cindex directory name
1365 @cindex file name of directory
1366
1367 A @dfn{directory name} is the name of a directory. A directory is a
1368 kind of file, and it has a file name, which is related to the directory
1369 name but not identical to it. (This is not quite the same as the usual
1370 Unix terminology.) These two different names for the same entity are
1371 related by a syntactic transformation. On Unix, this is simple: a
1372 directory name ends in a slash, whereas the directory's name as a file
1373 lacks that slash. On VMS, the relationship is more complicated.
1374
1375 The difference between a directory name and its name as a file is
1376 subtle but crucial. When an Emacs variable or function argument is
1377 described as being a directory name, a file name of a directory is not
1378 acceptable.
1379
1380 The following two functions convert between directory names and file
1381 names. They do nothing special with environment variable substitutions
1382 such as @samp{$HOME}, and the constructs @samp{~}, and @samp{..}.
1383
1384 @defun file-name-as-directory filename
1385 This function returns a string representing @var{filename} in a form
1386 that the operating system will interpret as the name of a directory. In
1387 Unix, this means appending a slash to the string. On VMS, the function
1388 converts a string of the form @file{[X]Y.DIR.1} to the form
1389 @file{[X.Y]}.
1390
1391 @example
1392 @group
1393 (file-name-as-directory "~rms/lewis")
1394 @result{} "~rms/lewis/"
1395 @end group
1396 @end example
1397 @end defun
1398
1399 @defun directory-file-name dirname
1400 This function returns a string representing @var{dirname} in a form
1401 that the operating system will interpret as the name of a file. On
1402 Unix, this means removing a final slash from the string. On VMS, the
1403 function converts a string of the form @file{[X.Y]} to
1404 @file{[X]Y.DIR.1}.
1405
1406 @example
1407 @group
1408 (directory-file-name "~lewis/")
1409 @result{} "~lewis"
1410 @end group
1411 @end example
1412 @end defun
1413
1414 @cindex directory name abbreviation
1415 Directory name abbreviations are useful for directories that are
1416 normally accessed through symbolic links. Sometimes the users recognize
1417 primarily the link's name as ``the name'' of the directory, and find it
1418 annoying to see the directory's ``real'' name. If you define the link
1419 name as an abbreviation for the ``real'' name, Emacs shows users the
1420 abbreviation instead.
1421
1422 @defvar directory-abbrev-alist
1423 The variable @code{directory-abbrev-alist} contains an alist of
1424 abbreviations to use for file directories. Each element has the form
1425 @code{(@var{from} . @var{to})}, and says to replace @var{from} with
1426 @var{to} when it appears in a directory name. The @var{from} string is
1427 actually a regular expression; it should always start with @samp{^}.
1428 The function @code{abbreviate-file-name} performs these substitutions.
1429
1430 You can set this variable in @file{site-init.el} to describe the
1431 abbreviations appropriate for your site.
1432
1433 Here's an example, from a system on which file system @file{/home/fsf}
1434 and so on are normally accessed through symbolic links named @file{/fsf}
1435 and so on.
1436
1437 @example
1438 (("^/home/fsf" . "/fsf")
1439 ("^/home/gp" . "/gp")
1440 ("^/home/gd" . "/gd"))
1441 @end example
1442 @end defvar
1443
1444 To convert a directory name to its abbreviation, use this
1445 function:
1446
1447 @defun abbreviate-file-name dirname
1448 This function applies abbreviations from @code{directory-abbrev-alist}
1449 to its argument, and substitutes @samp{~} for the user's home
1450 directory.
1451 @end defun
1452
1453 @node Relative File Names
1454 @subsection Absolute and Relative File Names
1455 @cindex absolute file name
1456 @cindex relative file name
1457
1458 All the directories in the file system form a tree starting at the
1459 root directory. A file name can specify all the directory names
1460 starting from the root of the tree; then it is called an @dfn{absolute}
1461 file name. Or it can specify the position of the file in the tree
1462 relative to a default directory; then it is called a @dfn{relative}
1463 file name. On Unix, an absolute file name starts with a slash or a
1464 tilde (@samp{~}), and a relative one does not. The rules on VMS are
1465 complicated.
1466
1467 @defun file-name-absolute-p filename
1468 This function returns @code{t} if file @var{filename} is an absolute
1469 file name, @code{nil} otherwise. On VMS, this function understands both
1470 Unix syntax and VMS syntax.
1471
1472 @example
1473 @group
1474 (file-name-absolute-p "~rms/foo")
1475 @result{} t
1476 @end group
1477 @group
1478 (file-name-absolute-p "rms/foo")
1479 @result{} nil
1480 @end group
1481 @group
1482 (file-name-absolute-p "/user/rms/foo")
1483 @result{} t
1484 @end group
1485 @end example
1486 @end defun
1487
1488 @node File Name Expansion
1489 @subsection Functions that Expand Filenames
1490 @cindex expansion of file names
1491
1492 @dfn{Expansion} of a file name means converting a relative file name
1493 to an absolute one. Since this is done relative to a default directory,
1494 you must specify the default directory name as well as the file name to
1495 be expanded. Expansion also simplifies file names by eliminating
1496 redundancies such as @file{./} and @file{@var{name}/../}.
1497
1498 @defun expand-file-name filename &optional directory
1499 This function converts @var{filename} to an absolute file name. If
1500 @var{directory} is supplied, it is the directory to start with if
1501 @var{filename} is relative. (The value of @var{directory} should itself
1502 be an absolute directory name; it may start with @samp{~}.)
1503 Otherwise, the current buffer's value of @code{default-directory} is
1504 used. For example:
1505
1506 @example
1507 @group
1508 (expand-file-name "foo")
1509 @result{} "/xcssun/users/rms/lewis/foo"
1510 @end group
1511 @group
1512 (expand-file-name "../foo")
1513 @result{} "/xcssun/users/rms/foo"
1514 @end group
1515 @group
1516 (expand-file-name "foo" "/usr/spool/")
1517 @result{} "/usr/spool/foo"
1518 @end group
1519 @group
1520 (expand-file-name "$HOME/foo")
1521 @result{} "/xcssun/users/rms/lewis/$HOME/foo"
1522 @end group
1523 @end example
1524
1525 Filenames containing @samp{.} or @samp{..} are simplified to their
1526 canonical form:
1527
1528 @example
1529 @group
1530 (expand-file-name "bar/../foo")
1531 @result{} "/xcssun/users/rms/lewis/foo"
1532 @end group
1533 @end example
1534
1535 @samp{~/} is expanded into the user's home directory. A @samp{/} or
1536 @samp{~} following a @samp{/} is taken to be the start of an absolute
1537 file name that overrides what precedes it, so everything before that
1538 @samp{/} or @samp{~} is deleted. For example:
1539
1540 @example
1541 @group
1542 (expand-file-name
1543 "/a1/gnu//usr/local/lib/emacs/etc/MACHINES")
1544 @result{} "/usr/local/lib/emacs/etc/MACHINES"
1545 @end group
1546 @group
1547 (expand-file-name "/a1/gnu/~/foo")
1548 @result{} "/xcssun/users/rms/foo"
1549 @end group
1550 @end example
1551
1552 @noindent
1553 In both cases, @file{/a1/gnu/} is discarded because an absolute file
1554 name follows it.
1555
1556 Note that @code{expand-file-name} does @emph{not} expand environment
1557 variables; only @code{substitute-in-file-name} does that.
1558 @end defun
1559
1560 @c Emacs 19 feature
1561 @defun file-relative-name filename directory
1562 This function does the inverse of expansion---it tries to return a
1563 relative name that is equivalent to @var{filename} when interpreted
1564 relative to @var{directory}. (If such a relative name would be longer
1565 than the absolute name, it returns the absolute name instead.)
1566
1567 @example
1568 (file-relative-name "/foo/bar" "/foo/")
1569 @result{} "bar")
1570 (file-relative-name "/foo/bar" "/hack/")
1571 @result{} "/foo/bar")
1572 @end example
1573 @end defun
1574
1575 @defvar default-directory
1576 The value of this buffer-local variable is the default directory for the
1577 current buffer. It should be an absolute directory name; it may start
1578 with @samp{~}. This variable is local in every buffer.
1579
1580 @code{expand-file-name} uses the default directory when its second
1581 argument is @code{nil}.
1582
1583 On Unix systems, the value is always a string ending with a slash.
1584
1585 @example
1586 @group
1587 default-directory
1588 @result{} "/user/lewis/manual/"
1589 @end group
1590 @end example
1591 @end defvar
1592
1593 @defun substitute-in-file-name filename
1594 This function replaces environment variables references in
1595 @var{filename} with the environment variable values. Following standard
1596 Unix shell syntax, @samp{$} is the prefix to substitute an environment
1597 variable value.
1598
1599 The environment variable name is the series of alphanumeric characters
1600 (including underscores) that follow the @samp{$}. If the character following
1601 the @samp{$} is a @samp{@{}, then the variable name is everything up to the
1602 matching @samp{@}}.
1603
1604 @c Wordy to avoid overfull hbox. --rjc 15mar92
1605 Here we assume that the environment variable @code{HOME}, which holds
1606 the user's home directory name, has value @samp{/xcssun/users/rms}.
1607
1608 @example
1609 @group
1610 (substitute-in-file-name "$HOME/foo")
1611 @result{} "/xcssun/users/rms/foo"
1612 @end group
1613 @end example
1614
1615 If a @samp{~} or a @samp{/} appears following a @samp{/}, after
1616 substitution, everything before the following @samp{/} is discarded:
1617
1618 @example
1619 @group
1620 (substitute-in-file-name "bar/~/foo")
1621 @result{} "~/foo"
1622 @end group
1623 @group
1624 (substitute-in-file-name "/usr/local/$HOME/foo")
1625 @result{} "/xcssun/users/rms/foo"
1626 @end group
1627 @end example
1628
1629 On VMS, @samp{$} substitution is not done, so this function does nothing
1630 on VMS except discard superfluous initial components as shown above.
1631 @end defun
1632
1633 @node Unique File Names
1634 @subsection Generating Unique File Names
1635
1636 Some programs need to write temporary files. Here is the usual way to
1637 construct a name for such a file:
1638
1639 @example
1640 (make-temp-name (concat "/tmp/" @var{name-of-application}))
1641 @end example
1642
1643 @noindent
1644 Here we use the directory @file{/tmp/} because that is the standard
1645 place on Unix for temporary files. The job of @code{make-temp-name} is
1646 to prevent two different users or two different jobs from trying to use
1647 the same name.
1648
1649 @defun make-temp-name string
1650 This function generates string that can be used as a unique name. The
1651 name starts with @var{string}, and ends with a number that is different
1652 in each Emacs job.
1653
1654 @example
1655 @group
1656 (make-temp-name "/tmp/foo")
1657 @result{} "/tmp/foo021304"
1658 @end group
1659 @end example
1660
1661 To prevent conflicts among different libraries running in the same
1662 Emacs, each Lisp program that uses @code{make-temp-name} should have its
1663 own @var{string}. The number added to the end of the name distinguishes
1664 between the same application running in different Emacs jobs.
1665 @end defun
1666
1667 @node File Name Completion
1668 @subsection File Name Completion
1669 @cindex file name completion subroutines
1670 @cindex completion, file name
1671
1672 This section describes low-level subroutines for completing a file
1673 name. For other completion functions, see @ref{Completion}.
1674
1675 @defun file-name-all-completions partial-filename directory
1676 This function returns a list of all possible completions for a file
1677 whose name starts with @var{partial-filename} in directory
1678 @var{directory}. The order of the completions is the order of the files
1679 in the directory, which is unpredictable and conveys no useful
1680 information.
1681
1682 The argument @var{partial-filename} must be a file name containing no
1683 directory part and no slash. The current buffer's default directory is
1684 prepended to @var{directory}, if @var{directory} is not absolute.
1685
1686 In the following example, suppose that @file{~rms/lewis} is the current
1687 default directory, and has five files whose names begin with @samp{f}:
1688 @file{foo}, @file{file~}, @file{file.c}, @file{file.c.~1~}, and
1689 @file{file.c.~2~}.@refill
1690
1691 @example
1692 @group
1693 (file-name-all-completions "f" "")
1694 @result{} ("foo" "file~" "file.c.~2~"
1695 "file.c.~1~" "file.c")
1696 @end group
1697
1698 @group
1699 (file-name-all-completions "fo" "")
1700 @result{} ("foo")
1701 @end group
1702 @end example
1703 @end defun
1704
1705 @defun file-name-completion filename directory
1706 This function completes the file name @var{filename} in directory
1707 @var{directory}. It returns the longest prefix common to all file names
1708 in directory @var{directory} that start with @var{filename}.
1709
1710 If only one match exists and @var{filename} matches it exactly, the
1711 function returns @code{t}. The function returns @code{nil} if directory
1712 @var{directory} contains no name starting with @var{filename}.
1713
1714 In the following example, suppose that the current default directory
1715 has five files whose names begin with @samp{f}: @file{foo},
1716 @file{file~}, @file{file.c}, @file{file.c.~1~}, and
1717 @file{file.c.~2~}.@refill
1718
1719 @example
1720 @group
1721 (file-name-completion "fi" "")
1722 @result{} "file"
1723 @end group
1724
1725 @group
1726 (file-name-completion "file.c.~1" "")
1727 @result{} "file.c.~1~"
1728 @end group
1729
1730 @group
1731 (file-name-completion "file.c.~1~" "")
1732 @result{} t
1733 @end group
1734
1735 @group
1736 (file-name-completion "file.c.~3" "")
1737 @result{} nil
1738 @end group
1739 @end example
1740 @end defun
1741
1742 @defopt completion-ignored-extensions
1743 @code{file-name-completion} usually ignores file names that end in any
1744 string in this list. It does not ignore them when all the possible
1745 completions end in one of these suffixes or when a buffer showing all
1746 possible completions is displayed.@refill
1747
1748 A typical value might look like this:
1749
1750 @example
1751 @group
1752 completion-ignored-extensions
1753 @result{} (".o" ".elc" "~" ".dvi")
1754 @end group
1755 @end example
1756 @end defopt
1757
1758 @node Standard File Names
1759 @subsection Standard File Names
1760
1761 Most of the file names used in Lisp programs are entered by the user.
1762 But occasionally a Lisp program needs to specify a standard file name
1763 for a particular use---typically, to hold customization information
1764 about each user. For example, abbrev definitions are stored (by
1765 default) in the file @file{~/.abbrev_defs}; the @code{completion}
1766 package stores completions in the file @file{~/.completions}. These are
1767 two of the many standard file names used by parts of Emacs for certain
1768 purposes.
1769
1770 Various operating systems have their own conventions for valid file
1771 names and for which file names to use for user profile data. A Lisp
1772 program which reads a file using a standard file name ought to use, on
1773 each type of system, a file name suitable for that system. The function
1774 @code{convert-standard-filename} makes this easy to do.
1775
1776 @defun convert-standard-filename filename
1777 This function alters the file name @var{filename} to fit the conventions
1778 of the operating system in use, and returns the result as a new string.
1779 @end defun
1780
1781 The recommended way to specify a standard file name in a Lisp program
1782 is to choose a name which fits the conventions of GNU and Unix systems,
1783 usually with a nondirectory part that starts with a period, and pass it
1784 to @code{convert-standard-filename} instead of using it directly. Here
1785 is an example from the @code{completion} package:
1786
1787 @example
1788 (defvar save-completions-file-name
1789 (convert-standard-filename "~/.completions")
1790 "*The file name to save completions to.")
1791 @end example
1792
1793 On GNU and Unix systems, and on some other systems as well,
1794 @code{convert-standard-filename} returns its argument unchanged. On
1795 some other systems, it alters the name to fit the systems's conventions.
1796
1797 For example, on MS-DOS the alterations made by this function include
1798 converting a leading @samp{.} to @samp{_}, converting a @samp{_} in the
1799 middle of the name to @samp{.} if there is no other @samp{.}, inserting
1800 a @samp{.} after eight characters if there is none, and truncating to
1801 three characters after the @samp{.}. (It makes other changes as well.)
1802 Thus, @file{.abbrev_defs} becomes @file{_abbrev.def}, and
1803 @file{.completions} becomes @file{_complet.ion}.
1804
1805 @node Contents of Directories
1806 @section Contents of Directories
1807 @cindex directory-oriented functions
1808 @cindex file names in directory
1809
1810 A directory is a kind of file that contains other files entered under
1811 various names. Directories are a feature of the file system.
1812
1813 Emacs can list the names of the files in a directory as a Lisp list,
1814 or display the names in a buffer using the @code{ls} shell command. In
1815 the latter case, it can optionally display information about each file,
1816 depending on the options passed to the @code{ls} command.
1817
1818 @defun directory-files directory &optional full-name match-regexp nosort
1819 This function returns a list of the names of the files in the directory
1820 @var{directory}. By default, the list is in alphabetical order.
1821
1822 If @var{full-name} is non-@code{nil}, the function returns the files'
1823 absolute file names. Otherwise, it returns the names relative to
1824 the specified directory.
1825
1826 If @var{match-regexp} is non-@code{nil}, this function returns only
1827 those file names that contain a match for that regular expression---the
1828 other file names are excluded from the list.
1829
1830 @c Emacs 19 feature
1831 If @var{nosort} is non-@code{nil}, @code{directory-files} does not sort
1832 the list, so you get the file names in no particular order. Use this if
1833 you want the utmost possible speed and don't care what order the files
1834 are processed in. If the order of processing is visible to the user,
1835 then the user will probably be happier if you do sort the names.
1836
1837 @example
1838 @group
1839 (directory-files "~lewis")
1840 @result{} ("#foo#" "#foo.el#" "." ".."
1841 "dired-mods.el" "files.texi"
1842 "files.texi.~1~")
1843 @end group
1844 @end example
1845
1846 An error is signaled if @var{directory} is not the name of a directory
1847 that can be read.
1848 @end defun
1849
1850 @defun file-name-all-versions file dirname
1851 This function returns a list of all versions of the file named
1852 @var{file} in directory @var{dirname}.
1853 @end defun
1854
1855 @defun insert-directory file switches &optional wildcard full-directory-p
1856 This function inserts (in the current buffer) a directory listing for
1857 directory @var{file}, formatted with @code{ls} according to
1858 @var{switches}. It leaves point after the inserted text.
1859
1860 The argument @var{file} may be either a directory name or a file
1861 specification including wildcard characters. If @var{wildcard} is
1862 non-@code{nil}, that means treat @var{file} as a file specification with
1863 wildcards.
1864
1865 If @var{full-directory-p} is non-@code{nil}, that means @var{file} is a
1866 directory and switches do not contain @samp{-d}, so that the listing
1867 should show the full contents of the directory. (The @samp{-d} option
1868 to @code{ls} says to describe a directory itself rather than its
1869 contents.)
1870
1871 This function works by running a directory listing program whose name is
1872 in the variable @code{insert-directory-program}. If @var{wildcard} is
1873 non-@code{nil}, it also runs the shell specified by
1874 @code{shell-file-name}, to expand the wildcards.
1875 @end defun
1876
1877 @defvar insert-directory-program
1878 This variable's value is the program to run to generate a directory listing
1879 for the function @code{insert-directory}.
1880 @end defvar
1881
1882 @node Create/Delete Dirs
1883 @section Creating and Deleting Directories
1884 @c Emacs 19 features
1885
1886 Most Emacs Lisp file-manipulation functions get errors when used on
1887 files that are directories. For example, you cannot delete a directory
1888 with @code{delete-file}. These special functions exist to create and
1889 delete directories.
1890
1891 @defun make-directory dirname
1892 This function creates a directory named @var{dirname}.
1893 @end defun
1894
1895 @defun delete-directory dirname
1896 This function deletes the directory named @var{dirname}. The function
1897 @code{delete-file} does not work for files that are directories; you
1898 must use @code{delete-directory} for them. If the directory contains
1899 any files, @code{delete-directory} signals an error.
1900 @end defun
1901
1902 @node Magic File Names
1903 @section Making Certain File Names ``Magic''
1904 @cindex magic file names
1905
1906 @c Emacs 19 feature
1907 You can implement special handling for certain file names. This is
1908 called making those names @dfn{magic}. You must supply a regular
1909 expression to define the class of names (all those that match the
1910 regular expression), plus a handler that implements all the primitive
1911 Emacs file operations for file names that do match.
1912
1913 The variable @code{file-name-handler-alist} holds a list of handlers,
1914 together with regular expressions that determine when to apply each
1915 handler. Each element has this form:
1916
1917 @example
1918 (@var{regexp} . @var{handler})
1919 @end example
1920
1921 @noindent
1922 All the Emacs primitives for file access and file name transformation
1923 check the given file name against @code{file-name-handler-alist}. If
1924 the file name matches @var{regexp}, the primitives handle that file by
1925 calling @var{handler}.
1926
1927 The first argument given to @var{handler} is the name of the primitive;
1928 the remaining arguments are the arguments that were passed to that
1929 operation. (The first of these arguments is typically the file name
1930 itself.) For example, if you do this:
1931
1932 @example
1933 (file-exists-p @var{filename})
1934 @end example
1935
1936 @noindent
1937 and @var{filename} has handler @var{handler}, then @var{handler} is
1938 called like this:
1939
1940 @example
1941 (funcall @var{handler} 'file-exists-p @var{filename})
1942 @end example
1943
1944 Here are the operations that a magic file name handler gets to handle:
1945
1946 @noindent
1947 @code{add-name-to-file}, @code{copy-file}, @code{delete-directory},
1948 @code{delete-file},@*
1949 @code{diff-latest-backup-file},
1950 @code{directory-file-name},
1951 @code{directory-files},@*
1952 @code{dired-call-process},
1953 @code{dired-compress-file}, @code{dired-uncache},
1954 @code{expand-file-name},@*
1955 @code{file-accessible-directory-p},
1956 @code{file-attributes}, @code{file-directory-p},@*
1957 @code{file-executable-p}, @code{file-exists-p}, @code{file-local-copy},
1958 @code{file-modes}, @code{file-name-all-completions},
1959 @code{file-name-as-directory}, @code{file-name-completion},@*
1960 @code{file-name-directory},
1961 @code{file-name-nondirectory},
1962 @code{file-name-sans-versions}, @code{file-newer-than-file-p},
1963 @code{file-ownership-preserved-p},
1964 @code{file-readable-p}, @code{file-regular-p}, @code{file-symlink-p},
1965 @code{file-truename}, @code{file-writable-p},
1966 @code{find-backup-file-name},
1967 @code{get-file-buffer},
1968 @code{insert-directory},@*
1969 @code{insert-file-contents},
1970 @code{load}, @code{make-directory},
1971 @code{make-symbolic-link}, @code{rename-file}, @code{set-file-modes},
1972 @code{set-visited-file-modtime}, @code{shell-command}.
1973 @code{unhandled-file-name-directory},@*
1974 @code{vc-registered},
1975 @code{verify-visited-file-modtime}, @code{write-region}.
1976
1977 Handlers for @code{insert-file-contents} typically need to clear the
1978 buffer's modified flag, with @code{(set-buffer-modified-p nil)}, if the
1979 @var{visit} argument is non-@code{nil}. This also has the effect of
1980 unlocking the buffer if it is locked.
1981
1982 The handler function must handle all of the above operations, and
1983 possibly others to be added in the future. It need not implement all
1984 these operations itself---when it has nothing special to do for a
1985 certain operation, it can reinvoke the primitive, to handle the
1986 operation ``in the usual way''. It should always reinvoke the primitive
1987 for an operation it does not recognize. Here's one way to do this:
1988
1989 @smallexample
1990 (defun my-file-handler (operation &rest args)
1991 ;; @r{First check for the specific operations}
1992 ;; @r{that we have special handling for.}
1993 (cond ((eq operation 'insert-file-contents) @dots{})
1994 ((eq operation 'write-region) @dots{})
1995 @dots{}
1996 ;; @r{Handle any operation we don't know about.}
1997 (t (let ((inhibit-file-name-handlers
1998 (cons 'my-file-handler
1999 (and (eq inhibit-file-name-operation operation)
2000 inhibit-file-name-handlers)))
2001 (inhibit-file-name-operation operation))
2002 (apply operation args)))))
2003 @end smallexample
2004
2005 When a handler function decides to call the ordinary Emacs primitive for
2006 the operation at hand, it needs to prevent the primitive from calling
2007 the same handler once again, thus leading to an infinite recursion. The
2008 example above shows how to do this, with the variables
2009 @code{inhibit-file-name-handlers} and
2010 @code{inhibit-file-name-operation}. Be careful to use them exactly as
2011 shown above; the details are crucial for proper behavior in the case of
2012 multiple handlers, and for operations that have two file names that may
2013 each have handlers.
2014
2015 @defvar inhibit-file-name-handlers
2016 This variable holds a list of handlers whose use is presently inhibited
2017 for a certain operation.
2018 @end defvar
2019
2020 @defvar inhibit-file-name-operation
2021 The operation for which certain handlers are presently inhibited.
2022 @end defvar
2023
2024 @defun find-file-name-handler file operation
2025 This function returns the handler function for file name @var{file}, or
2026 @code{nil} if there is none. The argument @var{operation} should be the
2027 operation to be performed on the file---the value you will pass to the
2028 handler as its first argument when you call it. The operation is needed
2029 for comparison with @code{inhibit-file-name-operation}.
2030 @end defun
2031
2032 @defun file-local-copy filename
2033 This function copies file @var{filename} to an ordinary non-magic file,
2034 if it isn't one already.
2035
2036 If @var{filename} specifies a ``magic'' file name, which programs
2037 outside Emacs cannot directly read or write, this copies the contents to
2038 an ordinary file and returns that file's name.
2039
2040 If @var{filename} is an ordinary file name, not magic, then this function
2041 does nothing and returns @code{nil}.
2042 @end defun
2043
2044 @defun unhandled-file-name-directory filename
2045 This function returns the name of a directory that is not magic.
2046 It uses the directory part of @var{filename} if that is not magic.
2047 Otherwise, it asks the handler what to do.
2048
2049 This is useful for running a subprocess; every subprocess must have a
2050 non-magic directory to serve as its current directory, and this function
2051 is a good way to come up with one.
2052 @end defun
2053
2054 @node Format Conversion
2055 @section File Format Conversion
2056
2057 @cindex file format conversion
2058 @cindex encoding file formats
2059 @cindex decoding file formats
2060 The variable @code{format-alist} defines a list of @dfn{file formats},
2061 which describe textual representations used in files for the data (text,
2062 text-properties, and possibly other information) in an Emacs buffer.
2063 Emacs performs format conversion if appropriate when reading and writing
2064 files.
2065
2066 @defvar format-alist
2067 This list contains one format definition for each defined file format.
2068 @end defvar
2069
2070 @cindex format definition
2071 Each format definition is a list of this form:
2072
2073 @example
2074 (@var{name} @var{doc-string} @var{regexp} @var{from-fn} @var{to-fn} @var{modify} @var{mode-fn})
2075 @end example
2076
2077 Here is what the elements in a format definition mean:
2078
2079 @table @var
2080 @item name
2081 The name of this format.
2082
2083 @item doc-string
2084 A documentation string for the format.
2085
2086 @item regexp
2087 A regular expression which is used to recognize files represented in
2088 this format.
2089
2090 @item from-fn
2091 A function to call to decode data in this format (to convert file data into
2092 the usual Emacs data representation).
2093
2094 The @var{from-fn} is called with two args, @var{begin} and @var{end},
2095 which specify the part of the buffer it should convert. It should convert
2096 the text by editing it in place. Since this can change the length of the
2097 text, @var{from-fn} should return the modified end position.
2098
2099 One responsibility of @var{from-fn} is to make sure that the beginning
2100 of the file no longer matches @var{regexp}. Otherwise it is likely to
2101 get called again.
2102
2103 @item to-fn
2104 A function to call to encode data in this format (to convert
2105 the usual Emacs data representation into this format).
2106
2107 The @var{to-fn} is called with two args, @var{begin} and @var{end},
2108 which specify the part of the buffer it should convert. There are
2109 two ways it can do the conversion:
2110
2111 @itemize @bullet
2112 @item
2113 By editing the buffer in place. In this case, @var{to-fn} should
2114 return the end-position of the range of text, as modified.
2115
2116 @item
2117 By returning a list of annotations. This is a list of elements of the
2118 form @code{(@var{position} . @var{string})}, where @var{position} is an
2119 integer specifying the relative position in the text to be written, and
2120 @var{string} is the annotation to add there. The list must be sorted in
2121 order of position when @var{to-fn} returns it.
2122
2123 When @code{write-region} actually writes the text from the buffer to the
2124 file, it intermixes the specified annotations at the corresponding
2125 positions. All this takes place without modifying the buffer.
2126 @end itemize
2127
2128 @item modify
2129 A flag, @code{t} if the encoding function modifies the buffer, and
2130 @code{nil} if it works by returning a list of annotations.
2131
2132 @item mode
2133 A mode function to call after visiting a file converted from this
2134 format.
2135 @end table
2136
2137 The function @code{insert-file-contents} automatically recognizes file
2138 formats when it reads the specified file. It checks the text of the
2139 beginning of the file against the regular expressions of the format
2140 definitions, and if it finds a match, it calls the decoding function for
2141 that format. Then it checks all the known formats over again.
2142 It keeps checking them until none of them is applicable.
2143
2144 Visiting a file, with @code{find-file-noselect} or the commands that use
2145 it, performs conversion likewise (because it calls
2146 @code{insert-file-contents}); it also calls the mode function for each
2147 format that it decodes. It stores a list of the format names in the
2148 buffer-local variable @code{buffer-file-format}.
2149
2150 @defvar buffer-file-format
2151 This variable states the format of the visited file. More precisely,
2152 this is a list of the file format names that were decoded in the course
2153 of visiting the current buffer's file. It is always local in all
2154 buffers.
2155 @end defvar
2156
2157 When @code{write-region} writes data into a file, it first calls the
2158 encoding functions for the formats listed in @code{buffer-file-format},
2159 in the order of appearance in the list.
2160
2161 @defun format-write-file file format
2162 This command writes the current buffer contents into the file @var{file}
2163 in format @var{format}, and makes that format the default for future
2164 saves of the buffer. The argument @var{format} is a list of format
2165 names.
2166 @end defun
2167
2168 @defun format-find-file file format
2169 This command finds the file @var{file}, converting it according to
2170 format @var{format}. It also makes @var{format} the default if the
2171 buffer is saved later.
2172
2173 The argument @var{format} is a list of format names. If @var{format} is
2174 @code{nil}, no conversion takes place. Interactively, typing just
2175 @key{RET} for @var{format} specifies @code{nil}.
2176 @end defun
2177
2178 @defun format-insert-file file format %optional beg end
2179 This command inserts the contents of file @var{file}, converting it
2180 according to format @var{format}. If @var{beg} and @var{end} are
2181 non-@code{nil}, they specify which part of the file to read, as in
2182 @code{insert-file-contents} (@pxref{Reading from Files}).
2183
2184 The return value is like what @code{insert-file-contents} returns: a
2185 list of the absolute file name and the length of the data inserted
2186 (after conversion).
2187
2188 The argument @var{format} is a list of format names. If @var{format} is
2189 @code{nil}, no conversion takes place. Interactively, typing just
2190 @key{RET} for @var{format} specifies @code{nil}.
2191 @end defun
2192
2193 @defvar auto-save-file-format
2194 This variable specifies the format to use for auto-saving. Its value is
2195 a list of format names, just like the value of
2196 @code{buffer-file-format}; but it is used instead of
2197 @code{buffer-file-format} for writing auto-save files. This variable
2198 is always local in all buffers.
2199 @end defvar
2200
2201 @node Files and MS-DOS
2202 @section Files and MS-DOS
2203 @cindex MS-DOS file types
2204 @cindex file types on MS-DOS
2205 @cindex text files and binary files
2206 @cindex binary files and text files
2207 @cindex Windows file types
2208
2209 Emacs on MS-DOS and on Windows NT or 95 makes a distinction between
2210 text files and binary files. This is necessary because ordinary text
2211 files on MS-DOS use a two character sequence between lines:
2212 carriage-return and linefeed (@sc{crlf}). Emacs expects just a newline
2213 character (a linefeed) between lines. When Emacs reads or writes a text
2214 file on MS-DOS, it needs to convert the line separators. This means it
2215 needs to know which files are text files and which are binary. It makes
2216 this decision when visiting a file, and records the decision in the
2217 variable @code{buffer-file-type} for use when the file is saved.
2218
2219 @xref{MS-DOS Subprocesses}, for a related feature for subprocesses.
2220
2221 @defvar buffer-file-type
2222 This variable, automatically local in each buffer, records the file type
2223 of the buffer's visited file. The value is @code{nil} for text,
2224 @code{t} for binary.
2225 @end defvar
2226
2227 @defun find-buffer-file-type filename
2228 This function determines whether file @var{filename} is a text file
2229 or a binary file. It returns @code{nil} for text, @code{t} for binary.
2230 @end defun
2231
2232 @defopt file-name-buffer-file-type-alist
2233 This variable holds an alist for distinguishing text files from binary
2234 files. Each element has the form (@var{regexp} . @var{type}), where
2235 @var{regexp} is matched against the file name, and @var{type} may be is
2236 @code{nil} for text, @code{t} for binary, or a function to call to
2237 compute which. If it is a function, then it is called with a single
2238 argument (the file name) and should return @code{t} or @code{nil}.
2239 @end defopt
2240
2241 @defopt default-buffer-file-type
2242 This variable specifies the default file type for files whose names
2243 don't indicate anything in particular. Its value should be @code{nil}
2244 for text, or @code{t} for binary.
2245 @end defopt
2246
2247 @deffn Command find-file-text filename
2248 Like @code{find-file}, but treat the file as text regardless of its name.
2249 @end deffn
2250
2251 @deffn Command find-file-binary filename
2252 Like @code{find-file}, but treat the file as binary regardless of its
2253 name.
2254 @end deffn