comparison man/lispref/files.texi @ 0:376386a54a3c r19-14

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