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