Fix wording.
[bpt/emacs.git] / lispref / files.texi
CommitLineData
3e01fd9d
RS
1@c -*-texinfo-*-
2@c This is part of the GNU Emacs Lisp Reference Manual.
a0465ec3 3@c Copyright (C) 1990, 1991, 1992, 1993, 1994, 1995, 1998, 1999, 2004
177c0ea7 4@c Free Software Foundation, Inc.
3e01fd9d
RS
5@c See the file elisp.texi for copying conditions.
6@setfilename ../info/files
7@node Files, Backups and Auto-Saving, Documentation, Top
8@comment node-name, next, previous, up
9@chapter Files
10
11 In Emacs, you can find, create, view, save, and otherwise work with
12files and file directories. This chapter describes most of the
13file-related functions of Emacs Lisp, but a few others are described in
14@ref{Buffers}, and those related to backups and auto-saving are
15described in @ref{Backups and Auto-Saving}.
16
b22f3a19
RS
17 Many of the file functions take one or more arguments that are file
18names. A file name is actually a string. Most of these functions
a9f0a989 19expand file name arguments by calling @code{expand-file-name}, so that
b22f3a19
RS
20@file{~} is handled correctly, as are relative file names (including
21@samp{../}). These functions don't recognize environment variable
22substitutions such as @samp{$HOME}. @xref{File Name Expansion}.
23
2468d0c0
DL
24 When file I/O functions signal Lisp errors, they usually use the
25condition @code{file-error} (@pxref{Handling Errors}). The error
26message is in most cases obtained from the operating system, according
27to locale @code{system-message-locale}, and decoded using coding system
28@code{locale-coding-system} (@pxref{Locales}).
29
3e01fd9d
RS
30@menu
31* Visiting Files:: Reading files into Emacs buffers for editing.
32* Saving Buffers:: Writing changed buffers back into files.
33* Reading from Files:: Reading files into buffers without visiting.
34* Writing to Files:: Writing new files from parts of buffers.
35* File Locks:: Locking and unlocking files, to prevent
36 simultaneous editing by two people.
37* Information about Files:: Testing existence, accessibility, size of files.
f9f59935 38* Changing Files:: Renaming files, changing protection, etc.
3e01fd9d
RS
39* File Names:: Decomposing and expanding file names.
40* Contents of Directories:: Getting a list of the files in a directory.
41* Create/Delete Dirs:: Creating and Deleting Directories.
42* Magic File Names:: Defining "magic" special handling
43 for certain file names.
22697dac 44* Format Conversion:: Conversion to and from various file formats.
3e01fd9d
RS
45@end menu
46
47@node Visiting Files
48@section Visiting Files
49@cindex finding files
50@cindex visiting files
51
52 Visiting a file means reading a file into a buffer. Once this is
53done, we say that the buffer is @dfn{visiting} that file, and call the
54file ``the visited file'' of the buffer.
55
56 A file and a buffer are two different things. A file is information
57recorded permanently in the computer (unless you delete it). A buffer,
58on the other hand, is information inside of Emacs that will vanish at
59the end of the editing session (or when you kill the buffer). Usually,
60a buffer contains information that you have copied from a file; then we
61say the buffer is visiting that file. The copy in the buffer is what
62you modify with editing commands. Such changes to the buffer do not
63change the file; therefore, to make the changes permanent, you must
64@dfn{save} the buffer, which means copying the altered buffer contents
65back into the file.
66
67 In spite of the distinction between files and buffers, people often
68refer to a file when they mean a buffer and vice-versa. Indeed, we say,
b22f3a19 69``I am editing a file,'' rather than, ``I am editing a buffer that I
3e01fd9d
RS
70will soon save as a file of the same name.'' Humans do not usually need
71to make the distinction explicit. When dealing with a computer program,
72however, it is good to keep the distinction in mind.
73
74@menu
75* Visiting Functions:: The usual interface functions for visiting.
76* Subroutines of Visiting:: Lower-level subroutines that they use.
77@end menu
78
79@node Visiting Functions
80@subsection Functions for Visiting Files
81
82 This section describes the functions normally used to visit files.
83For historical reasons, these functions have names starting with
84@samp{find-} rather than @samp{visit-}. @xref{Buffer File Name}, for
85functions and variables that access the visited file name of a buffer or
86that find an existing buffer by its visited file name.
87
bfe721d1
KH
88 In a Lisp program, if you want to look at the contents of a file but
89not alter it, the fastest way is to use @code{insert-file-contents} in a
90temporary buffer. Visiting the file is not necessary and takes longer.
91@xref{Reading from Files}.
92
b6954afd 93@deffn Command find-file filename &optional wildcards
3e01fd9d 94This command selects a buffer visiting the file @var{filename},
177c0ea7 95using an existing buffer if there is one, and otherwise creating a
3e01fd9d
RS
96new buffer and reading the file into it. It also returns that buffer.
97
19efcb46
LT
98Aside from some technical details, the body of the @code{find-file}
99function is basically equivalent to:
3e01fd9d
RS
100
101@example
19efcb46 102(switch-to-buffer (find-file-noselect filename nil nil wildcards))
3e01fd9d
RS
103@end example
104
105@noindent
106(See @code{switch-to-buffer} in @ref{Displaying Buffers}.)
107
b6954afd
RS
108If @var{wildcards} is non-@code{nil}, which is always true in an
109interactive call, then @code{find-file} expands wildcard characters in
110@var{filename} and visits all the matching files.
111
3e01fd9d
RS
112When @code{find-file} is called interactively, it prompts for
113@var{filename} in the minibuffer.
114@end deffn
115
b6954afd 116@defun find-file-noselect filename &optional nowarn rawfile wildcards
3e01fd9d
RS
117This function is the guts of all the file-visiting functions. It finds
118or creates a buffer visiting the file @var{filename}, and returns it.
119It uses an existing buffer if there is one, and otherwise creates a new
120buffer and reads the file into it. You may make the buffer current or
121display it in a window if you wish, but this function does not do so.
122
08f0f5e9
KH
123If @var{wildcards} is non-@code{nil},
124then @code{find-file-noselect} expands wildcard
b6954afd
RS
125characters in @var{filename} and visits all the matching files.
126
3e01fd9d
RS
127When @code{find-file-noselect} uses an existing buffer, it first
128verifies that the file has not changed since it was last visited or
129saved in that buffer. If the file has changed, then this function asks
130the user whether to reread the changed file. If the user says
131@samp{yes}, any changes previously made in the buffer are lost.
132
f9f59935 133This function displays warning or advisory messages in various peculiar
969fe9b5
RS
134cases, unless the optional argument @var{nowarn} is non-@code{nil}. For
135example, if it needs to create a buffer, and there is no file named
8241495d 136@var{filename}, it displays the message @samp{(New file)} in the echo
969fe9b5 137area, and leaves the buffer empty.
f9f59935
RS
138
139The @code{find-file-noselect} function normally calls
140@code{after-find-file} after reading the file (@pxref{Subroutines of
141Visiting}). That function sets the buffer major mode, parses local
142variables, warns the user if there exists an auto-save file more recent
143than the file just visited, and finishes by running the functions in
f2aa473a 144@code{find-file-hook}.
f9f59935
RS
145
146If the optional argument @var{rawfile} is non-@code{nil}, then
147@code{after-find-file} is not called, and the
f2aa473a 148@code{find-file-not-found-functions} are not run in case of failure. What's
f9f59935
RS
149more, a non-@code{nil} @var{rawfile} value suppresses coding system
150conversion (@pxref{Coding Systems}) and format conversion (@pxref{Format
151Conversion}).
3e01fd9d 152
80e8b2c2
KH
153The @code{find-file-noselect} function usually returns the buffer that
154is visiting the file @var{filename}. But, if wildcards are actually
a540f6ed 155used and expanded, it returns a list of buffers that are visiting the
80e8b2c2 156various files.
3e01fd9d
RS
157
158@example
159@group
160(find-file-noselect "/etc/fstab")
161 @result{} #<buffer fstab>
162@end group
163@end example
164@end defun
165
b6954afd 166@deffn Command find-file-other-window filename &optional wildcards
3e01fd9d
RS
167This command selects a buffer visiting the file @var{filename}, but
168does so in a window other than the selected window. It may use another
169existing window or split a window; see @ref{Displaying Buffers}.
170
171When this command is called interactively, it prompts for
172@var{filename}.
173@end deffn
174
b6954afd 175@deffn Command find-file-read-only filename &optional wildcards
3e01fd9d
RS
176This command selects a buffer visiting the file @var{filename}, like
177@code{find-file}, but it marks the buffer as read-only. @xref{Read Only
178Buffers}, for related functions and variables.
179
180When this command is called interactively, it prompts for
181@var{filename}.
182@end deffn
183
184@deffn Command view-file filename
f1e2c45e
RS
185This command visits @var{filename} using View mode, returning to the
186previous buffer when you exit View mode. View mode is a minor mode that
187provides commands to skim rapidly through the file, but does not let you
188modify the text. Entering View mode runs the normal hook
bfe721d1 189@code{view-mode-hook}. @xref{Hooks}.
3e01fd9d
RS
190
191When @code{view-file} is called interactively, it prompts for
192@var{filename}.
193@end deffn
194
b6954afd 195@tindex find-file-wildcards
19efcb46 196@defopt find-file-wildcards
b6954afd
RS
197If this variable is non-@code{nil}, then the various @code{find-file}
198commands check for wildcard characters and visit all the files that
19efcb46
LT
199match them (when invoked interactively or when their @var{wildcards}
200argument is non-@code{nil}). If this option is @code{nil}, then
201the @code{find-file} commands ignore their @var{wildcards} argument
202and never treat wildcard characters specially.
203@end defopt
b6954afd 204
f2aa473a 205@defvar find-file-hook
3e01fd9d
RS
206The value of this variable is a list of functions to be called after a
207file is visited. The file's local-variables specification (if any) will
208have been processed before the hooks are run. The buffer visiting the
209file is current when the hook functions are run.
210
19efcb46 211This variable is a normal hook. @xref{Hooks}.
3e01fd9d
RS
212@end defvar
213
f2aa473a 214@defvar find-file-not-found-functions
3e01fd9d
RS
215The value of this variable is a list of functions to be called when
216@code{find-file} or @code{find-file-noselect} is passed a nonexistent
217file name. @code{find-file-noselect} calls these functions as soon as
218it detects a nonexistent file. It calls them in the order of the list,
219until one of them returns non-@code{nil}. @code{buffer-file-name} is
220already set up.
221
222This is not a normal hook because the values of the functions are
f9f59935 223used, and in many cases only some of the functions are called.
3e01fd9d
RS
224@end defvar
225
226@node Subroutines of Visiting
227@comment node-name, next, previous, up
228@subsection Subroutines of Visiting
229
a9f0a989
RS
230 The @code{find-file-noselect} function uses two important subroutines
231which are sometimes useful in user Lisp code: @code{create-file-buffer}
232and @code{after-find-file}. This section explains how to use them.
3e01fd9d
RS
233
234@defun create-file-buffer filename
235This function creates a suitably named buffer for visiting
236@var{filename}, and returns it. It uses @var{filename} (sans directory)
237as the name if that name is free; otherwise, it appends a string such as
238@samp{<2>} to get an unused name. See also @ref{Creating Buffers}.
239
240@strong{Please note:} @code{create-file-buffer} does @emph{not}
241associate the new buffer with a file and does not select the buffer.
bfe721d1 242It also does not use the default major mode.
3e01fd9d
RS
243
244@example
245@group
246(create-file-buffer "foo")
247 @result{} #<buffer foo>
248@end group
249@group
250(create-file-buffer "foo")
251 @result{} #<buffer foo<2>>
252@end group
253@group
254(create-file-buffer "foo")
255 @result{} #<buffer foo<3>>
256@end group
257@end example
258
259This function is used by @code{find-file-noselect}.
260It uses @code{generate-new-buffer} (@pxref{Creating Buffers}).
261@end defun
262
2468d0c0 263@defun after-find-file &optional error warn noauto after-find-file-from-revert-buffer nomodes
3e01fd9d
RS
264This function sets the buffer major mode, and parses local variables
265(@pxref{Auto Major Mode}). It is called by @code{find-file-noselect}
266and by the default revert function (@pxref{Reverting}).
267
268@cindex new file message
269@cindex file open error
270If reading the file got an error because the file does not exist, but
271its directory does exist, the caller should pass a non-@code{nil} value
272for @var{error}. In that case, @code{after-find-file} issues a warning:
8241495d 273@samp{(New file)}. For more serious errors, the caller should usually not
3e01fd9d
RS
274call @code{after-find-file}.
275
276If @var{warn} is non-@code{nil}, then this function issues a warning
277if an auto-save file exists and is more recent than the visited file.
278
2468d0c0
DL
279If @var{noauto} is non-@code{nil}, that says not to enable or disable
280Auto-Save mode. The mode remains enabled if it was enabled before.
281
282If @var{after-find-file-from-revert-buffer} is non-@code{nil}, that
283means this call was from @code{revert-buffer}. This has no direct
284effect, but some mode functions and hook functions check the value
285of this variable.
286
287If @var{nomodes} is non-@code{nil}, that means don't alter the buffer's
288major mode, don't process local variables specifications in the file,
f2aa473a 289and don't run @code{find-file-hook}. This feature is used by
2468d0c0
DL
290@code{revert-buffer} in some cases.
291
3e01fd9d 292The last thing @code{after-find-file} does is call all the functions
f2aa473a 293in the list @code{find-file-hook}.
3e01fd9d
RS
294@end defun
295
296@node Saving Buffers
297@section Saving Buffers
298
299 When you edit a file in Emacs, you are actually working on a buffer
300that is visiting that file---that is, the contents of the file are
301copied into the buffer and the copy is what you edit. Changes to the
302buffer do not change the file until you @dfn{save} the buffer, which
303means copying the contents of the buffer into the file.
304
305@deffn Command save-buffer &optional backup-option
306This function saves the contents of the current buffer in its visited
307file if the buffer has been modified since it was last visited or saved.
308Otherwise it does nothing.
309
310@code{save-buffer} is responsible for making backup files. Normally,
311@var{backup-option} is @code{nil}, and @code{save-buffer} makes a backup
b22f3a19
RS
312file only if this is the first save since visiting the file. Other
313values for @var{backup-option} request the making of backup files in
314other circumstances:
3e01fd9d
RS
315
316@itemize @bullet
317@item
318With an argument of 4 or 64, reflecting 1 or 3 @kbd{C-u}'s, the
319@code{save-buffer} function marks this version of the file to be
320backed up when the buffer is next saved.
321
322@item
323With an argument of 16 or 64, reflecting 2 or 3 @kbd{C-u}'s, the
324@code{save-buffer} function unconditionally backs up the previous
325version of the file before saving it.
19efcb46
LT
326
327@item
328With an argument of 0, unconditionally do @emph{not} make any backup file.
3e01fd9d
RS
329@end itemize
330@end deffn
331
77ba49d8 332@deffn Command save-some-buffers &optional save-silently-p pred
7baeca0c 333@anchor{Definition of save-some-buffers}
3e01fd9d
RS
334This command saves some modified file-visiting buffers. Normally it
335asks the user about each buffer. But if @var{save-silently-p} is
336non-@code{nil}, it saves all the file-visiting buffers without querying
337the user.
338
19efcb46
LT
339The optional @var{pred} argument controls which buffers to ask about
340(or to save silently if @var{save-silently-p} is non-@code{nil}).
77ba49d8
RS
341If it is @code{nil}, that means to ask only about file-visiting buffers.
342If it is @code{t}, that means also offer to save certain other non-file
343buffers---those that have a non-@code{nil} buffer-local value of
344@code{buffer-offer-save}. (A user who says @samp{yes} to saving a
345non-file buffer is asked to specify the file name to use.) The
346@code{save-buffers-kill-emacs} function passes the value @code{t} for
347@var{pred}.
348
349If @var{pred} is neither @code{t} nor @code{nil}, then it should be
350a function of no arguments. It will be called in each buffer to decide
351whether to offer to save that buffer. If it returns a non-@code{nil}
352value in a certain buffer, that means do offer to save that buffer.
3e01fd9d
RS
353@end deffn
354
2468d0c0 355@deffn Command write-file filename &optional confirm
7baeca0c 356@anchor{Definition of write-file}
3e01fd9d
RS
357This function writes the current buffer into file @var{filename}, makes
358the buffer visit that file, and marks it not modified. Then it renames
359the buffer based on @var{filename}, appending a string like @samp{<2>}
360if necessary to make a unique buffer name. It does most of this work by
969fe9b5
RS
361calling @code{set-visited-file-name} (@pxref{Buffer File Name}) and
362@code{save-buffer}.
2468d0c0
DL
363
364If @var{confirm} is non-@code{nil}, that means to ask for confirmation
19efcb46
LT
365before overwriting an existing file. Interactively, confirmation is
366required, unless the user supplies a prefix argument.
367
368If @var{filename} is an existing directory, or a symbolic link to one,
369@code{write-file} uses the name of the visited file, in directory
370@var{filename}. If the buffer is not visiting a file, it uses the
371buffer name instead.
3e01fd9d
RS
372@end deffn
373
2dd7b854
RS
374 Saving a buffer runs several hooks. It also performs format
375conversion (@pxref{Format Conversion}), and may save text properties in
376``annotations'' (@pxref{Saving Properties}).
377
f2aa473a 378@defvar write-file-functions
3e01fd9d
RS
379The value of this variable is a list of functions to be called before
380writing out a buffer to its visited file. If one of them returns
381non-@code{nil}, the file is considered already written and the rest of
382the functions are not called, nor is the usual code for writing the file
383executed.
384
f2aa473a 385If a function in @code{write-file-functions} returns non-@code{nil}, it
3e01fd9d
RS
386is responsible for making a backup file (if that is appropriate).
387To do so, execute the following code:
388
389@example
390(or buffer-backed-up (backup-buffer))
391@end example
392
393You might wish to save the file modes value returned by
19efcb46
LT
394@code{backup-buffer} and use that (if non-@code{nil}) to set the mode
395bits of the file that you write. This is what @code{save-buffer}
396normally does. @xref{Making Backups,, Making Backup Files}.
3e01fd9d 397
f2aa473a 398The hook functions in @code{write-file-functions} are also responsible for
a9f0a989
RS
399encoding the data (if desired): they must choose a suitable coding
400system (@pxref{Lisp and Coding Systems}), perform the encoding
401(@pxref{Explicit Encoding}), and set @code{last-coding-system-used} to
f1e2c45e 402the coding system that was used (@pxref{Encoding and I/O}).
a9f0a989 403
f2aa473a
SM
404If you set this hook locally in a buffer, it is assumed to be
405associated with the file or the way the contents of the buffer were
406obtained. Thus the variable is marked as a permanent local, so that
407changing the major mode does not alter a buffer-local value. On the
408other hand, calling @code{set-visited-file-name} will reset it.
409If this is not what you want, you might like to use
410@code{write-contents-functions} instead.
f9f59935 411
3e01fd9d
RS
412Even though this is not a normal hook, you can use @code{add-hook} and
413@code{remove-hook} to manipulate the list. @xref{Hooks}.
414@end defvar
415
416@c Emacs 19 feature
f2aa473a 417@defvar write-contents-functions
83f411a2
RS
418This works just like @code{write-file-functions}, but it is intended
419for hooks that pertain to the buffer's contents, not to the particular
420visited file or its location. Such hooks are usually set up by major
421modes, as buffer-local bindings for this variable. This variable
422automatically becomes buffer-local whenever it is set; switching to a
423new major mode always resets this variable, but calling
424@code{set-visited-file-name} does not.
425
426If any of the functions in this hook returns non-@code{nil}, the file
427is considered already written and the rest are not called and neither
428are the functions in @code{write-file-functions}.
3e01fd9d
RS
429@end defvar
430
1d7b9cc0
LT
431@defopt before-save-hook
432This normal hook runs before a buffer is saved in its visited file,
433regardless of whether that is done normally or by one of the hooks
9a7268cf
LT
434described above. For instance, the @file{copyright.el} program uses
435this hook to make sure the file you are saving has the current year in
436its copyright notice.
1d7b9cc0 437@end defopt
a0465ec3 438
3e01fd9d 439@c Emacs 19 feature
1d7b9cc0 440@defopt after-save-hook
3e01fd9d 441This normal hook runs after a buffer has been saved in its visited file.
f1e2c45e
RS
442One use of this hook is in Fast Lock mode; it uses this hook to save the
443highlighting information in a cache file.
1d7b9cc0 444@end defopt
3e01fd9d 445
19efcb46 446@defopt file-precious-flag
3e01fd9d
RS
447If this variable is non-@code{nil}, then @code{save-buffer} protects
448against I/O errors while saving by writing the new file to a temporary
449name instead of the name it is supposed to have, and then renaming it to
450the intended name after it is clear there are no errors. This procedure
451prevents problems such as a lack of disk space from resulting in an
452invalid file.
453
63ff95ee
MW
454As a side effect, backups are necessarily made by copying. @xref{Rename
455or Copy}. Yet, at the same time, saving a precious file always breaks
456all hard links between the file you save and other file names.
3e01fd9d 457
f1e2c45e 458Some modes give this variable a non-@code{nil} buffer-local value
969fe9b5 459in particular buffers.
19efcb46 460@end defopt
3e01fd9d
RS
461
462@defopt require-final-newline
463This variable determines whether files may be written out that do
464@emph{not} end with a newline. If the value of the variable is
465@code{t}, then @code{save-buffer} silently adds a newline at the end of
466the file whenever the buffer being saved does not already end in one.
467If the value of the variable is non-@code{nil}, but not @code{t}, then
468@code{save-buffer} asks the user whether to add a newline each time the
469case arises.
470
471If the value of the variable is @code{nil}, then @code{save-buffer}
472doesn't add newlines at all. @code{nil} is the default value, but a few
473major modes set it to @code{t} in particular buffers.
474@end defopt
475
969fe9b5
RS
476 See also the function @code{set-visited-file-name} (@pxref{Buffer File
477Name}).
fbc1b72c 478
3e01fd9d
RS
479@node Reading from Files
480@comment node-name, next, previous, up
481@section Reading from Files
482
483 You can copy a file from the disk and insert it into a buffer
484using the @code{insert-file-contents} function. Don't use the user-level
485command @code{insert-file} in a Lisp program, as that sets the mark.
486
487@defun insert-file-contents filename &optional visit beg end replace
488This function inserts the contents of file @var{filename} into the
63ff95ee 489current buffer after point. It returns a list of the absolute file name
3e01fd9d
RS
490and the length of the data inserted. An error is signaled if
491@var{filename} is not the name of a file that can be read.
492
bfe721d1
KH
493The function @code{insert-file-contents} checks the file contents
494against the defined file formats, and converts the file contents if
495appropriate. @xref{Format Conversion}. It also calls the functions in
496the list @code{after-insert-file-functions}; see @ref{Saving
8241495d
RS
497Properties}. Normally, one of the functions in the
498@code{after-insert-file-functions} list determines the coding system
499(@pxref{Coding Systems}) used for decoding the file's contents.
3e01fd9d
RS
500
501If @var{visit} is non-@code{nil}, this function additionally marks the
502buffer as unmodified and sets up various fields in the buffer so that it
503is visiting the file @var{filename}: these include the buffer's visited
504file name and its last save file modtime. This feature is used by
505@code{find-file-noselect} and you probably should not use it yourself.
506
507If @var{beg} and @var{end} are non-@code{nil}, they should be integers
508specifying the portion of the file to insert. In this case, @var{visit}
509must be @code{nil}. For example,
510
511@example
512(insert-file-contents filename nil 0 500)
513@end example
514
515@noindent
516inserts the first 500 characters of a file.
517
518If the argument @var{replace} is non-@code{nil}, it means to replace the
519contents of the buffer (actually, just the accessible portion) with the
520contents of the file. This is better than simply deleting the buffer
521contents and inserting the whole file, because (1) it preserves some
522marker positions and (2) it puts less data in the undo list.
f9f59935 523
a9f0a989
RS
524It is possible to read a special file (such as a FIFO or an I/O device)
525with @code{insert-file-contents}, as long as @var{replace} and
526@var{visit} are @code{nil}.
f9f59935
RS
527@end defun
528
f9f59935
RS
529@defun insert-file-contents-literally filename &optional visit beg end replace
530This function works like @code{insert-file-contents} except that it does
531not do format decoding (@pxref{Format Conversion}), does not do
532character code conversion (@pxref{Coding Systems}), does not run
f2aa473a 533@code{find-file-hook}, does not perform automatic uncompression, and so
f9f59935 534on.
3e01fd9d
RS
535@end defun
536
537If you want to pass a file name to another process so that another
538program can read the file, use the function @code{file-local-copy}; see
539@ref{Magic File Names}.
540
541@node Writing to Files
542@comment node-name, next, previous, up
543@section Writing to Files
544
545 You can write the contents of a buffer, or part of a buffer, directly
546to a file on disk using the @code{append-to-file} and
547@code{write-region} functions. Don't use these functions to write to
548files that are being visited; that could cause confusion in the
549mechanisms for visiting.
550
551@deffn Command append-to-file start end filename
552This function appends the contents of the region delimited by
553@var{start} and @var{end} in the current buffer to the end of file
554@var{filename}. If that file does not exist, it is created. This
555function returns @code{nil}.
556
557An error is signaled if @var{filename} specifies a nonwritable file,
558or a nonexistent file in a directory where files cannot be created.
19efcb46
LT
559
560When called from Lisp, this function is completely equivalent to:
561
562@example
563(write-region start end filename t)
564@end example
3e01fd9d
RS
565@end deffn
566
2468d0c0 567@deffn Command write-region start end filename &optional append visit lockname mustbenew
3e01fd9d
RS
568This function writes the region delimited by @var{start} and @var{end}
569in the current buffer into the file specified by @var{filename}.
570
19efcb46
LT
571If @var{start} is @code{nil}, then the command writes the entire buffer
572contents (@emph{not} just the accessible portion) to the file and
573ignores @var{end}.
574
3e01fd9d
RS
575@c Emacs 19 feature
576If @var{start} is a string, then @code{write-region} writes or appends
8241495d
RS
577that string, rather than text from the buffer. @var{end} is ignored in
578this case.
3e01fd9d
RS
579
580If @var{append} is non-@code{nil}, then the specified text is appended
82400f56
DL
581to the existing file contents (if any). Starting in Emacs 21, if
582@var{append} is an integer, then @code{write-region} seeks to that byte
583offset from the start of the file and writes the data from there.
3e01fd9d 584
8241495d 585If @var{mustbenew} is non-@code{nil}, then @code{write-region} asks
a9f0a989 586for confirmation if @var{filename} names an existing file.
177c0ea7 587Starting in Emacs 21, if @var{mustbenew} is the symbol @code{excl},
8241495d
RS
588then @code{write-region} does not ask for confirmation, but instead
589it signals an error @code{file-already-exists} if the file already
590exists.
591
592The test for an existing file, when @var{mustbenew} is @code{excl}, uses
593a special system feature. At least for files on a local disk, there is
594no chance that some other program could create a file of the same name
595before Emacs does, without Emacs's noticing.
a9f0a989 596
3e01fd9d
RS
597If @var{visit} is @code{t}, then Emacs establishes an association
598between the buffer and the file: the buffer is then visiting that file.
599It also sets the last file modification time for the current buffer to
600@var{filename}'s modtime, and marks the buffer as not modified. This
601feature is used by @code{save-buffer}, but you probably should not use
602it yourself.
603
604@c Emacs 19 feature
605If @var{visit} is a string, it specifies the file name to visit. This
606way, you can write the data to one file (@var{filename}) while recording
607the buffer as visiting another file (@var{visit}). The argument
608@var{visit} is used in the echo area message and also for file locking;
609@var{visit} is stored in @code{buffer-file-name}. This feature is used
610to implement @code{file-precious-flag}; don't use it yourself unless you
611really know what you're doing.
612
2468d0c0
DL
613The optional argument @var{lockname}, if non-@code{nil}, specifies the
614file name to use for purposes of locking and unlocking, overriding
615@var{filename} and @var{visit} for that purpose.
616
bfe721d1
KH
617The function @code{write-region} converts the data which it writes to
618the appropriate file formats specified by @code{buffer-file-format}.
619@xref{Format Conversion}. It also calls the functions in the list
620@code{write-region-annotate-functions}; see @ref{Saving Properties}.
3e01fd9d 621
f1e2c45e 622Normally, @code{write-region} displays the message @samp{Wrote
3e01fd9d
RS
623@var{filename}} in the echo area. If @var{visit} is neither @code{t}
624nor @code{nil} nor a string, then this message is inhibited. This
625feature is useful for programs that use files for internal purposes,
b22f3a19 626files that the user does not need to know about.
3e01fd9d
RS
627@end deffn
628
f9f59935 629@defmac with-temp-file file body...
7baeca0c 630@anchor{Definition of with-temp-file}
969fe9b5
RS
631The @code{with-temp-file} macro evaluates the @var{body} forms with a
632temporary buffer as the current buffer; then, at the end, it writes the
633buffer contents into file @var{file}. It kills the temporary buffer
634when finished, restoring the buffer that was current before the
635@code{with-temp-file} form. Then it returns the value of the last form
636in @var{body}.
f9f59935
RS
637
638The current buffer is restored even in case of an abnormal exit via
639@code{throw} or error (@pxref{Nonlocal Exits}).
640
19efcb46
LT
641See also @code{with-temp-buffer} in @ref{Definition of
642with-temp-buffer,, The Current Buffer}.
f9f59935
RS
643@end defmac
644
3e01fd9d
RS
645@node File Locks
646@section File Locks
647@cindex file locks
648
649 When two users edit the same file at the same time, they are likely to
650interfere with each other. Emacs tries to prevent this situation from
651arising by recording a @dfn{file lock} when a file is being modified.
652Emacs can then detect the first attempt to modify a buffer visiting a
653file that is locked by another Emacs job, and ask the user what to do.
b6954afd
RS
654The file lock is really a file, a symbolic link with a special name,
655stored in the same directory as the file you are editing.
3e01fd9d 656
b6954afd
RS
657 When you access files using NFS, there may be a small probability that
658you and another user will both lock the same file ``simultaneously''.
659If this happens, it is possible for the two users to make changes
660simultaneously, but Emacs will still warn the user who saves second.
661Also, the detection of modification of a buffer visiting a file changed
662on disk catches some cases of simultaneous editing; see
663@ref{Modification Time}.
3e01fd9d
RS
664
665@defun file-locked-p filename
f1e2c45e
RS
666This function returns @code{nil} if the file @var{filename} is not
667locked. It returns @code{t} if it is locked by this Emacs process, and
668it returns the name of the user who has locked it if it is locked by
669some other job.
3e01fd9d
RS
670
671@example
672@group
673(file-locked-p "foo")
674 @result{} nil
675@end group
676@end example
677@end defun
678
679@defun lock-buffer &optional filename
b6954afd 680This function locks the file @var{filename}, if the current buffer is
3e01fd9d
RS
681modified. The argument @var{filename} defaults to the current buffer's
682visited file. Nothing is done if the current buffer is not visiting a
683file, or is not modified.
684@end defun
685
686@defun unlock-buffer
687This function unlocks the file being visited in the current buffer,
688if the buffer is modified. If the buffer is not modified, then
689the file should not be locked, so this function does nothing. It also
690does nothing if the current buffer is not visiting a file.
691@end defun
692
8241495d
RS
693 File locking is not supported on some systems. On systems that do not
694support it, the functions @code{lock-buffer}, @code{unlock-buffer} and
695@code{file-locked-p} do nothing and return @code{nil}.
696
3e01fd9d
RS
697@defun ask-user-about-lock file other-user
698This function is called when the user tries to modify @var{file}, but it
f9f59935
RS
699is locked by another user named @var{other-user}. The default
700definition of this function asks the user to say what to do. The value
701this function returns determines what Emacs does next:
3e01fd9d
RS
702
703@itemize @bullet
704@item
705A value of @code{t} says to grab the lock on the file. Then
706this user may edit the file and @var{other-user} loses the lock.
707
708@item
709A value of @code{nil} says to ignore the lock and let this
710user edit the file anyway.
711
712@item
713@kindex file-locked
714This function may instead signal a @code{file-locked} error, in which
715case the change that the user was about to make does not take place.
716
717The error message for this error looks like this:
718
719@example
720@error{} File is locked: @var{file} @var{other-user}
721@end example
722
723@noindent
724where @code{file} is the name of the file and @var{other-user} is the
725name of the user who has locked the file.
726@end itemize
727
f9f59935
RS
728If you wish, you can replace the @code{ask-user-about-lock} function
729with your own version that makes the decision in another way. The code
3e01fd9d
RS
730for its usual definition is in @file{userlock.el}.
731@end defun
732
733@node Information about Files
734@section Information about Files
735
b22f3a19
RS
736 The functions described in this section all operate on strings that
737designate file names. All the functions have names that begin with the
738word @samp{file}. These functions all return information about actual
739files or directories, so their arguments must all exist as actual files
740or directories unless otherwise noted.
3e01fd9d
RS
741
742@menu
743* Testing Accessibility:: Is a given file readable? Writable?
744* Kinds of Files:: Is it a directory? A symbolic link?
745* Truenames:: Eliminating symbolic links from a file name.
746* File Attributes:: How large is it? Any other names? Etc.
747@end menu
748
749@node Testing Accessibility
750@comment node-name, next, previous, up
751@subsection Testing Accessibility
752@cindex accessibility of a file
753@cindex file accessibility
754
19efcb46
LT
755 These functions test for permission to access a file in specific
756ways. Unless explicitly stated otherwise, they recursively follow
757symbolic links for their file name arguments, at all levels (at the
758level of the file itself and at all levels of parent directories).
3e01fd9d
RS
759
760@defun file-exists-p filename
8632c4f0
RS
761This function returns @code{t} if a file named @var{filename} appears
762to exist. This does not mean you can necessarily read the file, only
763that you can find out its attributes. (On Unix and GNU/Linux, this is
764true if the file exists and you have execute permission on the
765containing directories, regardless of the protection of the file
766itself.)
3e01fd9d
RS
767
768If the file does not exist, or if fascist access control policies
769prevent you from finding the attributes of the file, this function
770returns @code{nil}.
8632c4f0
RS
771
772Directories are files, so @code{file-exists-p} returns @code{t} when
773given a directory name. However, symbolic links are treated
774specially; @code{file-exists-p} returns @code{t} for a symbolic link
775name only if the target file exists.
3e01fd9d
RS
776@end defun
777
778@defun file-readable-p filename
779This function returns @code{t} if a file named @var{filename} exists
780and you can read it. It returns @code{nil} otherwise.
781
782@example
783@group
784(file-readable-p "files.texi")
785 @result{} t
786@end group
787@group
788(file-exists-p "/usr/spool/mqueue")
789 @result{} t
790@end group
791@group
792(file-readable-p "/usr/spool/mqueue")
793 @result{} nil
794@end group
795@end example
796@end defun
797
798@c Emacs 19 feature
799@defun file-executable-p filename
800This function returns @code{t} if a file named @var{filename} exists and
2468d0c0
DL
801you can execute it. It returns @code{nil} otherwise. On Unix and
802GNU/Linux, if the file is a directory, execute permission means you can
803check the existence and attributes of files inside the directory, and
804open those files if their modes permit.
3e01fd9d
RS
805@end defun
806
807@defun file-writable-p filename
b22f3a19
RS
808This function returns @code{t} if the file @var{filename} can be written
809or created by you, and @code{nil} otherwise. A file is writable if the
810file exists and you can write it. It is creatable if it does not exist,
811but the specified directory does exist and you can write in that
812directory.
3e01fd9d
RS
813
814In the third example below, @file{foo} is not writable because the
815parent directory does not exist, even though the user could create such
816a directory.
817
818@example
819@group
820(file-writable-p "~/foo")
821 @result{} t
822@end group
823@group
824(file-writable-p "/foo")
825 @result{} nil
826@end group
827@group
828(file-writable-p "~/no-such-dir/foo")
829 @result{} nil
830@end group
831@end example
832@end defun
833
834@c Emacs 19 feature
835@defun file-accessible-directory-p dirname
836This function returns @code{t} if you have permission to open existing
b22f3a19
RS
837files in the directory whose name as a file is @var{dirname}; otherwise
838(or if there is no such directory), it returns @code{nil}. The value
839of @var{dirname} may be either a directory name or the file name of a
f9f59935 840file which is a directory.
3e01fd9d
RS
841
842Example: after the following,
843
844@example
845(file-accessible-directory-p "/foo")
846 @result{} nil
847@end example
848
849@noindent
850we can deduce that any attempt to read a file in @file{/foo/} will
851give an error.
852@end defun
853
f9f59935
RS
854@defun access-file filename string
855This function opens file @var{filename} for reading, then closes it and
856returns @code{nil}. However, if the open fails, it signals an error
857using @var{string} as the error message text.
858@end defun
859
22697dac
KH
860@defun file-ownership-preserved-p filename
861This function returns @code{t} if deleting the file @var{filename} and
19efcb46
LT
862then creating it anew would keep the file's owner unchanged. It also
863returns @code{t} for nonexistent files.
864
865If @var{filename} is a symbolic link, then, unlike the other functions
866discussed here, @code{file-ownership-preserved-p} does @emph{not}
867replace @var{filename} with its target. However, it does recursively
868follow symbolic links at all levels of parent directories.
22697dac
KH
869@end defun
870
3e01fd9d
RS
871@defun file-newer-than-file-p filename1 filename2
872@cindex file age
873@cindex file modification time
b22f3a19 874This function returns @code{t} if the file @var{filename1} is
3e01fd9d 875newer than file @var{filename2}. If @var{filename1} does not
19efcb46
LT
876exist, it returns @code{nil}. If @var{filename1} does exist, but
877@var{filename2} does not, it returns @code{t}.
3e01fd9d 878
b22f3a19
RS
879In the following example, assume that the file @file{aug-19} was written
880on the 19th, @file{aug-20} was written on the 20th, and the file
881@file{no-file} doesn't exist at all.
3e01fd9d
RS
882
883@example
884@group
885(file-newer-than-file-p "aug-19" "aug-20")
886 @result{} nil
887@end group
888@group
889(file-newer-than-file-p "aug-20" "aug-19")
890 @result{} t
891@end group
892@group
893(file-newer-than-file-p "aug-19" "no-file")
894 @result{} t
895@end group
896@group
897(file-newer-than-file-p "no-file" "aug-19")
898 @result{} nil
899@end group
900@end example
901
902You can use @code{file-attributes} to get a file's last modification
903time as a list of two numbers. @xref{File Attributes}.
904@end defun
905
906@node Kinds of Files
907@comment node-name, next, previous, up
908@subsection Distinguishing Kinds of Files
909
bfe721d1
KH
910 This section describes how to distinguish various kinds of files, such
911as directories, symbolic links, and ordinary files.
3e01fd9d
RS
912
913@defun file-symlink-p filename
914@cindex file symbolic links
6f1f54c7 915If the file @var{filename} is a symbolic link, the
19efcb46
LT
916@code{file-symlink-p} function returns the (non-recursive) link target
917as a string. (Determining the file name that the link points to from
918the target is nontrivial.) First, this function recursively follows
919symbolic links at all levels of parent directories.
3e01fd9d
RS
920
921If the file @var{filename} is not a symbolic link (or there is no such file),
177c0ea7 922@code{file-symlink-p} returns @code{nil}.
3e01fd9d
RS
923
924@example
925@group
926(file-symlink-p "foo")
927 @result{} nil
928@end group
929@group
930(file-symlink-p "sym-link")
931 @result{} "foo"
932@end group
933@group
934(file-symlink-p "sym-link2")
935 @result{} "sym-link"
936@end group
937@group
938(file-symlink-p "/bin")
939 @result{} "/pub/bin"
940@end group
941@end example
942
943@c !!! file-symlink-p: should show output of ls -l for comparison
944@end defun
945
19efcb46
LT
946The next two functions recursively follow symbolic links at
947all levels for @var{filename}.
948
3e01fd9d
RS
949@defun file-directory-p filename
950This function returns @code{t} if @var{filename} is the name of an
951existing directory, @code{nil} otherwise.
952
953@example
954@group
955(file-directory-p "~rms")
956 @result{} t
957@end group
958@group
959(file-directory-p "~rms/lewis/files.texi")
960 @result{} nil
961@end group
962@group
963(file-directory-p "~rms/lewis/no-such-file")
964 @result{} nil
965@end group
966@group
967(file-directory-p "$HOME")
968 @result{} nil
969@end group
970@group
971(file-directory-p
972 (substitute-in-file-name "$HOME"))
973 @result{} t
974@end group
975@end example
976@end defun
977
22697dac
KH
978@defun file-regular-p filename
979This function returns @code{t} if the file @var{filename} exists and is
b6954afd 980a regular file (not a directory, named pipe, terminal, or
22697dac
KH
981other I/O device).
982@end defun
983
3e01fd9d
RS
984@node Truenames
985@subsection Truenames
986@cindex truename (of file)
987
988@c Emacs 19 features
989 The @dfn{truename} of a file is the name that you get by following
2468d0c0
DL
990symbolic links at all levels until none remain, then simplifying away
991@samp{.}@: and @samp{..}@: appearing as name components. This results
992in a sort of canonical name for the file. A file does not always have a
993unique truename; the number of distinct truenames a file has is equal to
994the number of hard links to the file. However, truenames are useful
995because they eliminate symbolic links as a cause of name variation.
3e01fd9d
RS
996
997@defun file-truename filename
2468d0c0
DL
998The function @code{file-truename} returns the truename of the file
999@var{filename}. The argument must be an absolute file name.
19efcb46
LT
1000
1001This function does not expand environment variables. Only
1002@code{substitute-in-file-name} does that. @xref{Definition of
1003substitute-in-file-name}.
1004
1005If you may need to follow symbolic links preceding @samp{..}@:
1006appearing as a name component, you should make sure to call
1007@code{file-truename} without prior direct or indirect calls to
1008@code{expand-file-name}, as otherwise the file name component
1009immediately preceding @samp{..} will be ``simplified away'' before
1010@code{file-truename} is called. To eliminate the need for a call to
1011@code{expand-file-name}, @code{file-truename} handles @samp{~} in the
1012same way that @code{expand-file-name} does. @xref{File Name
1013Expansion,, Functions that Expand Filenames}.
3e01fd9d
RS
1014@end defun
1015
c73983bb 1016@defun file-chase-links filename &optional limit
2468d0c0
DL
1017This function follows symbolic links, starting with @var{filename},
1018until it finds a file name which is not the name of a symbolic link.
19efcb46
LT
1019Then it returns that file name. This function does @emph{not} follow
1020symbolic links at the level of parent directories.
1021
1022If you specify a number for @var{limit}, then after chasing through
1023that many links, the function just returns what it has even if that is
1024still a symbolic link.
2468d0c0
DL
1025@end defun
1026
1027 To illustrate the difference between @code{file-chase-links} and
1028@code{file-truename}, suppose that @file{/usr/foo} is a symbolic link to
1029the directory @file{/home/foo}, and @file{/home/foo/hello} is an
1030ordinary file (or at least, not a symbolic link) or nonexistent. Then
1031we would have:
1032
1033@example
1034(file-chase-links "/usr/foo/hello")
1035 ;; @r{This does not follow the links in the parent directories.}
1036 @result{} "/usr/foo/hello"
1037(file-truename "/usr/foo/hello")
1038 ;; @r{Assuming that @file{/home} is not a symbolic link.}
1039 @result{} "/home/foo/hello"
1040@end example
1041
3e01fd9d
RS
1042 @xref{Buffer File Name}, for related information.
1043
1044@node File Attributes
1045@comment node-name, next, previous, up
1046@subsection Other Information about Files
1047
1048 This section describes the functions for getting detailed information
1049about a file, other than its contents. This information includes the
1050mode bits that control access permission, the owner and group numbers,
1051the number of names, the inode number, the size, and the times of access
1052and modification.
1053
1054@defun file-modes filename
1055@cindex permission
1056@cindex file attributes
1057This function returns the mode bits of @var{filename}, as an integer.
1058The mode bits are also called the file permissions, and they specify
1059access control in the usual Unix fashion. If the low-order bit is 1,
b22f3a19 1060then the file is executable by all users, if the second-lowest-order bit
3e01fd9d
RS
1061is 1, then the file is writable by all users, etc.
1062
1063The highest value returnable is 4095 (7777 octal), meaning that
ad800164 1064everyone has read, write, and execute permission, that the @acronym{SUID} bit
3e01fd9d
RS
1065is set for both others and group, and that the sticky bit is set.
1066
19efcb46
LT
1067If @var{filename} does not exist, @code{file-modes} returns @code{nil}.
1068
1069This function recursively follows symbolic links at all levels.
1070
3e01fd9d
RS
1071@example
1072@group
1073(file-modes "~/junk/diffs")
1074 @result{} 492 ; @r{Decimal integer.}
1075@end group
1076@group
1077(format "%o" 492)
1078 @result{} "754" ; @r{Convert to octal.}
1079@end group
1080
1081@group
1082(set-file-modes "~/junk/diffs" 438)
1083 @result{} nil
1084@end group
1085
1086@group
1087(format "%o" 438)
1088 @result{} "666" ; @r{Convert to octal.}
1089@end group
1090
1091@group
1092% ls -l diffs
1093 -rw-rw-rw- 1 lewis 0 3063 Oct 30 16:00 diffs
1094@end group
1095@end example
1096@end defun
1097
19efcb46
LT
1098If the @var{filename} argument to the next two functions is a symbolic
1099link, then these function do @emph{not} replace it with its target.
1100However, they both recursively follow symbolic links at all levels of
1101parent directories.
1102
3e01fd9d
RS
1103@defun file-nlinks filename
1104This functions returns the number of names (i.e., hard links) that
1105file @var{filename} has. If the file does not exist, then this function
1106returns @code{nil}. Note that symbolic links have no effect on this
1107function, because they are not considered to be names of the files they
1108link to.
1109
1110@example
1111@group
1112% ls -l foo*
1113-rw-rw-rw- 2 rms 4 Aug 19 01:27 foo
1114-rw-rw-rw- 2 rms 4 Aug 19 01:27 foo1
1115@end group
1116
1117@group
1118(file-nlinks "foo")
1119 @result{} 2
1120@end group
1121@group
1122(file-nlinks "doesnt-exist")
1123 @result{} nil
1124@end group
1125@end example
1126@end defun
1127
f3bd74b3 1128@defun file-attributes filename &optional id-format
7baeca0c 1129@anchor{Definition of file-attributes}
3e01fd9d
RS
1130This function returns a list of attributes of file @var{filename}. If
1131the specified file cannot be opened, it returns @code{nil}.
f3bd74b3
LH
1132The optional parameter @var{id-format} specifies the preferred format
1133of attributes @acronym{UID} and @acronym{GID} (see below)---the
1134valid values are @code{'string} and @code{'integer}. The latter is
1135the default, but we plan to change that, so you should specify a
1136non-@code{nil} value for @var{id-format} if you use the returned
1137@acronym{UID} or @acronym{GID}.
3e01fd9d
RS
1138
1139The elements of the list, in order, are:
1140
1141@enumerate 0
1142@item
1143@code{t} for a directory, a string for a symbolic link (the name
1144linked to), or @code{nil} for a text file.
1145
1146@c Wordy so as to prevent an overfull hbox. --rjc 15mar92
1147@item
1148The number of names the file has. Alternate names, also known as hard
1149links, can be created by using the @code{add-name-to-file} function
f9f59935 1150(@pxref{Changing Files}).
3e01fd9d
RS
1151
1152@item
f3bd74b3
LH
1153The file's @acronym{UID} as a string or an integer. If a string
1154value cannot be looked up, the integer value is returned.
3e01fd9d
RS
1155
1156@item
f3bd74b3 1157The file's @acronym{GID} likewise.
3e01fd9d
RS
1158
1159@item
1160The time of last access, as a list of two integers.
1161The first integer has the high-order 16 bits of time,
1162the second has the low 16 bits. (This is similar to the
1163value of @code{current-time}; see @ref{Time of Day}.)
1164
1165@item
1166The time of last modification as a list of two integers (as above).
1167
1168@item
1169The time of last status change as a list of two integers (as above).
1170
1171@item
b6954afd
RS
1172The size of the file in bytes. If the size is too large to fit in a
1173Lisp integer, this is a floating point number.
3e01fd9d
RS
1174
1175@item
b22f3a19 1176The file's modes, as a string of ten letters or dashes,
3e01fd9d
RS
1177as in @samp{ls -l}.
1178
1179@item
ad800164 1180@code{t} if the file's @acronym{GID} would change if file were
3e01fd9d
RS
1181deleted and recreated; @code{nil} otherwise.
1182
1183@item
2a7d4505
RS
1184The file's inode number. If possible, this is an integer. If the inode
1185number is too large to be represented as an integer in Emacs Lisp, then
1186the value has the form @code{(@var{high} . @var{low})}, where @var{low}
1187holds the low 16 bits.
3e01fd9d
RS
1188
1189@item
773e81c7
EZ
1190The file system number of the file system that the file is in.
1191Depending on the magnitude of the value, this can be either an integer
1192or a cons cell, in the same manner as the inode number. This element
1193and the file's inode number together give enough information to
b22f3a19
RS
1194distinguish any two files on the system---no two files can have the same
1195values for both of these numbers.
3e01fd9d
RS
1196@end enumerate
1197
1198For example, here are the file attributes for @file{files.texi}:
1199
1200@example
1201@group
f3bd74b3
LH
1202(file-attributes "files.texi" 'string)
1203 @result{} (nil 1 "lh" "users"
177c0ea7
JB
1204 (8489 20284)
1205 (8489 20284)
3e01fd9d 1206 (8489 20285)
177c0ea7 1207 14906 "-rw-rw-rw-"
969fe9b5 1208 nil 129500 -32252)
3e01fd9d
RS
1209@end group
1210@end example
1211
1212@noindent
1213and here is how the result is interpreted:
1214
1215@table @code
1216@item nil
1217is neither a directory nor a symbolic link.
1218
1219@item 1
1220has only one name (the name @file{files.texi} in the current default
1221directory).
1222
f3bd74b3
LH
1223@item "lh"
1224is owned by the user with name "lh".
3e01fd9d 1225
f3bd74b3
LH
1226@item "users"
1227is in the group with name "users".
3e01fd9d
RS
1228
1229@item (8489 20284)
6784ada3 1230was last accessed on Aug 19 00:09.
3e01fd9d
RS
1231
1232@item (8489 20284)
1233was last modified on Aug 19 00:09.
1234
1235@item (8489 20285)
1236last had its inode changed on Aug 19 00:09.
1237
1238@item 14906
8241495d
RS
1239is 14906 bytes long. (It may not contain 14906 characters, though,
1240if some of the bytes belong to multibyte sequences.)
3e01fd9d
RS
1241
1242@item "-rw-rw-rw-"
1243has a mode of read and write access for the owner, group, and world.
1244
1245@item nil
ad800164 1246would retain the same @acronym{GID} if it were recreated.
3e01fd9d
RS
1247
1248@item 129500
1249has an inode number of 129500.
1250@item -32252
1251is on file system number -32252.
1252@end table
1253@end defun
1254
f9f59935 1255@node Changing Files
3e01fd9d
RS
1256@section Changing File Names and Attributes
1257@cindex renaming files
1258@cindex copying files
1259@cindex deleting files
1260@cindex linking files
1261@cindex setting modes of files
1262
1263 The functions in this section rename, copy, delete, link, and set the
1264modes of files.
1265
1266 In the functions that have an argument @var{newname}, if a file by the
1267name of @var{newname} already exists, the actions taken depend on the
1268value of the argument @var{ok-if-already-exists}:
1269
1270@itemize @bullet
1271@item
1272Signal a @code{file-already-exists} error if
1273@var{ok-if-already-exists} is @code{nil}.
1274
1275@item
1276Request confirmation if @var{ok-if-already-exists} is a number.
1277
1278@item
1279Replace the old file without confirmation if @var{ok-if-already-exists}
1280is any other value.
1281@end itemize
1282
19efcb46
LT
1283The next four commands all recursively follow symbolic links at all
1284levels of parent directories for their first argument, but, if that
1285argument is itself a symbolic link, then only @code{copy-file}
1286replaces it with its (recursive) target.
1287
1288@deffn Command add-name-to-file oldname newname &optional ok-if-already-exists
3e01fd9d
RS
1289@cindex file with multiple names
1290@cindex file hard link
1291This function gives the file named @var{oldname} the additional name
1292@var{newname}. This means that @var{newname} becomes a new ``hard
1293link'' to @var{oldname}.
1294
1295In the first part of the following example, we list two files,
1296@file{foo} and @file{foo3}.
1297
1298@example
1299@group
a9f0a989
RS
1300% ls -li fo*
130181908 -rw-rw-rw- 1 rms 29 Aug 18 20:32 foo
130284302 -rw-rw-rw- 1 rms 24 Aug 18 20:31 foo3
3e01fd9d
RS
1303@end group
1304@end example
1305
9e2b495b
RS
1306Now we create a hard link, by calling @code{add-name-to-file}, then list
1307the files again. This shows two names for one file, @file{foo} and
1308@file{foo2}.
3e01fd9d
RS
1309
1310@example
1311@group
a9f0a989 1312(add-name-to-file "foo" "foo2")
3e01fd9d
RS
1313 @result{} nil
1314@end group
1315
1316@group
a9f0a989
RS
1317% ls -li fo*
131881908 -rw-rw-rw- 2 rms 29 Aug 18 20:32 foo
131981908 -rw-rw-rw- 2 rms 29 Aug 18 20:32 foo2
132084302 -rw-rw-rw- 1 rms 24 Aug 18 20:31 foo3
3e01fd9d
RS
1321@end group
1322@end example
1323
a9f0a989 1324Finally, we evaluate the following:
3e01fd9d
RS
1325
1326@example
a9f0a989 1327(add-name-to-file "foo" "foo3" t)
3e01fd9d
RS
1328@end example
1329
1330@noindent
1331and list the files again. Now there are three names
1332for one file: @file{foo}, @file{foo2}, and @file{foo3}. The old
1333contents of @file{foo3} are lost.
1334
1335@example
1336@group
a9f0a989 1337(add-name-to-file "foo1" "foo3")
3e01fd9d
RS
1338 @result{} nil
1339@end group
1340
1341@group
a9f0a989
RS
1342% ls -li fo*
134381908 -rw-rw-rw- 3 rms 29 Aug 18 20:32 foo
134481908 -rw-rw-rw- 3 rms 29 Aug 18 20:32 foo2
134581908 -rw-rw-rw- 3 rms 29 Aug 18 20:32 foo3
3e01fd9d
RS
1346@end group
1347@end example
1348
a9f0a989 1349This function is meaningless on operating systems where multiple names
8241495d
RS
1350for one file are not allowed. Some systems implement multiple names
1351by copying the file instead.
3e01fd9d 1352
a9f0a989 1353See also @code{file-nlinks} in @ref{File Attributes}.
19efcb46 1354@end deffn
3e01fd9d
RS
1355
1356@deffn Command rename-file filename newname &optional ok-if-already-exists
1357This command renames the file @var{filename} as @var{newname}.
1358
1359If @var{filename} has additional names aside from @var{filename}, it
1360continues to have those names. In fact, adding the name @var{newname}
1361with @code{add-name-to-file} and then deleting @var{filename} has the
1362same effect as renaming, aside from momentary intermediate states.
3e01fd9d
RS
1363@end deffn
1364
1365@deffn Command copy-file oldname newname &optional ok-if-exists time
1366This command copies the file @var{oldname} to @var{newname}. An
e598a60d
RS
1367error is signaled if @var{oldname} does not exist. If @var{newname}
1368names a directory, it copies @var{oldname} into that directory,
1369preserving its final name component.
3e01fd9d 1370
a9f0a989 1371If @var{time} is non-@code{nil}, then this function gives the new file
f9f59935
RS
1372the same last-modified time that the old one has. (This works on only
1373some operating systems.) If setting the time gets an error,
1374@code{copy-file} signals a @code{file-date-error} error.
3e01fd9d 1375
fbcffa4a
KG
1376This function copies the file modes, too.
1377
19efcb46
LT
1378In an interactive call, a prefix argument specifies a non-@code{nil}
1379value for @var{time}.
1380@end deffn
1381
1382@deffn Command make-symbolic-link filename newname &optional ok-if-exists
1383@pindex ln
1384@kindex file-already-exists
1385This command makes a symbolic link to @var{filename}, named
1386@var{newname}. This is like the shell command @samp{ln -s
1387@var{filename} @var{newname}}.
1388
1389This function is not available on systems that don't support symbolic
1390links.
3e01fd9d
RS
1391@end deffn
1392
1393@deffn Command delete-file filename
1394@pindex rm
1395This command deletes the file @var{filename}, like the shell command
1396@samp{rm @var{filename}}. If the file has multiple names, it continues
1397to exist under the other names.
1398
2468d0c0
DL
1399A suitable kind of @code{file-error} error is signaled if the file does
1400not exist, or is not deletable. (On Unix and GNU/Linux, a file is
1401deletable if its directory is writable.)
3e01fd9d 1402
19efcb46
LT
1403If @var{filename} is a symbolic link, @code{delete-file} does not
1404replace it with its target, but it does follow symbolic links at all
1405levels of parent directories.
3e01fd9d 1406
19efcb46 1407See also @code{delete-directory} in @ref{Create/Delete Dirs}.
3e01fd9d
RS
1408@end deffn
1409
1410@defun define-logical-name varname string
b705e83b 1411This function defines the logical name @var{varname} to have the value
3e01fd9d
RS
1412@var{string}. It is available only on VMS.
1413@end defun
1414
1415@defun set-file-modes filename mode
19efcb46
LT
1416This function sets mode bits of @var{filename} to @var{mode} (which
1417must be an integer). Only the low 12 bits of @var{mode} are used.
1418This function recursively follows symbolic links at all levels for
1419@var{filename}.
3e01fd9d
RS
1420@end defun
1421
1422@c Emacs 19 feature
1423@defun set-default-file-modes mode
7231e819 1424@cindex umask
3e01fd9d
RS
1425This function sets the default file protection for new files created by
1426Emacs and its subprocesses. Every file created with Emacs initially has
f74bbbbf
RS
1427this protection, or a subset of it (@code{write-region} will not give a
1428file execute permission even if the default file protection allows
1429execute permission). On Unix and GNU/Linux, the default protection is
1430the bitwise complement of the ``umask'' value.
3e01fd9d 1431
f9f59935 1432The argument @var{mode} must be an integer. On most systems, only the
f74bbbbf
RS
1433low 9 bits of @var{mode} are meaningful. You can use the Lisp construct
1434for octal character codes to enter @var{mode}; for example,
1435
1436@example
1437(set-default-file-modes ?\644)
1438@end example
3e01fd9d
RS
1439
1440Saving a modified version of an existing file does not count as creating
f74bbbbf
RS
1441the file; it preserves the existing file's mode, whatever that is. So
1442the default file protection has no effect.
3e01fd9d
RS
1443@end defun
1444
1445@defun default-file-modes
1446This function returns the current default protection value.
1447@end defun
1448
37c0b8fd
EZ
1449@defun set-file-times filename &optional time
1450This function sets the access and modification times of @var{filename}
1451to @var{time}. The return value is @code{t} if the times are successfully
1452set, otherwise it is @code{nil}. @var{time} defaults to the current
1453time and must be in the format returned by @code{current-time}
1454(@pxref{Time of Day}).
1455@end defun
1456
841e483d
RS
1457@cindex MS-DOS and file modes
1458@cindex file modes and MS-DOS
1459 On MS-DOS, there is no such thing as an ``executable'' file mode bit.
8241495d
RS
1460So Emacs considers a file executable if its name ends in one of the
1461standard executable extensions, such as @file{.com}, @file{.bat},
1462@file{.exe}, and some others. Files that begin with the Unix-standard
1463@samp{#!} signature, such as shell and Perl scripts, are also considered
1464as executable files. This is reflected in the values returned by
1465@code{file-modes} and @code{file-attributes}. Directories are also
1466reported with executable bit set, for compatibility with Unix.
841e483d 1467
3e01fd9d
RS
1468@node File Names
1469@section File Names
1470@cindex file names
1471
1472 Files are generally referred to by their names, in Emacs as elsewhere.
1473File names in Emacs are represented as strings. The functions that
1474operate on a file all expect a file name argument.
1475
1476 In addition to operating on files themselves, Emacs Lisp programs
f9f59935 1477often need to operate on file names; i.e., to take them apart and to use
3e01fd9d
RS
1478part of a name to construct related file names. This section describes
1479how to manipulate file names.
1480
1481 The functions in this section do not actually access files, so they
1482can operate on file names that do not refer to an existing file or
1483directory.
1484
5557b83b
RS
1485 On MS-DOS and MS-Windows, these functions (like the function that
1486actually operate on files) accept MS-DOS or MS-Windows file-name syntax,
1487where backslashes separate the components, as well as Unix syntax; but
1488they always return Unix syntax. On VMS, these functions (and the ones
1489that operate on files) understand both VMS file-name syntax and Unix
1490syntax. This enables Lisp programs to specify file names in Unix syntax
1491and work properly on all systems without change.
3e01fd9d
RS
1492
1493@menu
1494* File Name Components:: The directory part of a file name, and the rest.
85df4f66 1495* Relative File Names:: Some file names are relative to a current directory.
3e01fd9d
RS
1496* Directory Names:: A directory's name as a directory
1497 is different from its name as a file.
3e01fd9d
RS
1498* File Name Expansion:: Converting relative file names to absolute ones.
1499* Unique File Names:: Generating names for temporary files.
1500* File Name Completion:: Finding the completions for a given file name.
fbc1b72c
RS
1501* Standard File Names:: If your package uses a fixed file name,
1502 how to handle various operating systems simply.
3e01fd9d
RS
1503@end menu
1504
1505@node File Name Components
1506@subsection File Name Components
1507@cindex directory part (of file name)
1508@cindex nondirectory part (of file name)
1509@cindex version number (in file name)
1510
1511 The operating system groups files into directories. To specify a
b22f3a19
RS
1512file, you must specify the directory and the file's name within that
1513directory. Therefore, Emacs considers a file name as having two main
1514parts: the @dfn{directory name} part, and the @dfn{nondirectory} part
1515(or @dfn{file name within the directory}). Either part may be empty.
1516Concatenating these two parts reproduces the original file name.
3e01fd9d 1517
8241495d 1518 On most systems, the directory part is everything up to and including
5557b83b
RS
1519the last slash (backslash is also allowed in input on MS-DOS or
1520MS-Windows); the nondirectory part is the rest. The rules in VMS syntax
1521are complicated.
3e01fd9d
RS
1522
1523 For some purposes, the nondirectory part is further subdivided into
8241495d
RS
1524the name proper and the @dfn{version number}. On most systems, only
1525backup files have version numbers in their names. On VMS, every file
1526has a version number, but most of the time the file name actually used
1527in Emacs omits the version number, so that version numbers in Emacs are
f9f59935 1528found mostly in directory lists.
3e01fd9d
RS
1529
1530@defun file-name-directory filename
85df4f66
RS
1531This function returns the directory part of @var{filename}, as a
1532directory name (@pxref{Directory Names}), or @code{nil} if
1533@var{filename} does not include a directory part.
1534
1535On GNU and Unix systems, a string returned by this function always
1536ends in a slash. On MSDOS it can also end in a colon. On VMS, it
1537returns a string ending in one of the three characters @samp{:},
3e01fd9d
RS
1538@samp{]}, or @samp{>}.
1539
1540@example
1541@group
1542(file-name-directory "lewis/foo") ; @r{Unix example}
1543 @result{} "lewis/"
1544@end group
1545@group
1546(file-name-directory "foo") ; @r{Unix example}
1547 @result{} nil
1548@end group
1549@group
1550(file-name-directory "[X]FOO.TMP") ; @r{VMS example}
1551 @result{} "[X]"
1552@end group
1553@end example
1554@end defun
1555
1556@defun file-name-nondirectory filename
f9f59935 1557This function returns the nondirectory part of @var{filename}.
3e01fd9d
RS
1558
1559@example
1560@group
1561(file-name-nondirectory "lewis/foo")
1562 @result{} "foo"
1563@end group
1564@group
1565(file-name-nondirectory "foo")
1566 @result{} "foo"
1567@end group
1568@group
85df4f66
RS
1569(file-name-nondirectory "lewis/")
1570 @result{} ""
1571@end group
1572@group
3e01fd9d
RS
1573;; @r{The following example is accurate only on VMS.}
1574(file-name-nondirectory "[X]FOO.TMP")
1575 @result{} "FOO.TMP"
1576@end group
1577@end example
1578@end defun
1579
2468d0c0 1580@defun file-name-sans-versions filename &optional keep-backup-version
f9f59935 1581This function returns @var{filename} with any file version numbers,
2468d0c0
DL
1582backup version numbers, or trailing tildes discarded.
1583
1584If @var{keep-backup-version} is non-@code{nil}, then true file version
1585numbers understood as such by the file system are discarded from the
1586return value, but backup version numbers are kept.
3e01fd9d
RS
1587
1588@example
1589@group
1590(file-name-sans-versions "~rms/foo.~1~")
1591 @result{} "~rms/foo"
1592@end group
1593@group
1594(file-name-sans-versions "~rms/foo~")
1595 @result{} "~rms/foo"
1596@end group
1597@group
1598(file-name-sans-versions "~rms/foo")
1599 @result{} "~rms/foo"
1600@end group
1601@group
1602;; @r{The following example applies to VMS only.}
1603(file-name-sans-versions "foo;23")
1604 @result{} "foo"
1605@end group
1606@end example
1607@end defun
1608
19efcb46
LT
1609@defun file-name-extension filename &optional period
1610This function returns @var{filename}'s final ``extension'', if any,
1611after applying @code{file-name-sans-versions} to remove any
1612version/backup part. The extension, in a file name, is the part that
1613starts with the last @samp{.} in the last name component (minus
1614any version/backup part).
1615
1616This function returns @code{nil} for extensionless file names such as
1617@file{foo}. It returns @code{""} for null extensions, as in
1618@file{foo.}. If the last component of a file name begins with a
1619@samp{.}, that @samp{.} doesn't count as the beginning of an
1620extension. Thus, @file{.emacs}'s ``extension'' is @code{nil}, not
1621@samp{.emacs}.
1622
1623If @var{period} is non-@code{nil}, then the returned value includes
1624the period that delimits the extension, and if @var{filename} has no
1625extension, the value is @code{""}.
1626@end defun
1627
22697dac 1628@defun file-name-sans-extension filename
19efcb46
LT
1629This function returns @var{filename} minus its extension, if any. The
1630version/backup part, if present, is only removed if the file has an
1631extension. For example,
bfe721d1
KH
1632
1633@example
1634(file-name-sans-extension "foo.lose.c")
1635 @result{} "foo.lose"
1636(file-name-sans-extension "big.hack/foo")
1637 @result{} "big.hack/foo"
98d7eccb 1638(file-name-sans-extension "/my/home/.emacs")
df140a68 1639 @result{} "/my/home/.emacs"
98d7eccb
EZ
1640(file-name-sans-extension "/my/home/.emacs.el")
1641 @result{} "/my/home/.emacs"
19efcb46
LT
1642(file-name-sans-extension "~/foo.el.~3~")
1643 @result{} "~/foo"
1644(file-name-sans-extension "~/foo.~3~")
1645 @result{} "~/foo.~3~"
bfe721d1 1646@end example
19efcb46
LT
1647
1648Note that the @samp{.~3~} in the two last examples is the backup part,
1649not an extension.
22697dac
KH
1650@end defun
1651
5557b83b 1652@ignore
177c0ea7 1653Andrew Innes says that this
5557b83b
RS
1654
1655@c @defvar directory-sep-char
1656@c @tindex directory-sep-char
1657This variable holds the character that Emacs normally uses to separate
1658file name components. The default value is @code{?/}, but on MS-Windows
1659you can set it to @code{?\\}; then the functions that transform file names
1660use backslashes in their output.
1661
1662File names using backslashes work as input to Lisp primitives even on
1663MS-DOS and MS-Windows, even if @code{directory-sep-char} has its default
1664value of @code{?/}.
f855fad2 1665@end defvar
5557b83b 1666@end ignore
f855fad2 1667
85df4f66
RS
1668@node Relative File Names
1669@subsection Absolute and Relative File Names
1670@cindex absolute file name
1671@cindex relative file name
1672
1673 All the directories in the file system form a tree starting at the
1674root directory. A file name can specify all the directory names
1675starting from the root of the tree; then it is called an @dfn{absolute}
1676file name. Or it can specify the position of the file in the tree
1677relative to a default directory; then it is called a @dfn{relative} file
1678name. On Unix and GNU/Linux, an absolute file name starts with a slash
1679or a tilde (@samp{~}), and a relative one does not. On MS-DOS and
1680MS-Windows, an absolute file name starts with a slash or a backslash, or
1681with a drive specification @samp{@var{x}:/}, where @var{x} is the
1682@dfn{drive letter}. The rules on VMS are complicated.
1683
1684@defun file-name-absolute-p filename
1685This function returns @code{t} if file @var{filename} is an absolute
1686file name, @code{nil} otherwise. On VMS, this function understands both
1687Unix syntax and VMS syntax.
1688
1689@example
1690@group
1691(file-name-absolute-p "~rms/foo")
1692 @result{} t
1693@end group
1694@group
1695(file-name-absolute-p "rms/foo")
1696 @result{} nil
1697@end group
1698@group
1699(file-name-absolute-p "/user/rms/foo")
1700 @result{} t
1701@end group
1702@end example
1beefde7
DL
1703@end defun
1704
3e01fd9d
RS
1705@node Directory Names
1706@comment node-name, next, previous, up
1707@subsection Directory Names
1708@cindex directory name
1709@cindex file name of directory
1710
85df4f66
RS
1711 A @dfn{directory name} is the name of a directory. A directory is
1712actually a kind of file, so it has a file name, which is related to
1713the directory name but not identical to it. (This is not quite the
1714same as the usual Unix terminology.) These two different names for
1715the same entity are related by a syntactic transformation. On GNU and
19efcb46
LT
1716Unix systems, this is simple: a directory name ends in a slash,
1717whereas the directory's name as a file lacks that slash. On MSDOS and
1718VMS, the relationship is more complicated.
3e01fd9d
RS
1719
1720 The difference between a directory name and its name as a file is
1721subtle but crucial. When an Emacs variable or function argument is
1722described as being a directory name, a file name of a directory is not
85df4f66
RS
1723acceptable. When @code{file-name-directory} returns a string, that is
1724always a directory name.
3e01fd9d 1725
b22f3a19
RS
1726 The following two functions convert between directory names and file
1727names. They do nothing special with environment variable substitutions
19efcb46 1728such as @samp{$HOME}, and the constructs @samp{~}, @samp{.} and @samp{..}.
3e01fd9d
RS
1729
1730@defun file-name-as-directory filename
1731This function returns a string representing @var{filename} in a form
8241495d
RS
1732that the operating system will interpret as the name of a directory. On
1733most systems, this means appending a slash to the string (if it does not
1734already end in one). On VMS, the function converts a string of the form
f9f59935 1735@file{[X]Y.DIR.1} to the form @file{[X.Y]}.
3e01fd9d
RS
1736
1737@example
1738@group
1739(file-name-as-directory "~rms/lewis")
1740 @result{} "~rms/lewis/"
1741@end group
1742@end example
1743@end defun
1744
1745@defun directory-file-name dirname
f9f59935 1746This function returns a string representing @var{dirname} in a form that
8241495d 1747the operating system will interpret as the name of a file. On most
5557b83b
RS
1748systems, this means removing the final slash (or backslash) from the
1749string. On VMS, the function converts a string of the form @file{[X.Y]}
1750to @file{[X]Y.DIR.1}.
3e01fd9d
RS
1751
1752@example
1753@group
1754(directory-file-name "~lewis/")
1755 @result{} "~lewis"
1756@end group
1757@end example
1758@end defun
1759
85df4f66
RS
1760 Given a directory name, you can combine it with a relative file name
1761using @code{concat}:
1762
1763@example
1764(concat @var{dirname} @var{relfile})
1765@end example
1766
1767@noindent
1768Be sure to verify that the file name is relative before doing that.
1769If you use an absolute file name, the results could be syntactically
1770invalid or refer to the wrong file.
1771
1772 If you want to use a directory file name in making such a
1773combination, you must first convert it to a directory name using
1774@code{file-name-as-directory}:
1775
1776@example
1777(concat (file-name-as-directory @var{dirfile}) @var{relfile})
1778@end example
1779
1780@noindent
1781Don't try concatenating a slash by hand, as in
1782
1783@example
1784;;; @r{Wrong!}
1785(concat @var{dirfile} "/" @var{relfile})
1786@end example
1787
1788@noindent
1789because this is not portable. Always use
1790@code{file-name-as-directory}.
1791
3e01fd9d
RS
1792@cindex directory name abbreviation
1793 Directory name abbreviations are useful for directories that are
1794normally accessed through symbolic links. Sometimes the users recognize
1795primarily the link's name as ``the name'' of the directory, and find it
1796annoying to see the directory's ``real'' name. If you define the link
1797name as an abbreviation for the ``real'' name, Emacs shows users the
1798abbreviation instead.
1799
1800@defvar directory-abbrev-alist
1801The variable @code{directory-abbrev-alist} contains an alist of
1802abbreviations to use for file directories. Each element has the form
1803@code{(@var{from} . @var{to})}, and says to replace @var{from} with
1804@var{to} when it appears in a directory name. The @var{from} string is
1805actually a regular expression; it should always start with @samp{^}.
19efcb46
LT
1806The @var{to} string should be an ordinary absolute directory name. Do
1807not use @samp{~} to stand for a home directory in that string. The
1808function @code{abbreviate-file-name} performs these substitutions.
3e01fd9d
RS
1809
1810You can set this variable in @file{site-init.el} to describe the
1811abbreviations appropriate for your site.
1812
1813Here's an example, from a system on which file system @file{/home/fsf}
1814and so on are normally accessed through symbolic links named @file{/fsf}
1815and so on.
1816
1817@example
1818(("^/home/fsf" . "/fsf")
1819 ("^/home/gp" . "/gp")
1820 ("^/home/gd" . "/gd"))
1821@end example
1822@end defvar
1823
1824 To convert a directory name to its abbreviation, use this
1825function:
1826
85df4f66 1827@defun abbreviate-file-name filename
7baeca0c 1828@anchor{Definition of abbreviate-file-name}
3e01fd9d
RS
1829This function applies abbreviations from @code{directory-abbrev-alist}
1830to its argument, and substitutes @samp{~} for the user's home
85df4f66
RS
1831directory. You can use it for directory names and for file names,
1832because it recognizes abbreviations even as part of the name.
3e01fd9d
RS
1833@end defun
1834
1835@node File Name Expansion
1836@subsection Functions that Expand Filenames
1837@cindex expansion of file names
1838
1839 @dfn{Expansion} of a file name means converting a relative file name
1840to an absolute one. Since this is done relative to a default directory,
1841you must specify the default directory name as well as the file name to
1842be expanded. Expansion also simplifies file names by eliminating
1843redundancies such as @file{./} and @file{@var{name}/../}.
1844
19efcb46
LT
1845In the next two functions, the @var{directory} argument can be either
1846a directory name or a directory file name. @xref{Directory Names}.
1847
3e01fd9d
RS
1848@defun expand-file-name filename &optional directory
1849This function converts @var{filename} to an absolute file name. If
f9f59935
RS
1850@var{directory} is supplied, it is the default directory to start with
1851if @var{filename} is relative. (The value of @var{directory} should
1852itself be an absolute directory name; it may start with @samp{~}.)
3e01fd9d
RS
1853Otherwise, the current buffer's value of @code{default-directory} is
1854used. For example:
1855
1856@example
1857@group
1858(expand-file-name "foo")
1859 @result{} "/xcssun/users/rms/lewis/foo"
1860@end group
1861@group
1862(expand-file-name "../foo")
1863 @result{} "/xcssun/users/rms/foo"
1864@end group
1865@group
1866(expand-file-name "foo" "/usr/spool/")
1867 @result{} "/usr/spool/foo"
1868@end group
1869@group
1870(expand-file-name "$HOME/foo")
1871 @result{} "/xcssun/users/rms/lewis/$HOME/foo"
1872@end group
1873@end example
1874
19efcb46
LT
1875If the part of the combined file name before the first slash is
1876@samp{~}, it expands to the value of the @env{HOME} environment
1877variable (usually your home directory). If the part before the first
1878slash is @samp{~@var{user}} and if @var{user} is a valid login name,
1879it expands to @var{user}'s home directory.
1880
3e01fd9d
RS
1881Filenames containing @samp{.} or @samp{..} are simplified to their
1882canonical form:
1883
1884@example
1885@group
1886(expand-file-name "bar/../foo")
1887 @result{} "/xcssun/users/rms/lewis/foo"
1888@end group
1889@end example
1890
3e01fd9d
RS
1891Note that @code{expand-file-name} does @emph{not} expand environment
1892variables; only @code{substitute-in-file-name} does that.
19efcb46
LT
1893
1894Note also that @code{expand-file-name} does not follow symbolic links
1895at any level. This results in a difference between the way
1896@code{file-truename} and @code{expand-file-name} treat @samp{..}.
1897Assuming that @samp{/tmp/bar} is a symbolic link to the directory
1898@samp{/tmp/foo/bar} we get:
1899
1900@example
1901@group
1902(file-truename "/tmp/bar/../myfile")
1903 @result{} "/tmp/foo/myfile"
1904@end group
1905@group
1906(expand-file-name "/tmp/bar/../myfile")
1907 @result{} "/tmp/myfile"
1908@end group
1909@end example
1910
1911If you may need to follow symbolic links preceding @samp{..}, you
1912should make sure to call @code{file-truename} without prior direct or
1913indirect calls to @code{expand-file-name}. @xref{Truenames}.
3e01fd9d
RS
1914@end defun
1915
1916@c Emacs 19 feature
2468d0c0 1917@defun file-relative-name filename &optional directory
3e01fd9d 1918This function does the inverse of expansion---it tries to return a
b22f3a19 1919relative name that is equivalent to @var{filename} when interpreted
2468d0c0
DL
1920relative to @var{directory}. If @var{directory} is omitted or
1921@code{nil}, it defaults to the current buffer's default directory.
89c77172
RS
1922
1923On some operating systems, an absolute file name begins with a device
1924name. On such systems, @var{filename} has no relative equivalent based
1925on @var{directory} if they start with two different device names. In
1926this case, @code{file-relative-name} returns @var{filename} in absolute
1927form.
3e01fd9d
RS
1928
1929@example
1930(file-relative-name "/foo/bar" "/foo/")
a9f0a989 1931 @result{} "bar"
3e01fd9d 1932(file-relative-name "/foo/bar" "/hack/")
39a5713c 1933 @result{} "../foo/bar"
3e01fd9d
RS
1934@end example
1935@end defun
1936
1937@defvar default-directory
1938The value of this buffer-local variable is the default directory for the
1939current buffer. It should be an absolute directory name; it may start
969fe9b5 1940with @samp{~}. This variable is buffer-local in every buffer.
3e01fd9d
RS
1941
1942@code{expand-file-name} uses the default directory when its second
1943argument is @code{nil}.
1944
8241495d 1945Aside from VMS, the value is always a string ending with a slash.
3e01fd9d
RS
1946
1947@example
1948@group
1949default-directory
1950 @result{} "/user/lewis/manual/"
1951@end group
1952@end example
1953@end defvar
1954
1955@defun substitute-in-file-name filename
7baeca0c 1956@anchor{Definition of substitute-in-file-name}
19efcb46 1957This function replaces environment variable references in
85d88ff5
RS
1958@var{filename} with the environment variable values. Following
1959standard Unix shell syntax, @samp{$} is the prefix to substitute an
1960environment variable value. If the input contains @samp{$$}, that is
1961converted to @samp{$}; this gives the user a way to ``quote'' a
1962@samp{$}.
3e01fd9d
RS
1963
1964The environment variable name is the series of alphanumeric characters
1965(including underscores) that follow the @samp{$}. If the character following
1966the @samp{$} is a @samp{@{}, then the variable name is everything up to the
1967matching @samp{@}}.
1968
85d88ff5
RS
1969Calling @code{substitute-in-file-name} on output produced by
1970@code{substitute-in-file-name} tends to give incorrect results. For
1971instance, use of @samp{$$} to quote a single @samp{$} won't work
1972properly, and @samp{$} in an environment variable's value could lead
1973to repeated substitution. Therefore, programs that call this function
1974and put the output where it will be passed to this function need to
1975double all @samp{$} characters to prevent subsequent incorrect
1976results.
1977
3e01fd9d
RS
1978@c Wordy to avoid overfull hbox. --rjc 15mar92
1979Here we assume that the environment variable @code{HOME}, which holds
1980the user's home directory name, has value @samp{/xcssun/users/rms}.
1981
1982@example
1983@group
1984(substitute-in-file-name "$HOME/foo")
1985 @result{} "/xcssun/users/rms/foo"
1986@end group
1987@end example
1988
19efcb46
LT
1989After substitution, if a @samp{~} or a @samp{/} appears immediately
1990after another @samp{/}, the function discards everything before it (up
1991through the immediately preceding @samp{/}).
3e01fd9d
RS
1992
1993@example
1994@group
1995(substitute-in-file-name "bar/~/foo")
1996 @result{} "~/foo"
1997@end group
1998@group
1999(substitute-in-file-name "/usr/local/$HOME/foo")
2000 @result{} "/xcssun/users/rms/foo"
f9f59935 2001 ;; @r{@file{/usr/local/} has been discarded.}
3e01fd9d
RS
2002@end group
2003@end example
2004
2005On VMS, @samp{$} substitution is not done, so this function does nothing
2006on VMS except discard superfluous initial components as shown above.
2007@end defun
2008
2009@node Unique File Names
2010@subsection Generating Unique File Names
2011
2012 Some programs need to write temporary files. Here is the usual way to
8241495d 2013construct a name for such a file, starting in Emacs 21:
3e01fd9d
RS
2014
2015@example
8241495d 2016(make-temp-file @var{name-of-application})
3e01fd9d
RS
2017@end example
2018
2019@noindent
8241495d
RS
2020The job of @code{make-temp-file} is to prevent two different users or
2021two different jobs from trying to use the exact same file name.
3e01fd9d 2022
19efcb46 2023@defun make-temp-file prefix &optional dir-flag suffix
8241495d
RS
2024@tindex make-temp-file
2025This function creates a temporary file and returns its name.
2026The name starts with @var{prefix}; it also contains a number that is
2027different in each Emacs job. If @var{prefix} is a relative file name,
2028it is expanded against @code{temporary-file-directory}.
3e01fd9d
RS
2029
2030@example
2031@group
8241495d 2032(make-temp-file "foo")
a9f0a989 2033 @result{} "/tmp/foo232J6v"
3e01fd9d
RS
2034@end group
2035@end example
2036
8241495d
RS
2037When @code{make-temp-file} returns, the file has been created and is
2038empty. At that point, you should write the intended contents into the
2039file.
2040
19efcb46
LT
2041If @var{dir-flag} is non-@code{nil}, @code{make-temp-file} creates an
2042empty directory instead of an empty file. It returns the file name,
2043not the directory name, of that directory. @xref{Directory Names}.
2044
2045If @var{suffix} is non-@code{nil}, @code{make-temp-file} adds it at
2046the end of the file name.
8241495d 2047
3e01fd9d 2048To prevent conflicts among different libraries running in the same
8241495d
RS
2049Emacs, each Lisp program that uses @code{make-temp-file} should have its
2050own @var{prefix}. The number added to the end of @var{prefix}
a9f0a989
RS
2051distinguishes between the same application running in different Emacs
2052jobs. Additional added characters permit a large number of distinct
2053names even in one Emacs job.
8241495d
RS
2054@end defun
2055
2056 The default directory for temporary files is controlled by the
2057variable @code{temporary-file-directory}. This variable gives the user
2058a uniform way to specify the directory for all temporary files. Some
2059programs use @code{small-temporary-file-directory} instead, if that is
2060non-@code{nil}. To use it, you should expand the prefix against
2061the proper directory before calling @code{make-temp-file}.
2062
2063 In older Emacs versions where @code{make-temp-file} does not exist,
2064you should use @code{make-temp-name} instead:
2065
2066@example
2067(make-temp-name
2068 (expand-file-name @var{name-of-application}
2069 temporary-file-directory))
2070@end example
2071
2072@defun make-temp-name string
2073This function generates a string that can be used as a unique file name.
2074The name starts with @var{string}, and contains a number that is
2075different in each Emacs job. It is like @code{make-temp-file} except
19efcb46
LT
2076that it just constructs a name, and does not create a file. Another
2077difference is that @var{string} should be an absolute file name. On
2078MS-DOS, this function can truncate the @var{string} prefix to fit into
2079the 8+3 file-name limits.
3e01fd9d
RS
2080@end defun
2081
a9f0a989 2082@defvar temporary-file-directory
8241495d
RS
2083@cindex @code{TMPDIR} environment variable
2084@cindex @code{TMP} environment variable
2085@cindex @code{TEMP} environment variable
a9f0a989
RS
2086This variable specifies the directory name for creating temporary files.
2087Its value should be a directory name (@pxref{Directory Names}), but it
f1e2c45e
RS
2088is good for Lisp programs to cope if the value is a directory's file
2089name instead. Using the value as the second argument to
2090@code{expand-file-name} is a good way to achieve that.
a9f0a989
RS
2091
2092The default value is determined in a reasonable way for your operating
8241495d
RS
2093system; it is based on the @code{TMPDIR}, @code{TMP} and @code{TEMP}
2094environment variables, with a fall-back to a system-dependent name if
2095none of these variables is defined.
a9f0a989 2096
19efcb46
LT
2097Even if you do not use @code{make-temp-file} to create the temporary
2098file, you should still use this variable to decide which directory to
2099put the file in. However, if you expect the file to be small, you
2100should use @code{small-temporary-file-directory} first if that is
2101non-@code{nil}.
8241495d
RS
2102@end defvar
2103
2104@tindex small-temporary-file-directory
2105@defvar small-temporary-file-directory
2106This variable (new in Emacs 21) specifies the directory name for
2107creating certain temporary files, which are likely to be small.
2108
2109If you want to write a temporary file which is likely to be small, you
2110should compute the directory like this:
2111
2112@example
2113(make-temp-file
2114 (expand-file-name @var{prefix}
2115 (or small-temporary-file-directory
2116 temporary-file-directory)))
2117@end example
a9f0a989
RS
2118@end defvar
2119
3e01fd9d
RS
2120@node File Name Completion
2121@subsection File Name Completion
2122@cindex file name completion subroutines
2123@cindex completion, file name
2124
2125 This section describes low-level subroutines for completing a file
2126name. For other completion functions, see @ref{Completion}.
2127
2128@defun file-name-all-completions partial-filename directory
2129This function returns a list of all possible completions for a file
2130whose name starts with @var{partial-filename} in directory
2131@var{directory}. The order of the completions is the order of the files
2132in the directory, which is unpredictable and conveys no useful
2133information.
2134
2135The argument @var{partial-filename} must be a file name containing no
5557b83b
RS
2136directory part and no slash (or backslash on some systems). The current
2137buffer's default directory is prepended to @var{directory}, if
2138@var{directory} is not absolute.
3e01fd9d 2139
9e2b495b
RS
2140In the following example, suppose that @file{~rms/lewis} is the current
2141default directory, and has five files whose names begin with @samp{f}:
3e01fd9d
RS
2142@file{foo}, @file{file~}, @file{file.c}, @file{file.c.~1~}, and
2143@file{file.c.~2~}.@refill
2144
2145@example
2146@group
2147(file-name-all-completions "f" "")
177c0ea7 2148 @result{} ("foo" "file~" "file.c.~2~"
3e01fd9d
RS
2149 "file.c.~1~" "file.c")
2150@end group
2151
2152@group
177c0ea7 2153(file-name-all-completions "fo" "")
3e01fd9d
RS
2154 @result{} ("foo")
2155@end group
2156@end example
2157@end defun
2158
2159@defun file-name-completion filename directory
2160This function completes the file name @var{filename} in directory
2161@var{directory}. It returns the longest prefix common to all file names
2162in directory @var{directory} that start with @var{filename}.
2163
2164If only one match exists and @var{filename} matches it exactly, the
2165function returns @code{t}. The function returns @code{nil} if directory
2166@var{directory} contains no name starting with @var{filename}.
2167
2168In the following example, suppose that the current default directory
2169has five files whose names begin with @samp{f}: @file{foo},
2170@file{file~}, @file{file.c}, @file{file.c.~1~}, and
2171@file{file.c.~2~}.@refill
2172
2173@example
2174@group
2175(file-name-completion "fi" "")
2176 @result{} "file"
2177@end group
2178
2179@group
2180(file-name-completion "file.c.~1" "")
2181 @result{} "file.c.~1~"
2182@end group
2183
2184@group
2185(file-name-completion "file.c.~1~" "")
2186 @result{} t
2187@end group
2188
2189@group
2190(file-name-completion "file.c.~3" "")
2191 @result{} nil
2192@end group
2193@end example
2194@end defun
2195
2196@defopt completion-ignored-extensions
2197@code{file-name-completion} usually ignores file names that end in any
2198string in this list. It does not ignore them when all the possible
19efcb46
LT
2199completions end in one of these suffixes. This variable has no effect
2200on @code{file-name-all-completions}.@refill
3e01fd9d
RS
2201
2202A typical value might look like this:
2203
2204@example
2205@group
2206completion-ignored-extensions
2207 @result{} (".o" ".elc" "~" ".dvi")
2208@end group
2209@end example
8333f721
EZ
2210
2211If an element of @code{completion-ignored-extensions} ends in a slash
2212@samp{/}, it signals a directory. The elements which do @emph{not} end
2213in a slash will never match a directory; thus, the above value will not
2214filter out a directory named @file{foo.elc}.
3e01fd9d
RS
2215@end defopt
2216
fbc1b72c
RS
2217@node Standard File Names
2218@subsection Standard File Names
2219
2220 Most of the file names used in Lisp programs are entered by the user.
2221But occasionally a Lisp program needs to specify a standard file name
2222for a particular use---typically, to hold customization information
2223about each user. For example, abbrev definitions are stored (by
2224default) in the file @file{~/.abbrev_defs}; the @code{completion}
2225package stores completions in the file @file{~/.completions}. These are
2226two of the many standard file names used by parts of Emacs for certain
2227purposes.
2228
2229 Various operating systems have their own conventions for valid file
2230names and for which file names to use for user profile data. A Lisp
2231program which reads a file using a standard file name ought to use, on
2232each type of system, a file name suitable for that system. The function
2233@code{convert-standard-filename} makes this easy to do.
2234
2235@defun convert-standard-filename filename
2236This function alters the file name @var{filename} to fit the conventions
2237of the operating system in use, and returns the result as a new string.
2238@end defun
2239
2240 The recommended way to specify a standard file name in a Lisp program
2241is to choose a name which fits the conventions of GNU and Unix systems,
2242usually with a nondirectory part that starts with a period, and pass it
2243to @code{convert-standard-filename} instead of using it directly. Here
2244is an example from the @code{completion} package:
2245
2246@example
2247(defvar save-completions-file-name
2248 (convert-standard-filename "~/.completions")
2249 "*The file name to save completions to.")
2250@end example
2251
2252 On GNU and Unix systems, and on some other systems as well,
2253@code{convert-standard-filename} returns its argument unchanged. On
a9f0a989 2254some other systems, it alters the name to fit the system's conventions.
fbc1b72c
RS
2255
2256 For example, on MS-DOS the alterations made by this function include
2257converting a leading @samp{.} to @samp{_}, converting a @samp{_} in the
2258middle of the name to @samp{.} if there is no other @samp{.}, inserting
2259a @samp{.} after eight characters if there is none, and truncating to
2260three characters after the @samp{.}. (It makes other changes as well.)
2261Thus, @file{.abbrev_defs} becomes @file{_abbrev.def}, and
2262@file{.completions} becomes @file{_complet.ion}.
2263
3e01fd9d
RS
2264@node Contents of Directories
2265@section Contents of Directories
2266@cindex directory-oriented functions
2267@cindex file names in directory
2268
2269 A directory is a kind of file that contains other files entered under
2270various names. Directories are a feature of the file system.
2271
2272 Emacs can list the names of the files in a directory as a Lisp list,
2273or display the names in a buffer using the @code{ls} shell command. In
2274the latter case, it can optionally display information about each file,
2275depending on the options passed to the @code{ls} command.
2276
2277@defun directory-files directory &optional full-name match-regexp nosort
2278This function returns a list of the names of the files in the directory
2279@var{directory}. By default, the list is in alphabetical order.
2280
2281If @var{full-name} is non-@code{nil}, the function returns the files'
2282absolute file names. Otherwise, it returns the names relative to
2283the specified directory.
2284
2285If @var{match-regexp} is non-@code{nil}, this function returns only
2286those file names that contain a match for that regular expression---the
2287other file names are excluded from the list.
2288
2289@c Emacs 19 feature
2290If @var{nosort} is non-@code{nil}, @code{directory-files} does not sort
2291the list, so you get the file names in no particular order. Use this if
2292you want the utmost possible speed and don't care what order the files
2293are processed in. If the order of processing is visible to the user,
2294then the user will probably be happier if you do sort the names.
2295
2296@example
2297@group
2298(directory-files "~lewis")
2299 @result{} ("#foo#" "#foo.el#" "." ".."
177c0ea7 2300 "dired-mods.el" "files.texi"
3e01fd9d
RS
2301 "files.texi.~1~")
2302@end group
2303@end example
2304
2305An error is signaled if @var{directory} is not the name of a directory
2306that can be read.
2307@end defun
2308
19efcb46 2309@defun directory-files-and-attributes directory &optional full-name match-regexp nosort id-format
67203dbd
RS
2310This is similar to @code{directory-files} in deciding which files
2311to report on and how to report their names. However, instead
2312of returning a list of file names, it returns for each file a
2313list @code{(@var{filename} . @var{attributes})}, where @var{attributes}
2314is what @code{file-attributes} would return for that file.
19efcb46
LT
2315The optional argument @var{id-format} has the same meaning as the
2316corresponding argument to @code{file-attributes} (@pxref{Definition
2317of file-attributes}).
67203dbd
RS
2318@end defun
2319
3e01fd9d
RS
2320@defun file-name-all-versions file dirname
2321This function returns a list of all versions of the file named
19efcb46 2322@var{file} in directory @var{dirname}. It is only available on VMS.
3e01fd9d
RS
2323@end defun
2324
b6954afd
RS
2325@tindex file-expand-wildcards
2326@defun file-expand-wildcards pattern &optional full
2327This function expands the wildcard pattern @var{pattern}, returning
08f0f5e9 2328a list of file names that match it.
b6954afd 2329
08f0f5e9 2330If @var{pattern} is written as an absolute file name,
b6954afd
RS
2331the values are absolute also.
2332
2333If @var{pattern} is written as a relative file name, it is interpreted
2334relative to the current default directory. The file names returned are
2335normally also relative to the current default directory. However, if
2336@var{full} is non-@code{nil}, they are absolute.
2337@end defun
2338
3e01fd9d 2339@defun insert-directory file switches &optional wildcard full-directory-p
b22f3a19
RS
2340This function inserts (in the current buffer) a directory listing for
2341directory @var{file}, formatted with @code{ls} according to
2342@var{switches}. It leaves point after the inserted text.
19efcb46
LT
2343@var{switches} may be a string of options, or a list of strings
2344representing individual options.
3e01fd9d 2345
b22f3a19 2346The argument @var{file} may be either a directory name or a file
3e01fd9d
RS
2347specification including wildcard characters. If @var{wildcard} is
2348non-@code{nil}, that means treat @var{file} as a file specification with
2349wildcards.
2350
a9f0a989
RS
2351If @var{full-directory-p} is non-@code{nil}, that means the directory
2352listing is expected to show the full contents of a directory. You
2353should specify @code{t} when @var{file} is a directory and switches do
2354not contain @samp{-d}. (The @samp{-d} option to @code{ls} says to
2355describe a directory itself as a file, rather than showing its
2356contents.)
3e01fd9d 2357
8241495d
RS
2358On most systems, this function works by running a directory listing
2359program whose name is in the variable @code{insert-directory-program}.
2360If @var{wildcard} is non-@code{nil}, it also runs the shell specified by
3e01fd9d 2361@code{shell-file-name}, to expand the wildcards.
8241495d
RS
2362
2363MS-DOS and MS-Windows systems usually lack the standard Unix program
2364@code{ls}, so this function emulates the standard Unix program @code{ls}
2365with Lisp code.
19efcb46
LT
2366
2367As a technical detail, when @var{switches} contains the long
2368@samp{--dired} option, @code{insert-directory} treats it specially,
2369for the sake of dired. However, the normally equivalent short
2370@samp{-D} option is just passed on to @code{insert-directory-program},
2371as any other option.
3e01fd9d
RS
2372@end defun
2373
2374@defvar insert-directory-program
2375This variable's value is the program to run to generate a directory listing
8241495d
RS
2376for the function @code{insert-directory}. It is ignored on systems
2377which generate the listing with Lisp code.
3e01fd9d
RS
2378@end defvar
2379
2380@node Create/Delete Dirs
2381@section Creating and Deleting Directories
2382@c Emacs 19 features
2383
b22f3a19
RS
2384 Most Emacs Lisp file-manipulation functions get errors when used on
2385files that are directories. For example, you cannot delete a directory
2386with @code{delete-file}. These special functions exist to create and
2387delete directories.
2388
2468d0c0 2389@defun make-directory dirname &optional parents
3e01fd9d 2390This function creates a directory named @var{dirname}.
19efcb46
LT
2391If @var{parents} is non-@code{nil}, as is always the case in an
2392interactive call, that means to create the parent directories first,
2393if they don't already exist.
3e01fd9d
RS
2394@end defun
2395
2396@defun delete-directory dirname
2397This function deletes the directory named @var{dirname}. The function
2398@code{delete-file} does not work for files that are directories; you
bfe721d1
KH
2399must use @code{delete-directory} for them. If the directory contains
2400any files, @code{delete-directory} signals an error.
19efcb46
LT
2401
2402This function only follows symbolic links at the level of parent
2403directories.
3e01fd9d
RS
2404@end defun
2405
2406@node Magic File Names
2407@section Making Certain File Names ``Magic''
2408@cindex magic file names
2409
2410@c Emacs 19 feature
f9f59935
RS
2411 You can implement special handling for certain file names. This is
2412called making those names @dfn{magic}. The principal use for this
2413feature is in implementing remote file names (@pxref{Remote Files,,
2414Remote Files, emacs, The GNU Emacs Manual}).
2415
2416 To define a kind of magic file name, you must supply a regular
b22f3a19 2417expression to define the class of names (all those that match the
3e01fd9d
RS
2418regular expression), plus a handler that implements all the primitive
2419Emacs file operations for file names that do match.
2420
f9f59935 2421 The variable @code{file-name-handler-alist} holds a list of handlers,
3e01fd9d
RS
2422together with regular expressions that determine when to apply each
2423handler. Each element has this form:
2424
2425@example
2426(@var{regexp} . @var{handler})
2427@end example
2428
2429@noindent
2430All the Emacs primitives for file access and file name transformation
2431check the given file name against @code{file-name-handler-alist}. If
2432the file name matches @var{regexp}, the primitives handle that file by
2433calling @var{handler}.
2434
19efcb46
LT
2435The first argument given to @var{handler} is the name of the
2436primitive, as a symbol; the remaining arguments are the arguments that
2437were passed to that primitive. (The first of these arguments is most
2438often the file name itself.) For example, if you do this:
3e01fd9d
RS
2439
2440@example
2441(file-exists-p @var{filename})
2442@end example
2443
2444@noindent
2445and @var{filename} has handler @var{handler}, then @var{handler} is
2446called like this:
2447
2448@example
2449(funcall @var{handler} 'file-exists-p @var{filename})
2450@end example
2451
0fe6819f
RS
2452When a function takes two or more arguments that must be file names,
2453it checks each of those names for a handler. For example, if you do
2454this:
2455
2456@example
2457(expand-file-name @var{filename} @var{dirname})
2458@end example
2459
2460@noindent
2461then it checks for a handler for @var{filename} and then for a handler
2462for @var{dirname}. In either case, the @var{handler} is called like
2463this:
2464
2465@example
2466(funcall @var{handler} 'expand-file-name @var{filename} @var{dirname})
2467@end example
2468
2469@noindent
2470The @var{handler} then needs to figure out whether to handle
2471@var{filename} or @var{dirname}.
2472
e598a60d
RS
2473If the specified file name matches more than one handler, the one
2474whose match starts last in the file name gets precedence. This rule
2475is chosen so that handlers for jobs such as uncompression are handled
2476first, before handlers for jobs such as remote file access.
2477
b22f3a19 2478Here are the operations that a magic file name handler gets to handle:
3e01fd9d 2479
37680279 2480@ifnottex
3e01fd9d 2481@noindent
df140a68
KG
2482@code{access-file}, @code{add-name-to-file},
2483@code{byte-compiler-base-file-name},@*
2484@code{copy-file}, @code{delete-directory},
969fe9b5 2485@code{delete-file},
63ff95ee 2486@code{diff-latest-backup-file},
3e01fd9d 2487@code{directory-file-name},
969fe9b5 2488@code{directory-files},
df140a68 2489@code{directory-files-and-attributes},
9e2b495b 2490@code{dired-call-process},
df140a68 2491@code{dired-compress-file}, @code{dired-uncache},@*
969fe9b5 2492@code{expand-file-name},
df140a68 2493@code{file-accessible-directory-p},
969fe9b5
RS
2494@code{file-attributes},
2495@code{file-directory-p},
df140a68 2496@code{file-executable-p}, @code{file-exists-p},
5b676886 2497@code{file-local-copy}, @code{file-remote-p},
df140a68 2498@code{file-modes}, @code{file-name-all-completions},
969fe9b5
RS
2499@code{file-name-as-directory},
2500@code{file-name-completion},
9e2b495b
RS
2501@code{file-name-directory},
2502@code{file-name-nondirectory},
3e01fd9d 2503@code{file-name-sans-versions}, @code{file-newer-than-file-p},
fbc1b72c 2504@code{file-ownership-preserved-p},
5949c48a 2505@code{file-readable-p}, @code{file-regular-p}, @code{file-symlink-p},
63ff95ee 2506@code{file-truename}, @code{file-writable-p},
fbc1b72c 2507@code{find-backup-file-name},
df140a68
KG
2508@code{find-file-noselect},@*
2509@code{get-file-buffer},
969fe9b5 2510@code{insert-directory},
df140a68 2511@code{insert-file-contents},@*
fbc1b72c 2512@code{load}, @code{make-directory},
df140a68
KG
2513@code{make-directory-internal},
2514@code{make-symbolic-link},@*
37c0b8fd 2515@code{rename-file}, @code{set-file-modes}, @code{set-file-times},
df140a68
KG
2516@code{set-visited-file-modtime}, @code{shell-command},
2517@code{substitute-in-file-name},@*
969fe9b5 2518@code{unhandled-file-name-directory},
9e2b495b 2519@code{vc-registered},
969fe9b5
RS
2520@code{verify-visited-file-modtime},@*
2521@code{write-region}.
37680279 2522@end ifnottex
f1e2c45e
RS
2523@iftex
2524@noindent
8241495d 2525@flushleft
df140a68
KG
2526@code{access-file}, @code{add-name-to-file},
2527@code{byte-com@discretionary{}{}{}piler-base-file-name},
2528@code{copy-file}, @code{delete-directory},
f1e2c45e
RS
2529@code{delete-file},
2530@code{diff-latest-backup-file},
2531@code{directory-file-name},
2532@code{directory-files},
df140a68 2533@code{directory-files-and-at@discretionary{}{}{}tributes},
f1e2c45e
RS
2534@code{dired-call-process},
2535@code{dired-compress-file}, @code{dired-uncache},
2536@code{expand-file-name},
2537@code{file-accessible-direc@discretionary{}{}{}tory-p},
2538@code{file-attributes},
2539@code{file-direct@discretionary{}{}{}ory-p},
2540@code{file-executable-p}, @code{file-exists-p},
5b676886 2541@code{file-local-copy}, @code{file-remote-p},
f1e2c45e
RS
2542@code{file-modes}, @code{file-name-all-completions},
2543@code{file-name-as-directory},
2544@code{file-name-completion},
2545@code{file-name-directory},
2546@code{file-name-nondirec@discretionary{}{}{}tory},
2547@code{file-name-sans-versions}, @code{file-newer-than-file-p},
2548@code{file-ownership-pre@discretionary{}{}{}served-p},
2549@code{file-readable-p}, @code{file-regular-p}, @code{file-symlink-p},
2550@code{file-truename}, @code{file-writable-p},
2551@code{find-backup-file-name},
df140a68 2552@code{find-file-noselect},
f1e2c45e
RS
2553@code{get-file-buffer},
2554@code{insert-directory},
2555@code{insert-file-contents},
2556@code{load}, @code{make-direc@discretionary{}{}{}tory},
df140a68
KG
2557@code{make-direc@discretionary{}{}{}tory-internal},
2558@code{make-symbolic-link},
2559@code{rename-file}, @code{set-file-modes},
f1e2c45e 2560@code{set-visited-file-modtime}, @code{shell-command},
df140a68 2561@code{substitute-in-file-name},
f1e2c45e
RS
2562@code{unhandled-file-name-directory},
2563@code{vc-regis@discretionary{}{}{}tered},
2564@code{verify-visited-file-modtime},
2565@code{write-region}.
8241495d 2566@end flushleft
f1e2c45e 2567@end iftex
3e01fd9d 2568
6ca88231
RS
2569Handlers for @code{insert-file-contents} typically need to clear the
2570buffer's modified flag, with @code{(set-buffer-modified-p nil)}, if the
2571@var{visit} argument is non-@code{nil}. This also has the effect of
2572unlocking the buffer if it is locked.
2573
3e01fd9d 2574The handler function must handle all of the above operations, and
b22f3a19
RS
2575possibly others to be added in the future. It need not implement all
2576these operations itself---when it has nothing special to do for a
2577certain operation, it can reinvoke the primitive, to handle the
2578operation ``in the usual way''. It should always reinvoke the primitive
2579for an operation it does not recognize. Here's one way to do this:
3e01fd9d 2580
841e483d 2581@smallexample
3e01fd9d
RS
2582(defun my-file-handler (operation &rest args)
2583 ;; @r{First check for the specific operations}
2584 ;; @r{that we have special handling for.}
2585 (cond ((eq operation 'insert-file-contents) @dots{})
2586 ((eq operation 'write-region) @dots{})
2587 @dots{}
2588 ;; @r{Handle any operation we don't know about.}
841e483d 2589 (t (let ((inhibit-file-name-handlers
177c0ea7 2590 (cons 'my-file-handler
f9f59935
RS
2591 (and (eq inhibit-file-name-operation operation)
2592 inhibit-file-name-handlers)))
2593 (inhibit-file-name-operation operation))
3e01fd9d 2594 (apply operation args)))))
841e483d
RS
2595@end smallexample
2596
2597When a handler function decides to call the ordinary Emacs primitive for
2598the operation at hand, it needs to prevent the primitive from calling
2599the same handler once again, thus leading to an infinite recursion. The
2600example above shows how to do this, with the variables
2601@code{inhibit-file-name-handlers} and
2602@code{inhibit-file-name-operation}. Be careful to use them exactly as
2603shown above; the details are crucial for proper behavior in the case of
2604multiple handlers, and for operations that have two file names that may
2605each have handlers.
2606
4f683b1b 2607@kindex safe-magic (@r{property})
1d7b9cc0 2608Handlers that don't really do anything special for actual access to the
4f683b1b
RS
2609file---such as the ones that implement completion of host names for
2610remote file names---should have a non-@code{nil} @code{safe-magic}
2611property. For instance, Emacs normally ``protects'' directory names
2612it finds in @code{PATH} from becoming magic, if they look like magic
2613file names, by prefixing them with @samp{/:}. But if the handler that
2614would be used for them has a non-@code{nil} @code{safe-magic}
2615property, the @samp{/:} is not added.
2616
841e483d
RS
2617@defvar inhibit-file-name-handlers
2618This variable holds a list of handlers whose use is presently inhibited
2619for a certain operation.
2620@end defvar
3e01fd9d 2621
841e483d
RS
2622@defvar inhibit-file-name-operation
2623The operation for which certain handlers are presently inhibited.
2624@end defvar
2625
2626@defun find-file-name-handler file operation
3e01fd9d 2627This function returns the handler function for file name @var{file}, or
841e483d
RS
2628@code{nil} if there is none. The argument @var{operation} should be the
2629operation to be performed on the file---the value you will pass to the
2630handler as its first argument when you call it. The operation is needed
2631for comparison with @code{inhibit-file-name-operation}.
3e01fd9d
RS
2632@end defun
2633
2634@defun file-local-copy filename
104ad648
RS
2635This function copies file @var{filename} to an ordinary non-magic file
2636on the local machine, if it isn't on the local machine already. Magic
2637file names should handle the @code{file-local-copy} operation if they
2638refer to files on other machines. A magic file name that is used for
2639other purposes than remote file access should not handle
2640@code{file-local-copy}; then this function will treat the file as
2641local.
2642
2643If @var{filename} is local, whether magic or not, this function does
2644nothing and returns @code{nil}. Otherwise it returns the file name
2645of the local copy file.
2646@end defun
3e01fd9d 2647
104ad648 2648@defun file-remote-p filename
83f411a2
RS
2649This function tests whether @var{filename} is a remote file. If
2650@var{filename} is local (not remote), the return value is @code{nil}.
2651If @var{filename} is indeed remote, the return value is a string that
2652identifies the remote system.
8addb6eb 2653
83f411a2
RS
2654This identifier string may include a host name, a user name, and
2655characters designating the method used to access the remote system.
2656For example, the remote identifier string for the filename
2657@code{/ssh:user@@host:/some/file} is @code{/ssh:user@@host:}.
8addb6eb
KG
2658
2659If @code{file-remote-p} returns the same identifier for two different
83f411a2 2660filenames, that means they are stored on the same file system and can
8addb6eb 2661be accessed locally with respect to each other. This means, for
83f411a2
RS
2662example, that it is possible to start a remote process accessing both
2663files at the same time. Implementors of file handlers need to ensure
2664this principle is valid.
3e01fd9d
RS
2665@end defun
2666
2667@defun unhandled-file-name-directory filename
f9f59935
RS
2668This function returns the name of a directory that is not magic. It
2669uses the directory part of @var{filename} if that is not magic. For a
2670magic file name, it invokes the file name handler, which therefore
2671decides what value to return.
3e01fd9d
RS
2672
2673This is useful for running a subprocess; every subprocess must have a
2674non-magic directory to serve as its current directory, and this function
2675is a good way to come up with one.
2676@end defun
841e483d 2677
22697dac
KH
2678@node Format Conversion
2679@section File Format Conversion
2680
2681@cindex file format conversion
2682@cindex encoding file formats
2683@cindex decoding file formats
2684 The variable @code{format-alist} defines a list of @dfn{file formats},
bfe721d1 2685which describe textual representations used in files for the data (text,
22697dac 2686text-properties, and possibly other information) in an Emacs buffer.
bfe721d1
KH
2687Emacs performs format conversion if appropriate when reading and writing
2688files.
22697dac
KH
2689
2690@defvar format-alist
2691This list contains one format definition for each defined file format.
2692@end defvar
2693
2694@cindex format definition
2695Each format definition is a list of this form:
2696
2697@example
2698(@var{name} @var{doc-string} @var{regexp} @var{from-fn} @var{to-fn} @var{modify} @var{mode-fn})
2699@end example
2700
2701Here is what the elements in a format definition mean:
2702
2703@table @var
2704@item name
2705The name of this format.
2706
2707@item doc-string
2708A documentation string for the format.
2709
2710@item regexp
2711A regular expression which is used to recognize files represented in
2712this format.
2713
2714@item from-fn
969fe9b5 2715A shell command or function to decode data in this format (to convert
f9f59935 2716file data into the usual Emacs data representation).
22697dac 2717
969fe9b5
RS
2718A shell command is represented as a string; Emacs runs the command as a
2719filter to perform the conversion.
2720
2721If @var{from-fn} is a function, it is called with two arguments, @var{begin}
f9f59935
RS
2722and @var{end}, which specify the part of the buffer it should convert.
2723It should convert the text by editing it in place. Since this can
2724change the length of the text, @var{from-fn} should return the modified
2725end position.
22697dac 2726
bfe721d1 2727One responsibility of @var{from-fn} is to make sure that the beginning
22697dac
KH
2728of the file no longer matches @var{regexp}. Otherwise it is likely to
2729get called again.
2730
2731@item to-fn
969fe9b5
RS
2732A shell command or function to encode data in this format---that is, to
2733convert the usual Emacs data representation into this format.
22697dac 2734
f9f59935
RS
2735If @var{to-fn} is a string, it is a shell command; Emacs runs the
2736command as a filter to perform the conversion.
2737
969fe9b5 2738If @var{to-fn} is a function, it is called with two arguments, @var{begin}
f9f59935
RS
2739and @var{end}, which specify the part of the buffer it should convert.
2740There are two ways it can do the conversion:
22697dac
KH
2741
2742@itemize @bullet
2743@item
2744By editing the buffer in place. In this case, @var{to-fn} should
2745return the end-position of the range of text, as modified.
2746
2747@item
2748By returning a list of annotations. This is a list of elements of the
2749form @code{(@var{position} . @var{string})}, where @var{position} is an
2750integer specifying the relative position in the text to be written, and
2751@var{string} is the annotation to add there. The list must be sorted in
2752order of position when @var{to-fn} returns it.
2753
2754When @code{write-region} actually writes the text from the buffer to the
2755file, it intermixes the specified annotations at the corresponding
2756positions. All this takes place without modifying the buffer.
2757@end itemize
2758
2759@item modify
2760A flag, @code{t} if the encoding function modifies the buffer, and
2761@code{nil} if it works by returning a list of annotations.
2762
8f3efb4e
RS
2763@item mode-fn
2764A minor-mode function to call after visiting a file converted from this
2765format. The function is called with one argument, the integer 1;
2766that tells a minor-mode function to enable the mode.
22697dac
KH
2767@end table
2768
2769The function @code{insert-file-contents} automatically recognizes file
2770formats when it reads the specified file. It checks the text of the
2771beginning of the file against the regular expressions of the format
2772definitions, and if it finds a match, it calls the decoding function for
2773that format. Then it checks all the known formats over again.
2774It keeps checking them until none of them is applicable.
2775
2776Visiting a file, with @code{find-file-noselect} or the commands that use
2777it, performs conversion likewise (because it calls
bfe721d1
KH
2778@code{insert-file-contents}); it also calls the mode function for each
2779format that it decodes. It stores a list of the format names in the
2780buffer-local variable @code{buffer-file-format}.
22697dac
KH
2781
2782@defvar buffer-file-format
bfe721d1
KH
2783This variable states the format of the visited file. More precisely,
2784this is a list of the file format names that were decoded in the course
969fe9b5 2785of visiting the current buffer's file. It is always buffer-local in all
22697dac
KH
2786buffers.
2787@end defvar
2788
2789When @code{write-region} writes data into a file, it first calls the
bfe721d1
KH
2790encoding functions for the formats listed in @code{buffer-file-format},
2791in the order of appearance in the list.
22697dac 2792
19efcb46
LT
2793@deffn Command format-write-file file format &optional confirm
2794This command writes the current buffer contents into the file
2795@var{file} in format @var{format}, and makes that format the default
2796for future saves of the buffer. The argument @var{format} is a list
2797of format names. Except for the @var{format} argument, this command
2798is similar to @code{write-file}. In particular, @var{confirm} has the
2799same meaning and interactive treatment as the corresponding argument
2800to @code{write-file}. @xref{Definition of write-file}.
f9f59935 2801@end deffn
22697dac 2802
f9f59935 2803@deffn Command format-find-file file format
63ff95ee
MW
2804This command finds the file @var{file}, converting it according to
2805format @var{format}. It also makes @var{format} the default if the
2806buffer is saved later.
2807
2808The argument @var{format} is a list of format names. If @var{format} is
2809@code{nil}, no conversion takes place. Interactively, typing just
2810@key{RET} for @var{format} specifies @code{nil}.
f9f59935 2811@end deffn
63ff95ee 2812
969fe9b5 2813@deffn Command format-insert-file file format &optional beg end
63ff95ee
MW
2814This command inserts the contents of file @var{file}, converting it
2815according to format @var{format}. If @var{beg} and @var{end} are
2816non-@code{nil}, they specify which part of the file to read, as in
2817@code{insert-file-contents} (@pxref{Reading from Files}).
2818
2819The return value is like what @code{insert-file-contents} returns: a
2820list of the absolute file name and the length of the data inserted
2821(after conversion).
2822
2823The argument @var{format} is a list of format names. If @var{format} is
2824@code{nil}, no conversion takes place. Interactively, typing just
2825@key{RET} for @var{format} specifies @code{nil}.
f9f59935 2826@end deffn
63ff95ee 2827
689ffd70 2828@defvar buffer-auto-save-file-format
22697dac
KH
2829This variable specifies the format to use for auto-saving. Its value is
2830a list of format names, just like the value of
a9f0a989 2831@code{buffer-file-format}; however, it is used instead of
19efcb46
LT
2832@code{buffer-file-format} for writing auto-save files. If the value
2833is @code{t}, the default, auto-saving uses the same format as a
2834regular save in the same buffer. This variable is always buffer-local
2835in all buffers.
841e483d 2836@end defvar
ab5796a9
MB
2837
2838@ignore
2839 arch-tag: 141f74ce-6ae3-40dc-a6c4-ef83fc4ec35c
2840@end ignore