(server-buffer-done): New arg FOR-KILLING.
[emacs.git] / lispref / files.texi
blob950eea2c2affc6e08409f28eb22602faf8927c34
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
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}.
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}.
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
41 @node Visiting Files
42 @section Visiting Files
43 @cindex finding files
44 @cindex visiting files
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.
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.
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.
68 @menu
69 * Visiting Functions::         The usual interface functions for visiting.
70 * Subroutines of Visiting::    Lower-level subroutines that they use.
71 @end menu
73 @node Visiting Functions
74 @subsection Functions for Visiting Files
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.
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}.
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.
92 The body of the @code{find-file} function is very simple and looks
93 like this:
95 @example
96 (switch-to-buffer (find-file-noselect filename))
97 @end example
99 @noindent
100 (See @code{switch-to-buffer} in @ref{Displaying Buffers}.)
102 When @code{find-file} is called interactively, it prompts for
103 @var{filename} in the minibuffer.
104 @end deffn
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.
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.
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.
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}.
129 The @code{find-file-noselect} function returns the buffer that is
130 visiting the file @var{filename}.
132 @example
133 @group
134 (find-file-noselect "/etc/fstab")
135      @result{} #<buffer fstab>
136 @end group
137 @end example
138 @end defun
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}.
145 When this command is called interactively, it prompts for
146 @var{filename}.
147 @end deffn
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.
154 When this command is called interactively, it prompts for
155 @var{filename}.
156 @end deffn
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}.
165 When @code{view-file} is called interactively, it prompts for
166 @var{filename}.
167 @end deffn
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.
175 This variable works just like a normal hook, but we think that renaming
176 it would not be advisable.
177 @end defvar
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.
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
191 @node Subroutines of Visiting
192 @comment  node-name,  next,  previous,  up
193 @subsection Subroutines of Visiting
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.
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}.
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.
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
224 This function is used by @code{find-file-noselect}.
225 It uses @code{generate-new-buffer} (@pxref{Creating Buffers}).
226 @end defun
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}).
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}.
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.
244 The last thing @code{after-find-file} does is call all the functions
245 in @code{find-file-hooks}.
246 @end defun
248 @node Saving Buffers
249 @section Saving Buffers
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.
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.
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:
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.
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
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.
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
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
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
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}).
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.
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:
326 @example
327 (or buffer-backed-up (backup-buffer))
328 @end example
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.
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
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.
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
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.
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
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
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.
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.
381 Some modes set this variable non-@code{nil} locally in particular
382 buffers.
383 @end defvar
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.
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
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.
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
410 @node Reading from Files
411 @comment  node-name,  next,  previous,  up
412 @section Reading from Files
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.
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.
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}.
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.
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,
440 @example
441 (insert-file-contents filename nil 0 500)
442 @end example
444 @noindent
445 inserts the first 500 characters of a file.
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
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}.
458 @node Writing to Files
459 @comment  node-name,  next,  previous,  up
460 @section Writing to Files
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.
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}.
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
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}.
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.
486 If @var{append} is non-@code{nil}, then the specified text is appended
487 to the existing file contents (if any).
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.
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.
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}.
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
517 @node File Locks
518 @section File Locks
519 @cindex file locks
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.
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}.
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.
541 @example
542 @group
543 (file-locked-p "foo")
544      @result{} nil
545 @end group
546 @end example
547 @end defun
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
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
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:
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.
573 @item
574 A value of @code{nil} says to ignore the lock and let this
575 user edit the file anyway.
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.
582 The error message for this error looks like this:
584 @example
585 @error{} File is locked: @var{file} @var{other-user}
586 @end example
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
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
599 @node Information about Files
600 @section Information about Files
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.
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
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
621   These functions test for permission to access a file in specific ways.
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.)
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
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.
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
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
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.
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.
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
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.
699 Example: after the following,
701 @example
702 (file-accessible-directory-p "/foo")
703      @result{} nil
704 @end example
706 @noindent
707 we can deduce that any attempt to read a file in @file{/foo/} will
708 give an error.
709 @end defun
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
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}.
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.
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
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
751 @node Kinds of Files
752 @comment  node-name,  next,  previous,  up
753 @subsection Distinguishing Kinds of Files
755   This section describes how to distinguish various kinds of files, such
756 as directories, symbolic links, and ordinary files.
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.
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}.  
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
787 @c !!! file-symlink-p: should show output of ls -l for comparison
788 @end defun
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.
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
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
825 @node Truenames
826 @subsection Truenames
827 @cindex truename (of file)
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.
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
843   @xref{Buffer File Name}, for related information.
845 @node File Attributes
846 @comment  node-name,  next,  previous,  up
847 @subsection Other Information about Files
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.
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.
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.
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
878 @group
879 (set-file-modes "~/junk/diffs" 438)
880      @result{} nil
881 @end group
883 @group
884 (format "%o" 438)
885      @result{} "666"             ; @r{Convert to octal.}
886 @end group
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
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.
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
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
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}.
924 The elements of the list, in order, are:
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.
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}).
937 @item
938 The file's @sc{uid}.
940 @item
941 The file's @sc{gid}.
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}.)
949 @item
950 The time of last modification as a list of two integers (as above).
952 @item
953 The time of last status change as a list of two integers (as above).
955 @item
956 The size of the file in bytes.
958 @item
959 The file's modes, as a string of ten letters or dashes,
960 as in @samp{ls -l}.
962 @item
963 @code{t} if the file's @sc{gid} would change if file were
964 deleted and recreated; @code{nil} otherwise.
966 @item
967 The file's inode number.
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
976 For example, here are the file attributes for @file{files.texi}:
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
996 @noindent
997 and here is how the result is interpreted:
999 @table @code
1000 @item nil
1001 is neither a directory nor a symbolic link.
1003 @item 1
1004 has only one name (the name @file{files.texi} in the current default
1005 directory).
1007 @item 2235
1008 is owned by the user with @sc{uid} 2235.
1010 @item 75
1011 is in the group with @sc{gid} 75.
1013 @item (8489 20284)
1014 was last accessed on Aug 19 00:09.
1016 @item (8489 20284)
1017 was last modified on Aug 19 00:09.
1019 @item (8489 20285)
1020 last had its inode changed on Aug 19 00:09.
1022 @item 14906
1023 is 14906 characters long.
1025 @item "-rw-rw-rw-"
1026 has a mode of read and write access for the owner, group, and world.
1028 @item nil
1029 would retain the same @sc{gid} if it were recreated.
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
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
1046   The functions in this section rename, copy, delete, link, and set the
1047 modes of files.
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}:
1053 @itemize @bullet
1054 @item
1055 Signal a @code{file-already-exists} error if
1056 @var{ok-if-already-exists} is @code{nil}.
1058 @item
1059 Request confirmation if @var{ok-if-already-exists} is a number.
1061 @item
1062 Replace the old file without confirmation if @var{ok-if-already-exists}
1063 is any other value.
1064 @end itemize
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}.
1073 In the first part of the following example, we list two files,
1074 @file{foo} and @file{foo3}.
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
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}.
1088 @example
1089 @group
1090 (add-name-to-file "~/lewis/foo1" "~/lewis/foo2")
1091      @result{} nil
1092 @end group
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
1102 @c !!! Check whether this set of examples is consistent.  --rjc 15mar92
1103   Finally, we evaluate the following:
1105 @example
1106 (add-name-to-file "~/lewis/foo" "~/lewis/foo3" t)
1107 @end example
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.
1114 @example
1115 @group
1116 (add-name-to-file "~/lewis/foo1" "~/lewis/foo3")
1117      @result{} nil
1118 @end group
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
1128   This function is meaningless on VMS, where multiple names for one file
1129 are not allowed.
1131   See also @code{file-nlinks} in @ref{File Attributes}.
1132 @end defun
1134 @deffn Command rename-file filename newname &optional ok-if-already-exists
1135 This command renames the file @var{filename} as @var{newname}.
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.
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
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.
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.)
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
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.
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.)
1170 See also @code{delete-directory} in @ref{Create/Delete Dirs}.
1171 @end deffn
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}}.
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
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
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
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.
1202 The argument @var{mode} must be an integer.  Only the low 9 bits of
1203 @var{mode} are used.
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
1210 @defun default-file-modes
1211 This function returns the current default protection value.
1212 @end defun
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}.
1221 @node File Names
1222 @section File Names
1223 @cindex file names
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.
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.
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.
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.
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
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)
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.
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.
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.
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{>}.
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
1303 @defun file-name-nondirectory filename
1304   This function returns the nondirectory part of @var{filename}.
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
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.
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
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,
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
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
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.
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.
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{..}.
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]}.
1391 @example
1392 @group
1393 (file-name-as-directory "~rms/lewis")
1394      @result{} "~rms/lewis/"
1395 @end group
1396 @end example
1397 @end defun
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}.
1406 @example
1407 @group
1408 (directory-file-name "~lewis/")
1409      @result{} "~lewis"
1410 @end group
1411 @end example
1412 @end defun
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.
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.
1430 You can set this variable in @file{site-init.el} to describe the
1431 abbreviations appropriate for your site.
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.
1437 @example
1438 (("^/home/fsf" . "/fsf")
1439  ("^/home/gp" . "/gp")
1440  ("^/home/gd" . "/gd"))
1441 @end example
1442 @end defvar
1444   To convert a directory name to its abbreviation, use this
1445 function:
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
1453 @node Relative File Names
1454 @subsection Absolute and Relative File Names
1455 @cindex absolute file name
1456 @cindex relative file name
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.
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.
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
1488 @node File Name Expansion
1489 @subsection Functions that Expand Filenames
1490 @cindex expansion of file names
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}/../}.
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:
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
1525 Filenames containing @samp{.} or @samp{..} are simplified to their
1526 canonical form:
1528 @example
1529 @group
1530 (expand-file-name "bar/../foo")
1531      @result{} "/xcssun/users/rms/lewis/foo"
1532 @end group
1533 @end example
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:
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
1552 @noindent
1553 In both cases, @file{/a1/gnu/} is discarded because an absolute file
1554 name follows it.
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
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}.
1566 On some operating systems, an absolute file name begins with a device
1567 name.  On such systems, @var{filename} has no relative equivalent based
1568 on @var{directory} if they start with two different device names.  In
1569 this case, @code{file-relative-name} returns @var{filename} in absolute
1570 form.
1572 @example
1573 (file-relative-name "/foo/bar" "/foo/")
1574      @result{} "bar")
1575 (file-relative-name "/foo/bar" "/hack/")
1576      @result{} "/foo/bar")
1577 @end example
1578 @end defun
1580 @defvar default-directory
1581 The value of this buffer-local variable is the default directory for the
1582 current buffer.  It should be an absolute directory name; it may start
1583 with @samp{~}.  This variable is local in every buffer.
1585 @code{expand-file-name} uses the default directory when its second
1586 argument is @code{nil}.
1588 On Unix systems, the value is always a string ending with a slash.
1590 @example
1591 @group
1592 default-directory
1593      @result{} "/user/lewis/manual/"
1594 @end group
1595 @end example
1596 @end defvar
1598 @defun substitute-in-file-name filename
1599 This function replaces environment variables references in
1600 @var{filename} with the environment variable values.  Following standard
1601 Unix shell syntax, @samp{$} is the prefix to substitute an environment
1602 variable value.
1604 The environment variable name is the series of alphanumeric characters
1605 (including underscores) that follow the @samp{$}.  If the character following
1606 the @samp{$} is a @samp{@{}, then the variable name is everything up to the
1607 matching @samp{@}}.
1609 @c Wordy to avoid overfull hbox.  --rjc 15mar92
1610 Here we assume that the environment variable @code{HOME}, which holds
1611 the user's home directory name, has value @samp{/xcssun/users/rms}.
1613 @example
1614 @group
1615 (substitute-in-file-name "$HOME/foo")
1616      @result{} "/xcssun/users/rms/foo"
1617 @end group
1618 @end example
1620 If a @samp{~} or a @samp{/} appears following a @samp{/}, after
1621 substitution, everything before the following @samp{/} is discarded:
1623 @example
1624 @group
1625 (substitute-in-file-name "bar/~/foo")
1626      @result{} "~/foo"
1627 @end group
1628 @group
1629 (substitute-in-file-name "/usr/local/$HOME/foo")
1630      @result{} "/xcssun/users/rms/foo"
1631 @end group
1632 @end example
1634 On VMS, @samp{$} substitution is not done, so this function does nothing
1635 on VMS except discard superfluous initial components as shown above.
1636 @end defun
1638 @node Unique File Names
1639 @subsection Generating Unique File Names
1641   Some programs need to write temporary files.  Here is the usual way to
1642 construct a name for such a file:
1644 @example
1645 (make-temp-name (concat "/tmp/" @var{name-of-application}))
1646 @end example
1648 @noindent
1649 Here we use the directory @file{/tmp/} because that is the standard
1650 place on Unix for temporary files.  The job of @code{make-temp-name} is
1651 to prevent two different users or two different jobs from trying to use
1652 the same name.
1654 @defun make-temp-name string
1655 This function generates string that can be used as a unique name.  The
1656 name starts with @var{string}, and ends with a number that is different
1657 in each Emacs job.
1659 @example
1660 @group
1661 (make-temp-name "/tmp/foo")
1662      @result{} "/tmp/foo021304"
1663 @end group
1664 @end example
1666 To prevent conflicts among different libraries running in the same
1667 Emacs, each Lisp program that uses @code{make-temp-name} should have its
1668 own @var{string}.  The number added to the end of the name distinguishes
1669 between the same application running in different Emacs jobs.
1670 @end defun
1672 @node File Name Completion
1673 @subsection File Name Completion
1674 @cindex file name completion subroutines
1675 @cindex completion, file name
1677   This section describes low-level subroutines for completing a file
1678 name.  For other completion functions, see @ref{Completion}.
1680 @defun file-name-all-completions partial-filename directory
1681 This function returns a list of all possible completions for a file
1682 whose name starts with @var{partial-filename} in directory
1683 @var{directory}.  The order of the completions is the order of the files
1684 in the directory, which is unpredictable and conveys no useful
1685 information.
1687 The argument @var{partial-filename} must be a file name containing no
1688 directory part and no slash.  The current buffer's default directory is
1689 prepended to @var{directory}, if @var{directory} is not absolute.
1691 In the following example, suppose that @file{~rms/lewis} is the current
1692 default directory, and has five files whose names begin with @samp{f}:
1693 @file{foo}, @file{file~}, @file{file.c}, @file{file.c.~1~}, and
1694 @file{file.c.~2~}.@refill
1696 @example
1697 @group
1698 (file-name-all-completions "f" "")
1699      @result{} ("foo" "file~" "file.c.~2~" 
1700                 "file.c.~1~" "file.c")
1701 @end group
1703 @group
1704 (file-name-all-completions "fo" "")  
1705      @result{} ("foo")
1706 @end group
1707 @end example
1708 @end defun
1710 @defun file-name-completion filename directory
1711 This function completes the file name @var{filename} in directory
1712 @var{directory}.  It returns the longest prefix common to all file names
1713 in directory @var{directory} that start with @var{filename}.
1715 If only one match exists and @var{filename} matches it exactly, the
1716 function returns @code{t}.  The function returns @code{nil} if directory
1717 @var{directory} contains no name starting with @var{filename}.
1719 In the following example, suppose that the current default directory
1720 has five files whose names begin with @samp{f}: @file{foo},
1721 @file{file~}, @file{file.c}, @file{file.c.~1~}, and
1722 @file{file.c.~2~}.@refill
1724 @example
1725 @group
1726 (file-name-completion "fi" "")
1727      @result{} "file"
1728 @end group
1730 @group
1731 (file-name-completion "file.c.~1" "")
1732      @result{} "file.c.~1~"
1733 @end group
1735 @group
1736 (file-name-completion "file.c.~1~" "")
1737      @result{} t
1738 @end group
1740 @group
1741 (file-name-completion "file.c.~3" "")
1742      @result{} nil
1743 @end group
1744 @end example
1745 @end defun
1747 @defopt completion-ignored-extensions
1748 @code{file-name-completion} usually ignores file names that end in any
1749 string in this list.  It does not ignore them when all the possible
1750 completions end in one of these suffixes or when a buffer showing all
1751 possible completions is displayed.@refill
1753 A typical value might look like this:
1755 @example
1756 @group
1757 completion-ignored-extensions
1758      @result{} (".o" ".elc" "~" ".dvi")
1759 @end group
1760 @end example
1761 @end defopt
1763 @node Standard File Names
1764 @subsection Standard File Names
1766   Most of the file names used in Lisp programs are entered by the user.
1767 But occasionally a Lisp program needs to specify a standard file name
1768 for a particular use---typically, to hold customization information
1769 about each user.  For example, abbrev definitions are stored (by
1770 default) in the file @file{~/.abbrev_defs}; the @code{completion}
1771 package stores completions in the file @file{~/.completions}.  These are
1772 two of the many standard file names used by parts of Emacs for certain
1773 purposes.
1775   Various operating systems have their own conventions for valid file
1776 names and for which file names to use for user profile data.  A Lisp
1777 program which reads a file using a standard file name ought to use, on
1778 each type of system, a file name suitable for that system.  The function
1779 @code{convert-standard-filename} makes this easy to do.
1781 @defun convert-standard-filename filename
1782 This function alters the file name @var{filename} to fit the conventions
1783 of the operating system in use, and returns the result as a new string.
1784 @end defun
1786   The recommended way to specify a standard file name in a Lisp program
1787 is to choose a name which fits the conventions of GNU and Unix systems,
1788 usually with a nondirectory part that starts with a period, and pass it
1789 to @code{convert-standard-filename} instead of using it directly.  Here
1790 is an example from the @code{completion} package:
1792 @example
1793 (defvar save-completions-file-name
1794         (convert-standard-filename "~/.completions")
1795   "*The file name to save completions to.")
1796 @end example
1798   On GNU and Unix systems, and on some other systems as well,
1799 @code{convert-standard-filename} returns its argument unchanged.  On
1800 some other systems, it alters the name to fit the systems's conventions.
1802   For example, on MS-DOS the alterations made by this function include
1803 converting a leading @samp{.}  to @samp{_}, converting a @samp{_} in the
1804 middle of the name to @samp{.} if there is no other @samp{.}, inserting
1805 a @samp{.} after eight characters if there is none, and truncating to
1806 three characters after the @samp{.}.  (It makes other changes as well.)
1807 Thus, @file{.abbrev_defs} becomes @file{_abbrev.def}, and
1808 @file{.completions} becomes @file{_complet.ion}.
1810 @node Contents of Directories
1811 @section Contents of Directories
1812 @cindex directory-oriented functions
1813 @cindex file names in directory
1815   A directory is a kind of file that contains other files entered under
1816 various names.  Directories are a feature of the file system.
1818   Emacs can list the names of the files in a directory as a Lisp list,
1819 or display the names in a buffer using the @code{ls} shell command.  In
1820 the latter case, it can optionally display information about each file,
1821 depending on the options passed to the @code{ls} command.
1823 @defun directory-files directory &optional full-name match-regexp nosort
1824 This function returns a list of the names of the files in the directory
1825 @var{directory}.  By default, the list is in alphabetical order.
1827 If @var{full-name} is non-@code{nil}, the function returns the files'
1828 absolute file names.  Otherwise, it returns the names relative to
1829 the specified directory.
1831 If @var{match-regexp} is non-@code{nil}, this function returns only
1832 those file names that contain a match for that regular expression---the
1833 other file names are excluded from the list.
1835 @c Emacs 19 feature
1836 If @var{nosort} is non-@code{nil}, @code{directory-files} does not sort
1837 the list, so you get the file names in no particular order.  Use this if
1838 you want the utmost possible speed and don't care what order the files
1839 are processed in.  If the order of processing is visible to the user,
1840 then the user will probably be happier if you do sort the names.
1842 @example
1843 @group
1844 (directory-files "~lewis")
1845      @result{} ("#foo#" "#foo.el#" "." ".."
1846          "dired-mods.el" "files.texi" 
1847          "files.texi.~1~")
1848 @end group
1849 @end example
1851 An error is signaled if @var{directory} is not the name of a directory
1852 that can be read.
1853 @end defun
1855 @defun file-name-all-versions file dirname
1856 This function returns a list of all versions of the file named
1857 @var{file} in directory @var{dirname}.
1858 @end defun
1860 @defun insert-directory file switches &optional wildcard full-directory-p
1861 This function inserts (in the current buffer) a directory listing for
1862 directory @var{file}, formatted with @code{ls} according to
1863 @var{switches}.  It leaves point after the inserted text.
1865 The argument @var{file} may be either a directory name or a file
1866 specification including wildcard characters.  If @var{wildcard} is
1867 non-@code{nil}, that means treat @var{file} as a file specification with
1868 wildcards.
1870 If @var{full-directory-p} is non-@code{nil}, that means @var{file} is a
1871 directory and switches do not contain @samp{-d}, so that the listing
1872 should show the full contents of the directory.  (The @samp{-d} option
1873 to @code{ls} says to describe a directory itself rather than its
1874 contents.)
1876 This function works by running a directory listing program whose name is
1877 in the variable @code{insert-directory-program}.  If @var{wildcard} is
1878 non-@code{nil}, it also runs the shell specified by
1879 @code{shell-file-name}, to expand the wildcards.
1880 @end defun
1882 @defvar insert-directory-program
1883 This variable's value is the program to run to generate a directory listing
1884 for the function @code{insert-directory}.
1885 @end defvar
1887 @node Create/Delete Dirs
1888 @section Creating and Deleting Directories
1889 @c Emacs 19 features
1891   Most Emacs Lisp file-manipulation functions get errors when used on
1892 files that are directories.  For example, you cannot delete a directory
1893 with @code{delete-file}.  These special functions exist to create and
1894 delete directories.
1896 @defun make-directory dirname
1897 This function creates a directory named @var{dirname}.
1898 @end defun
1900 @defun delete-directory dirname
1901 This function deletes the directory named @var{dirname}.  The function
1902 @code{delete-file} does not work for files that are directories; you
1903 must use @code{delete-directory} for them.  If the directory contains
1904 any files, @code{delete-directory} signals an error.
1905 @end defun
1907 @node Magic File Names
1908 @section Making Certain File Names ``Magic''
1909 @cindex magic file names
1911 @c Emacs 19 feature
1912 You can implement special handling for certain file names.  This is
1913 called making those names @dfn{magic}.  You must supply a regular
1914 expression to define the class of names (all those that match the
1915 regular expression), plus a handler that implements all the primitive
1916 Emacs file operations for file names that do match.
1918 The variable @code{file-name-handler-alist} holds a list of handlers,
1919 together with regular expressions that determine when to apply each
1920 handler.  Each element has this form:
1922 @example
1923 (@var{regexp} . @var{handler})
1924 @end example
1926 @noindent
1927 All the Emacs primitives for file access and file name transformation
1928 check the given file name against @code{file-name-handler-alist}.  If
1929 the file name matches @var{regexp}, the primitives handle that file by
1930 calling @var{handler}.
1932 The first argument given to @var{handler} is the name of the primitive;
1933 the remaining arguments are the arguments that were passed to that
1934 operation.  (The first of these arguments is typically the file name
1935 itself.)  For example, if you do this:
1937 @example
1938 (file-exists-p @var{filename})
1939 @end example
1941 @noindent
1942 and @var{filename} has handler @var{handler}, then @var{handler} is
1943 called like this:
1945 @example
1946 (funcall @var{handler} 'file-exists-p @var{filename})
1947 @end example
1949 Here are the operations that a magic file name handler gets to handle:
1951 @noindent
1952 @code{add-name-to-file}, @code{copy-file}, @code{delete-directory},
1953 @code{delete-file},@*
1954 @code{diff-latest-backup-file},
1955 @code{directory-file-name},
1956 @code{directory-files},@*
1957 @code{dired-call-process},
1958 @code{dired-compress-file}, @code{dired-uncache},
1959 @code{expand-file-name},@*
1960 @code{file-accessible-directory-p},
1961 @code{file-attributes}, @code{file-directory-p},@*
1962 @code{file-executable-p}, @code{file-exists-p}, @code{file-local-copy},
1963 @code{file-modes}, @code{file-name-all-completions},
1964 @code{file-name-as-directory}, @code{file-name-completion},@*
1965 @code{file-name-directory},
1966 @code{file-name-nondirectory},
1967 @code{file-name-sans-versions}, @code{file-newer-than-file-p},
1968 @code{file-ownership-preserved-p},
1969 @code{file-readable-p}, @code{file-regular-p}, @code{file-symlink-p},
1970 @code{file-truename}, @code{file-writable-p},
1971 @code{find-backup-file-name},
1972 @code{get-file-buffer},
1973 @code{insert-directory},@*
1974 @code{insert-file-contents},
1975 @code{load}, @code{make-directory},
1976 @code{make-symbolic-link}, @code{rename-file}, @code{set-file-modes},
1977 @code{set-visited-file-modtime}, @code{shell-command}.
1978 @code{unhandled-file-name-directory},@*
1979 @code{vc-registered},
1980 @code{verify-visited-file-modtime}, @code{write-region}.
1982 Handlers for @code{insert-file-contents} typically need to clear the
1983 buffer's modified flag, with @code{(set-buffer-modified-p nil)}, if the
1984 @var{visit} argument is non-@code{nil}.  This also has the effect of
1985 unlocking the buffer if it is locked.
1987 The handler function must handle all of the above operations, and
1988 possibly others to be added in the future.  It need not implement all
1989 these operations itself---when it has nothing special to do for a
1990 certain operation, it can reinvoke the primitive, to handle the
1991 operation ``in the usual way''.  It should always reinvoke the primitive
1992 for an operation it does not recognize.  Here's one way to do this:
1994 @smallexample
1995 (defun my-file-handler (operation &rest args)
1996   ;; @r{First check for the specific operations}
1997   ;; @r{that we have special handling for.}
1998   (cond ((eq operation 'insert-file-contents) @dots{})
1999         ((eq operation 'write-region) @dots{})
2000         @dots{}
2001         ;; @r{Handle any operation we don't know about.}
2002         (t (let ((inhibit-file-name-handlers
2003                  (cons 'my-file-handler 
2004                        (and (eq inhibit-file-name-operation operation)
2005                             inhibit-file-name-handlers)))
2006                 (inhibit-file-name-operation operation))
2007              (apply operation args)))))
2008 @end smallexample
2010 When a handler function decides to call the ordinary Emacs primitive for
2011 the operation at hand, it needs to prevent the primitive from calling
2012 the same handler once again, thus leading to an infinite recursion.  The
2013 example above shows how to do this, with the variables
2014 @code{inhibit-file-name-handlers} and
2015 @code{inhibit-file-name-operation}.  Be careful to use them exactly as
2016 shown above; the details are crucial for proper behavior in the case of
2017 multiple handlers, and for operations that have two file names that may
2018 each have handlers.
2020 @defvar inhibit-file-name-handlers
2021 This variable holds a list of handlers whose use is presently inhibited
2022 for a certain operation.
2023 @end defvar
2025 @defvar inhibit-file-name-operation
2026 The operation for which certain handlers are presently inhibited.
2027 @end defvar
2029 @defun find-file-name-handler file operation
2030 This function returns the handler function for file name @var{file}, or
2031 @code{nil} if there is none.  The argument @var{operation} should be the
2032 operation to be performed on the file---the value you will pass to the
2033 handler as its first argument when you call it.  The operation is needed
2034 for comparison with @code{inhibit-file-name-operation}.
2035 @end defun
2037 @defun file-local-copy filename
2038 This function copies file @var{filename} to an ordinary non-magic file,
2039 if it isn't one already.
2041 If @var{filename} specifies a ``magic'' file name, which programs
2042 outside Emacs cannot directly read or write, this copies the contents to
2043 an ordinary file and returns that file's name.
2045 If @var{filename} is an ordinary file name, not magic, then this function
2046 does nothing and returns @code{nil}.
2047 @end defun
2049 @defun unhandled-file-name-directory filename
2050 This function returns the name of a directory that is not magic.
2051 It uses the directory part of @var{filename} if that is not magic.
2052 Otherwise, it asks the handler what to do.
2054 This is useful for running a subprocess; every subprocess must have a
2055 non-magic directory to serve as its current directory, and this function
2056 is a good way to come up with one.
2057 @end defun
2059 @node Format Conversion
2060 @section File Format Conversion
2062 @cindex file format conversion
2063 @cindex encoding file formats
2064 @cindex decoding file formats
2065   The variable @code{format-alist} defines a list of @dfn{file formats},
2066 which describe textual representations used in files for the data (text,
2067 text-properties, and possibly other information) in an Emacs buffer.
2068 Emacs performs format conversion if appropriate when reading and writing
2069 files.
2071 @defvar format-alist
2072 This list contains one format definition for each defined file format.
2073 @end defvar
2075 @cindex format definition
2076 Each format definition is a list of this form:
2078 @example
2079 (@var{name} @var{doc-string} @var{regexp} @var{from-fn} @var{to-fn} @var{modify} @var{mode-fn})
2080 @end example
2082 Here is what the elements in a format definition mean:
2084 @table @var
2085 @item name
2086 The name of this format.
2088 @item doc-string
2089 A documentation string for the format.
2091 @item regexp
2092 A regular expression which is used to recognize files represented in
2093 this format.
2095 @item from-fn
2096 A function to call to decode data in this format (to convert file data into
2097 the usual Emacs data representation).
2099 The @var{from-fn} is called with two args, @var{begin} and @var{end},
2100 which specify the part of the buffer it should convert.  It should convert
2101 the text by editing it in place.  Since this can change the length of the
2102 text, @var{from-fn} should return the modified end position.
2104 One responsibility of @var{from-fn} is to make sure that the beginning
2105 of the file no longer matches @var{regexp}.  Otherwise it is likely to
2106 get called again.
2108 @item to-fn
2109 A function to call to encode data in this format (to convert
2110 the usual Emacs data representation into this format).
2112 The @var{to-fn} is called with two args, @var{begin} and @var{end},
2113 which specify the part of the buffer it should convert.  There are
2114 two ways it can do the conversion:
2116 @itemize @bullet
2117 @item
2118 By editing the buffer in place.  In this case, @var{to-fn} should
2119 return the end-position of the range of text, as modified.
2121 @item
2122 By returning a list of annotations.  This is a list of elements of the
2123 form @code{(@var{position} . @var{string})}, where @var{position} is an
2124 integer specifying the relative position in the text to be written, and
2125 @var{string} is the annotation to add there.  The list must be sorted in
2126 order of position when @var{to-fn} returns it.
2128 When @code{write-region} actually writes the text from the buffer to the
2129 file, it intermixes the specified annotations at the corresponding
2130 positions.  All this takes place without modifying the buffer.
2131 @end itemize
2133 @item modify
2134 A flag, @code{t} if the encoding function modifies the buffer, and
2135 @code{nil} if it works by returning a list of annotations.
2137 @item mode
2138 A mode function to call after visiting a file converted from this
2139 format.
2140 @end table
2142 The function @code{insert-file-contents} automatically recognizes file
2143 formats when it reads the specified file.  It checks the text of the
2144 beginning of the file against the regular expressions of the format
2145 definitions, and if it finds a match, it calls the decoding function for
2146 that format.  Then it checks all the known formats over again.
2147 It keeps checking them until none of them is applicable.
2149 Visiting a file, with @code{find-file-noselect} or the commands that use
2150 it, performs conversion likewise (because it calls
2151 @code{insert-file-contents}); it also calls the mode function for each
2152 format that it decodes.  It stores a list of the format names in the
2153 buffer-local variable @code{buffer-file-format}.
2155 @defvar buffer-file-format
2156 This variable states the format of the visited file.  More precisely,
2157 this is a list of the file format names that were decoded in the course
2158 of visiting the current buffer's file.  It is always local in all
2159 buffers.
2160 @end defvar
2162 When @code{write-region} writes data into a file, it first calls the
2163 encoding functions for the formats listed in @code{buffer-file-format},
2164 in the order of appearance in the list.
2166 @defun format-write-file file format
2167 This command writes the current buffer contents into the file @var{file}
2168 in format @var{format}, and makes that format the default for future
2169 saves of the buffer.  The argument @var{format} is a list of format
2170 names.
2171 @end defun
2173 @defun format-find-file file format
2174 This command finds the file @var{file}, converting it according to
2175 format @var{format}.  It also makes @var{format} the default if the
2176 buffer is saved later.
2178 The argument @var{format} is a list of format names.  If @var{format} is
2179 @code{nil}, no conversion takes place.  Interactively, typing just
2180 @key{RET} for @var{format} specifies @code{nil}.
2181 @end defun
2183 @defun format-insert-file file format %optional beg end
2184 This command inserts the contents of file @var{file}, converting it
2185 according to format @var{format}.  If @var{beg} and @var{end} are
2186 non-@code{nil}, they specify which part of the file to read, as in
2187 @code{insert-file-contents} (@pxref{Reading from Files}).
2189 The return value is like what @code{insert-file-contents} returns: a
2190 list of the absolute file name and the length of the data inserted
2191 (after conversion).
2193 The argument @var{format} is a list of format names.  If @var{format} is
2194 @code{nil}, no conversion takes place.  Interactively, typing just
2195 @key{RET} for @var{format} specifies @code{nil}.
2196 @end defun
2198 @defvar auto-save-file-format
2199 This variable specifies the format to use for auto-saving.  Its value is
2200 a list of format names, just like the value of
2201 @code{buffer-file-format}; but it is used instead of
2202 @code{buffer-file-format} for writing auto-save files.  This variable
2203 is always local in all buffers.
2204 @end defvar
2206 @node Files and MS-DOS
2207 @section Files and MS-DOS
2208 @cindex MS-DOS file types
2209 @cindex file types on MS-DOS
2210 @cindex text files and binary files
2211 @cindex binary files and text files
2212 @cindex Windows file types
2214   Emacs on MS-DOS and on Windows NT or 95 makes a distinction between
2215 text files and binary files.  This is necessary because ordinary text
2216 files on MS-DOS use a two character sequence between lines:
2217 carriage-return and linefeed (@sc{crlf}).  Emacs expects just a newline
2218 character (a linefeed) between lines.  When Emacs reads or writes a text
2219 file on MS-DOS, it needs to convert the line separators.  This means it
2220 needs to know which files are text files and which are binary.  It makes
2221 this decision when visiting a file, and records the decision in the
2222 variable @code{buffer-file-type} for use when the file is saved.
2224   @xref{MS-DOS Subprocesses}, for a related feature for subprocesses.
2226 @defvar buffer-file-type
2227 This variable, automatically local in each buffer, records the file type
2228 of the buffer's visited file.  The value is @code{nil} for text,
2229 @code{t} for binary.
2230 @end defvar
2232 @defun find-buffer-file-type filename
2233 This function determines whether file @var{filename} is a text file
2234 or a binary file.  It returns @code{nil} for text, @code{t} for binary.
2235 @end defun
2237 @defopt file-name-buffer-file-type-alist
2238 This variable holds an alist for distinguishing text files from binary
2239 files.  Each element has the form (@var{regexp} . @var{type}), where
2240 @var{regexp} is matched against the file name, and @var{type} may be is
2241 @code{nil} for text, @code{t} for binary, or a function to call to
2242 compute which.  If it is a function, then it is called with a single
2243 argument (the file name) and should return @code{t} or @code{nil}.
2244 @end defopt
2246 @defopt default-buffer-file-type
2247 This variable specifies the default file type for files whose names
2248 don't indicate anything in particular.  Its value should be @code{nil}
2249 for text, or @code{t} for binary.
2250 @end defopt
2252 @deffn Command find-file-text filename
2253 Like @code{find-file}, but treat the file as text regardless of its name.
2254 @end deffn
2256 @deffn Command find-file-binary filename
2257 Like @code{find-file}, but treat the file as binary regardless of its
2258 name.
2259 @end deffn