* lisp/url/url-http.el (status): Remove, unused.
[emacs.git] / src / fileio.c
bloba19fcd9f66380a33364a6607589d063caa192c70
1 /* File IO for GNU Emacs.
3 Copyright (C) 1985-1988, 1993-2013 Free Software Foundation, Inc.
5 This file is part of GNU Emacs.
7 GNU Emacs is free software: you can redistribute it and/or modify
8 it under the terms of the GNU General Public License as published by
9 the Free Software Foundation, either version 3 of the License, or
10 (at your option) any later version.
12 GNU Emacs is distributed in the hope that it will be useful,
13 but WITHOUT ANY WARRANTY; without even the implied warranty of
14 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
15 GNU General Public License for more details.
17 You should have received a copy of the GNU General Public License
18 along with GNU Emacs. If not, see <http://www.gnu.org/licenses/>. */
20 #include <config.h>
21 #include <limits.h>
22 #include <fcntl.h>
23 #include "sysstdio.h"
24 #include <sys/types.h>
25 #include <sys/stat.h>
26 #include <unistd.h>
28 #ifdef HAVE_PWD_H
29 #include <pwd.h>
30 #endif
32 #include <errno.h>
34 #ifdef HAVE_LIBSELINUX
35 #include <selinux/selinux.h>
36 #include <selinux/context.h>
37 #endif
39 #ifdef HAVE_ACL_SET_FILE
40 #include <sys/acl.h>
41 #endif
43 #include <c-ctype.h>
45 #include "lisp.h"
46 #include "intervals.h"
47 #include "character.h"
48 #include "buffer.h"
49 #include "coding.h"
50 #include "window.h"
51 #include "blockinput.h"
52 #include "frame.h"
53 #include "dispextern.h"
55 #ifdef WINDOWSNT
56 #define NOMINMAX 1
57 #include <windows.h>
58 #include <sys/file.h>
59 #include "w32.h"
60 #endif /* not WINDOWSNT */
62 #ifdef MSDOS
63 #include "msdos.h"
64 #include <sys/param.h>
65 #endif
67 #ifdef DOS_NT
68 /* On Windows, drive letters must be alphabetic - on DOS, the Netware
69 redirector allows the six letters between 'Z' and 'a' as well. */
70 #ifdef MSDOS
71 #define IS_DRIVE(x) ((x) >= 'A' && (x) <= 'z')
72 #endif
73 #ifdef WINDOWSNT
74 #define IS_DRIVE(x) c_isalpha (x)
75 #endif
76 /* Need to lower-case the drive letter, or else expanded
77 filenames will sometimes compare unequal, because
78 `expand-file-name' doesn't always down-case the drive letter. */
79 #define DRIVE_LETTER(x) c_tolower (x)
80 #endif
82 #include "systime.h"
83 #include <acl.h>
84 #include <allocator.h>
85 #include <careadlinkat.h>
86 #include <stat-time.h>
88 #ifdef HPUX
89 #include <netio.h>
90 #endif
92 #include "commands.h"
94 /* True during writing of auto-save files. */
95 static bool auto_saving;
97 /* Nonzero umask during creation of auto-save directories. */
98 static mode_t auto_saving_dir_umask;
100 /* Set by auto_save_1 to mode of original file so Fwrite_region will create
101 a new file with the same mode as the original. */
102 static mode_t auto_save_mode_bits;
104 /* Set by auto_save_1 if an error occurred during the last auto-save. */
105 static bool auto_save_error_occurred;
107 /* If VALID_TIMESTAMP_FILE_SYSTEM, then TIMESTAMP_FILE_SYSTEM is the device
108 number of a file system where time stamps were observed to to work. */
109 static bool valid_timestamp_file_system;
110 static dev_t timestamp_file_system;
112 /* The symbol bound to coding-system-for-read when
113 insert-file-contents is called for recovering a file. This is not
114 an actual coding system name, but just an indicator to tell
115 insert-file-contents to use `emacs-mule' with a special flag for
116 auto saving and recovering a file. */
117 static Lisp_Object Qauto_save_coding;
119 /* Property name of a file name handler,
120 which gives a list of operations it handles.. */
121 static Lisp_Object Qoperations;
123 /* Lisp functions for translating file formats. */
124 static Lisp_Object Qformat_decode, Qformat_annotate_function;
126 /* Lisp function for setting buffer-file-coding-system and the
127 multibyteness of the current buffer after inserting a file. */
128 static Lisp_Object Qafter_insert_file_set_coding;
130 static Lisp_Object Qwrite_region_annotate_functions;
131 /* Each time an annotation function changes the buffer, the new buffer
132 is added here. */
133 static Lisp_Object Vwrite_region_annotation_buffers;
135 static Lisp_Object Qdelete_by_moving_to_trash;
137 /* Lisp function for moving files to trash. */
138 static Lisp_Object Qmove_file_to_trash;
140 /* Lisp function for recursively copying directories. */
141 static Lisp_Object Qcopy_directory;
143 /* Lisp function for recursively deleting directories. */
144 static Lisp_Object Qdelete_directory;
146 #ifdef WINDOWSNT
147 #endif
149 Lisp_Object Qfile_error, Qfile_notify_error;
150 static Lisp_Object Qfile_already_exists, Qfile_date_error;
151 static Lisp_Object Qexcl;
152 Lisp_Object Qfile_name_history;
154 static Lisp_Object Qcar_less_than_car;
156 static bool a_write (int, Lisp_Object, ptrdiff_t, ptrdiff_t,
157 Lisp_Object *, struct coding_system *);
158 static bool e_write (int, Lisp_Object, ptrdiff_t, ptrdiff_t,
159 struct coding_system *);
162 /* Signal a file-access failure. STRING describes the failure,
163 NAME the file involved, and ERRORNO the errno value.
165 If NAME is neither null nor a pair, package it up as a singleton
166 list before reporting it; this saves report_file_errno's caller the
167 trouble of preserving errno before calling list1. */
169 void
170 report_file_errno (char const *string, Lisp_Object name, int errorno)
172 Lisp_Object data = CONSP (name) || NILP (name) ? name : list1 (name);
173 Lisp_Object errstring;
174 char *str;
176 synchronize_system_messages_locale ();
177 str = strerror (errorno);
178 errstring = code_convert_string_norecord (build_unibyte_string (str),
179 Vlocale_coding_system, 0);
181 while (1)
182 switch (errorno)
184 case EEXIST:
185 xsignal (Qfile_already_exists, Fcons (errstring, data));
186 break;
187 default:
188 /* System error messages are capitalized. Downcase the initial
189 unless it is followed by a slash. (The slash case caters to
190 error messages that begin with "I/O" or, in German, "E/A".) */
191 if (STRING_MULTIBYTE (errstring)
192 && ! EQ (Faref (errstring, make_number (1)), make_number ('/')))
194 int c;
196 str = SSDATA (errstring);
197 c = STRING_CHAR ((unsigned char *) str);
198 Faset (errstring, make_number (0), make_number (downcase (c)));
201 xsignal (Qfile_error,
202 Fcons (build_string (string), Fcons (errstring, data)));
206 /* Signal a file-access failure that set errno. STRING describes the
207 failure, NAME the file involved. When invoking this function, take
208 care to not use arguments such as build_string ("foo") that involve
209 side effects that may set errno. */
211 void
212 report_file_error (char const *string, Lisp_Object name)
214 report_file_errno (string, name, errno);
217 void
218 close_file_unwind (int fd)
220 emacs_close (fd);
223 void
224 fclose_unwind (void *arg)
226 FILE *stream = arg;
227 fclose (stream);
230 /* Restore point, having saved it as a marker. */
232 void
233 restore_point_unwind (Lisp_Object location)
235 Fgoto_char (location);
236 Fset_marker (location, Qnil, Qnil);
240 static Lisp_Object Qexpand_file_name;
241 static Lisp_Object Qsubstitute_in_file_name;
242 static Lisp_Object Qdirectory_file_name;
243 static Lisp_Object Qfile_name_directory;
244 static Lisp_Object Qfile_name_nondirectory;
245 static Lisp_Object Qunhandled_file_name_directory;
246 static Lisp_Object Qfile_name_as_directory;
247 static Lisp_Object Qcopy_file;
248 static Lisp_Object Qmake_directory_internal;
249 static Lisp_Object Qmake_directory;
250 static Lisp_Object Qdelete_directory_internal;
251 Lisp_Object Qdelete_file;
252 static Lisp_Object Qrename_file;
253 static Lisp_Object Qadd_name_to_file;
254 static Lisp_Object Qmake_symbolic_link;
255 Lisp_Object Qfile_exists_p;
256 static Lisp_Object Qfile_executable_p;
257 static Lisp_Object Qfile_readable_p;
258 static Lisp_Object Qfile_writable_p;
259 static Lisp_Object Qfile_symlink_p;
260 static Lisp_Object Qaccess_file;
261 Lisp_Object Qfile_directory_p;
262 static Lisp_Object Qfile_regular_p;
263 static Lisp_Object Qfile_accessible_directory_p;
264 static Lisp_Object Qfile_modes;
265 static Lisp_Object Qset_file_modes;
266 static Lisp_Object Qset_file_times;
267 static Lisp_Object Qfile_selinux_context;
268 static Lisp_Object Qset_file_selinux_context;
269 static Lisp_Object Qfile_acl;
270 static Lisp_Object Qset_file_acl;
271 static Lisp_Object Qfile_newer_than_file_p;
272 Lisp_Object Qinsert_file_contents;
273 static Lisp_Object Qchoose_write_coding_system;
274 Lisp_Object Qwrite_region;
275 static Lisp_Object Qverify_visited_file_modtime;
276 static Lisp_Object Qset_visited_file_modtime;
278 DEFUN ("find-file-name-handler", Ffind_file_name_handler,
279 Sfind_file_name_handler, 2, 2, 0,
280 doc: /* Return FILENAME's handler function for OPERATION, if it has one.
281 Otherwise, return nil.
282 A file name is handled if one of the regular expressions in
283 `file-name-handler-alist' matches it.
285 If OPERATION equals `inhibit-file-name-operation', then we ignore
286 any handlers that are members of `inhibit-file-name-handlers',
287 but we still do run any other handlers. This lets handlers
288 use the standard functions without calling themselves recursively. */)
289 (Lisp_Object filename, Lisp_Object operation)
291 /* This function must not munge the match data. */
292 Lisp_Object chain, inhibited_handlers, result;
293 ptrdiff_t pos = -1;
295 result = Qnil;
296 CHECK_STRING (filename);
298 if (EQ (operation, Vinhibit_file_name_operation))
299 inhibited_handlers = Vinhibit_file_name_handlers;
300 else
301 inhibited_handlers = Qnil;
303 for (chain = Vfile_name_handler_alist; CONSP (chain);
304 chain = XCDR (chain))
306 Lisp_Object elt;
307 elt = XCAR (chain);
308 if (CONSP (elt))
310 Lisp_Object string = XCAR (elt);
311 ptrdiff_t match_pos;
312 Lisp_Object handler = XCDR (elt);
313 Lisp_Object operations = Qnil;
315 if (SYMBOLP (handler))
316 operations = Fget (handler, Qoperations);
318 if (STRINGP (string)
319 && (match_pos = fast_string_match (string, filename)) > pos
320 && (NILP (operations) || ! NILP (Fmemq (operation, operations))))
322 Lisp_Object tem;
324 handler = XCDR (elt);
325 tem = Fmemq (handler, inhibited_handlers);
326 if (NILP (tem))
328 result = handler;
329 pos = match_pos;
334 QUIT;
336 return result;
339 DEFUN ("file-name-directory", Ffile_name_directory, Sfile_name_directory,
340 1, 1, 0,
341 doc: /* Return the directory component in file name FILENAME.
342 Return nil if FILENAME does not include a directory.
343 Otherwise return a directory name.
344 Given a Unix syntax file name, returns a string ending in slash. */)
345 (Lisp_Object filename)
347 #ifndef DOS_NT
348 register const char *beg;
349 #else
350 register char *beg;
351 Lisp_Object tem_fn;
352 #endif
353 register const char *p;
354 Lisp_Object handler;
356 CHECK_STRING (filename);
358 /* If the file name has special constructs in it,
359 call the corresponding file handler. */
360 handler = Ffind_file_name_handler (filename, Qfile_name_directory);
361 if (!NILP (handler))
363 Lisp_Object handled_name = call2 (handler, Qfile_name_directory,
364 filename);
365 return STRINGP (handled_name) ? handled_name : Qnil;
368 #ifdef DOS_NT
369 beg = alloca (SBYTES (filename) + 1);
370 memcpy (beg, SSDATA (filename), SBYTES (filename) + 1);
371 #else
372 beg = SSDATA (filename);
373 #endif
374 p = beg + SBYTES (filename);
376 while (p != beg && !IS_DIRECTORY_SEP (p[-1])
377 #ifdef DOS_NT
378 /* only recognize drive specifier at the beginning */
379 && !(p[-1] == ':'
380 /* handle the "/:d:foo" and "/:foo" cases correctly */
381 && ((p == beg + 2 && !IS_DIRECTORY_SEP (*beg))
382 || (p == beg + 4 && IS_DIRECTORY_SEP (*beg))))
383 #endif
384 ) p--;
386 if (p == beg)
387 return Qnil;
388 #ifdef DOS_NT
389 /* Expansion of "c:" to drive and default directory. */
390 if (p[-1] == ':')
392 /* MAXPATHLEN+1 is guaranteed to be enough space for getdefdir. */
393 char *res = alloca (MAXPATHLEN + 1);
394 char *r = res;
396 if (p == beg + 4 && IS_DIRECTORY_SEP (*beg) && beg[1] == ':')
398 memcpy (res, beg, 2);
399 beg += 2;
400 r += 2;
403 if (getdefdir (c_toupper (*beg) - 'A' + 1, r))
405 size_t l = strlen (res);
407 if (l > 3 || !IS_DIRECTORY_SEP (res[l - 1]))
408 strcat (res, "/");
409 beg = res;
410 p = beg + strlen (beg);
411 dostounix_filename (beg, 0);
412 tem_fn = make_specified_string (beg, -1, p - beg,
413 STRING_MULTIBYTE (filename));
415 else
416 tem_fn = make_specified_string (beg - 2, -1, p - beg + 2,
417 STRING_MULTIBYTE (filename));
419 else if (STRING_MULTIBYTE (filename))
421 tem_fn = make_specified_string (beg, -1, p - beg, 1);
422 dostounix_filename (SSDATA (tem_fn), 1);
423 #ifdef WINDOWSNT
424 if (!NILP (Vw32_downcase_file_names))
425 tem_fn = Fdowncase (tem_fn);
426 #endif
428 else
430 dostounix_filename (beg, 0);
431 tem_fn = make_specified_string (beg, -1, p - beg, 0);
433 return tem_fn;
434 #else /* DOS_NT */
435 return make_specified_string (beg, -1, p - beg, STRING_MULTIBYTE (filename));
436 #endif /* DOS_NT */
439 DEFUN ("file-name-nondirectory", Ffile_name_nondirectory,
440 Sfile_name_nondirectory, 1, 1, 0,
441 doc: /* Return file name FILENAME sans its directory.
442 For example, in a Unix-syntax file name,
443 this is everything after the last slash,
444 or the entire name if it contains no slash. */)
445 (Lisp_Object filename)
447 register const char *beg, *p, *end;
448 Lisp_Object handler;
450 CHECK_STRING (filename);
452 /* If the file name has special constructs in it,
453 call the corresponding file handler. */
454 handler = Ffind_file_name_handler (filename, Qfile_name_nondirectory);
455 if (!NILP (handler))
457 Lisp_Object handled_name = call2 (handler, Qfile_name_nondirectory,
458 filename);
459 if (STRINGP (handled_name))
460 return handled_name;
461 error ("Invalid handler in `file-name-handler-alist'");
464 beg = SSDATA (filename);
465 end = p = beg + SBYTES (filename);
467 while (p != beg && !IS_DIRECTORY_SEP (p[-1])
468 #ifdef DOS_NT
469 /* only recognize drive specifier at beginning */
470 && !(p[-1] == ':'
471 /* handle the "/:d:foo" case correctly */
472 && (p == beg + 2 || (p == beg + 4 && IS_DIRECTORY_SEP (*beg))))
473 #endif
475 p--;
477 return make_specified_string (p, -1, end - p, STRING_MULTIBYTE (filename));
480 DEFUN ("unhandled-file-name-directory", Funhandled_file_name_directory,
481 Sunhandled_file_name_directory, 1, 1, 0,
482 doc: /* Return a directly usable directory name somehow associated with FILENAME.
483 A `directly usable' directory name is one that may be used without the
484 intervention of any file handler.
485 If FILENAME is a directly usable file itself, return
486 \(file-name-directory FILENAME).
487 If FILENAME refers to a file which is not accessible from a local process,
488 then this should return nil.
489 The `call-process' and `start-process' functions use this function to
490 get a current directory to run processes in. */)
491 (Lisp_Object filename)
493 Lisp_Object handler;
495 /* If the file name has special constructs in it,
496 call the corresponding file handler. */
497 handler = Ffind_file_name_handler (filename, Qunhandled_file_name_directory);
498 if (!NILP (handler))
500 Lisp_Object handled_name = call2 (handler, Qunhandled_file_name_directory,
501 filename);
502 return STRINGP (handled_name) ? handled_name : Qnil;
505 return Ffile_name_directory (filename);
508 /* Convert from file name SRC of length SRCLEN to directory name in
509 DST. MULTIBYTE non-zero means the file name in SRC is a multibyte
510 string. On UNIX, just make sure there is a terminating /. Return
511 the length of DST in bytes. */
513 static ptrdiff_t
514 file_name_as_directory (char *dst, const char *src, ptrdiff_t srclen,
515 bool multibyte)
517 if (srclen == 0)
519 dst[0] = '.';
520 dst[1] = '/';
521 dst[2] = '\0';
522 return 2;
525 strcpy (dst, src);
527 if (!IS_DIRECTORY_SEP (dst[srclen - 1]))
529 dst[srclen] = DIRECTORY_SEP;
530 dst[srclen + 1] = '\0';
531 srclen++;
533 #ifdef DOS_NT
534 dostounix_filename (dst, multibyte);
535 #endif
536 return srclen;
539 DEFUN ("file-name-as-directory", Ffile_name_as_directory,
540 Sfile_name_as_directory, 1, 1, 0,
541 doc: /* Return a string representing the file name FILE interpreted as a directory.
542 This operation exists because a directory is also a file, but its name as
543 a directory is different from its name as a file.
544 The result can be used as the value of `default-directory'
545 or passed as second argument to `expand-file-name'.
546 For a Unix-syntax file name, just appends a slash. */)
547 (Lisp_Object file)
549 char *buf;
550 ptrdiff_t length;
551 Lisp_Object handler;
553 CHECK_STRING (file);
554 if (NILP (file))
555 return Qnil;
557 /* If the file name has special constructs in it,
558 call the corresponding file handler. */
559 handler = Ffind_file_name_handler (file, Qfile_name_as_directory);
560 if (!NILP (handler))
562 Lisp_Object handled_name = call2 (handler, Qfile_name_as_directory,
563 file);
564 if (STRINGP (handled_name))
565 return handled_name;
566 error ("Invalid handler in `file-name-handler-alist'");
569 #ifdef WINDOWSNT
570 if (!NILP (Vw32_downcase_file_names))
571 file = Fdowncase (file);
572 #endif
573 buf = alloca (SBYTES (file) + 10);
574 length = file_name_as_directory (buf, SSDATA (file), SBYTES (file),
575 STRING_MULTIBYTE (file));
576 return make_specified_string (buf, -1, length, STRING_MULTIBYTE (file));
579 /* Convert from directory name SRC of length SRCLEN to file name in
580 DST. MULTIBYTE non-zero means the file name in SRC is a multibyte
581 string. On UNIX, just make sure there isn't a terminating /.
582 Return the length of DST in bytes. */
584 static ptrdiff_t
585 directory_file_name (char *dst, char *src, ptrdiff_t srclen, bool multibyte)
587 /* Process as Unix format: just remove any final slash.
588 But leave "/" unchanged; do not change it to "". */
589 strcpy (dst, src);
590 if (srclen > 1
591 && IS_DIRECTORY_SEP (dst[srclen - 1])
592 #ifdef DOS_NT
593 && !IS_ANY_SEP (dst[srclen - 2])
594 #endif
597 dst[srclen - 1] = 0;
598 srclen--;
600 #ifdef DOS_NT
601 dostounix_filename (dst, multibyte);
602 #endif
603 return srclen;
606 DEFUN ("directory-file-name", Fdirectory_file_name, Sdirectory_file_name,
607 1, 1, 0,
608 doc: /* Returns the file name of the directory named DIRECTORY.
609 This is the name of the file that holds the data for the directory DIRECTORY.
610 This operation exists because a directory is also a file, but its name as
611 a directory is different from its name as a file.
612 In Unix-syntax, this function just removes the final slash. */)
613 (Lisp_Object directory)
615 char *buf;
616 ptrdiff_t length;
617 Lisp_Object handler;
619 CHECK_STRING (directory);
621 if (NILP (directory))
622 return Qnil;
624 /* If the file name has special constructs in it,
625 call the corresponding file handler. */
626 handler = Ffind_file_name_handler (directory, Qdirectory_file_name);
627 if (!NILP (handler))
629 Lisp_Object handled_name = call2 (handler, Qdirectory_file_name,
630 directory);
631 if (STRINGP (handled_name))
632 return handled_name;
633 error ("Invalid handler in `file-name-handler-alist'");
636 #ifdef WINDOWSNT
637 if (!NILP (Vw32_downcase_file_names))
638 directory = Fdowncase (directory);
639 #endif
640 buf = alloca (SBYTES (directory) + 20);
641 length = directory_file_name (buf, SSDATA (directory), SBYTES (directory),
642 STRING_MULTIBYTE (directory));
643 return make_specified_string (buf, -1, length, STRING_MULTIBYTE (directory));
646 static const char make_temp_name_tbl[64] =
648 'A','B','C','D','E','F','G','H',
649 'I','J','K','L','M','N','O','P',
650 'Q','R','S','T','U','V','W','X',
651 'Y','Z','a','b','c','d','e','f',
652 'g','h','i','j','k','l','m','n',
653 'o','p','q','r','s','t','u','v',
654 'w','x','y','z','0','1','2','3',
655 '4','5','6','7','8','9','-','_'
658 static unsigned make_temp_name_count, make_temp_name_count_initialized_p;
660 /* Value is a temporary file name starting with PREFIX, a string.
662 The Emacs process number forms part of the result, so there is
663 no danger of generating a name being used by another process.
664 In addition, this function makes an attempt to choose a name
665 which has no existing file. To make this work, PREFIX should be
666 an absolute file name.
668 BASE64_P means add the pid as 3 characters in base64
669 encoding. In this case, 6 characters will be added to PREFIX to
670 form the file name. Otherwise, if Emacs is running on a system
671 with long file names, add the pid as a decimal number.
673 This function signals an error if no unique file name could be
674 generated. */
676 Lisp_Object
677 make_temp_name (Lisp_Object prefix, bool base64_p)
679 Lisp_Object val;
680 int len, clen;
681 printmax_t pid;
682 char *p, *data;
683 char pidbuf[INT_BUFSIZE_BOUND (printmax_t)];
684 int pidlen;
686 CHECK_STRING (prefix);
688 /* VAL is created by adding 6 characters to PREFIX. The first
689 three are the PID of this process, in base 64, and the second
690 three are incremented if the file already exists. This ensures
691 262144 unique file names per PID per PREFIX. */
693 pid = getpid ();
695 if (base64_p)
697 pidbuf[0] = make_temp_name_tbl[pid & 63], pid >>= 6;
698 pidbuf[1] = make_temp_name_tbl[pid & 63], pid >>= 6;
699 pidbuf[2] = make_temp_name_tbl[pid & 63], pid >>= 6;
700 pidlen = 3;
702 else
704 #ifdef HAVE_LONG_FILE_NAMES
705 pidlen = sprintf (pidbuf, "%"pMd, pid);
706 #else
707 pidbuf[0] = make_temp_name_tbl[pid & 63], pid >>= 6;
708 pidbuf[1] = make_temp_name_tbl[pid & 63], pid >>= 6;
709 pidbuf[2] = make_temp_name_tbl[pid & 63], pid >>= 6;
710 pidlen = 3;
711 #endif
714 len = SBYTES (prefix); clen = SCHARS (prefix);
715 val = make_uninit_multibyte_string (clen + 3 + pidlen, len + 3 + pidlen);
716 if (!STRING_MULTIBYTE (prefix))
717 STRING_SET_UNIBYTE (val);
718 data = SSDATA (val);
719 memcpy (data, SSDATA (prefix), len);
720 p = data + len;
722 memcpy (p, pidbuf, pidlen);
723 p += pidlen;
725 /* Here we try to minimize useless stat'ing when this function is
726 invoked many times successively with the same PREFIX. We achieve
727 this by initializing count to a random value, and incrementing it
728 afterwards.
730 We don't want make-temp-name to be called while dumping,
731 because then make_temp_name_count_initialized_p would get set
732 and then make_temp_name_count would not be set when Emacs starts. */
734 if (!make_temp_name_count_initialized_p)
736 make_temp_name_count = time (NULL);
737 make_temp_name_count_initialized_p = 1;
740 while (1)
742 unsigned num = make_temp_name_count;
744 p[0] = make_temp_name_tbl[num & 63], num >>= 6;
745 p[1] = make_temp_name_tbl[num & 63], num >>= 6;
746 p[2] = make_temp_name_tbl[num & 63], num >>= 6;
748 /* Poor man's congruential RN generator. Replace with
749 ++make_temp_name_count for debugging. */
750 make_temp_name_count += 25229;
751 make_temp_name_count %= 225307;
753 if (!check_existing (data))
755 /* We want to return only if errno is ENOENT. */
756 if (errno == ENOENT)
757 return val;
758 else
759 /* The error here is dubious, but there is little else we
760 can do. The alternatives are to return nil, which is
761 as bad as (and in many cases worse than) throwing the
762 error, or to ignore the error, which will likely result
763 in looping through 225307 stat's, which is not only
764 dog-slow, but also useless since eventually nil would
765 have to be returned anyway. */
766 report_file_error ("Cannot create temporary name for prefix",
767 prefix);
768 /* not reached */
774 DEFUN ("make-temp-name", Fmake_temp_name, Smake_temp_name, 1, 1, 0,
775 doc: /* Generate temporary file name (string) starting with PREFIX (a string).
776 The Emacs process number forms part of the result,
777 so there is no danger of generating a name being used by another process.
779 In addition, this function makes an attempt to choose a name
780 which has no existing file. To make this work,
781 PREFIX should be an absolute file name.
783 There is a race condition between calling `make-temp-name' and creating the
784 file which opens all kinds of security holes. For that reason, you should
785 probably use `make-temp-file' instead, except in three circumstances:
787 * If you are creating the file in the user's home directory.
788 * If you are creating a directory rather than an ordinary file.
789 * If you are taking special precautions as `make-temp-file' does. */)
790 (Lisp_Object prefix)
792 return make_temp_name (prefix, 0);
797 DEFUN ("expand-file-name", Fexpand_file_name, Sexpand_file_name, 1, 2, 0,
798 doc: /* Convert filename NAME to absolute, and canonicalize it.
799 Second arg DEFAULT-DIRECTORY is directory to start with if NAME is relative
800 \(does not start with slash or tilde); both the directory name and
801 a directory's file name are accepted. If DEFAULT-DIRECTORY is nil or
802 missing, the current buffer's value of `default-directory' is used.
803 NAME should be a string that is a valid file name for the underlying
804 filesystem.
805 File name components that are `.' are removed, and
806 so are file name components followed by `..', along with the `..' itself;
807 note that these simplifications are done without checking the resulting
808 file names in the file system.
809 Multiple consecutive slashes are collapsed into a single slash,
810 except at the beginning of the file name when they are significant (e.g.,
811 UNC file names on MS-Windows.)
812 An initial `~/' expands to your home directory.
813 An initial `~USER/' expands to USER's home directory.
814 See also the function `substitute-in-file-name'.
816 For technical reasons, this function can return correct but
817 non-intuitive results for the root directory; for instance,
818 \(expand-file-name ".." "/") returns "/..". For this reason, use
819 \(directory-file-name (file-name-directory dirname)) to traverse a
820 filesystem tree, not (expand-file-name ".." dirname). */)
821 (Lisp_Object name, Lisp_Object default_directory)
823 /* These point to SDATA and need to be careful with string-relocation
824 during GC (via DECODE_FILE). */
825 char *nm;
826 const char *newdir;
827 /* This should only point to alloca'd data. */
828 char *target;
830 ptrdiff_t tlen;
831 struct passwd *pw;
832 #ifdef DOS_NT
833 int drive = 0;
834 bool collapse_newdir = 1;
835 bool is_escaped = 0;
836 #endif /* DOS_NT */
837 ptrdiff_t length;
838 Lisp_Object handler, result, handled_name;
839 bool multibyte;
840 Lisp_Object hdir;
842 CHECK_STRING (name);
844 /* If the file name has special constructs in it,
845 call the corresponding file handler. */
846 handler = Ffind_file_name_handler (name, Qexpand_file_name);
847 if (!NILP (handler))
849 handled_name = call3 (handler, Qexpand_file_name,
850 name, default_directory);
851 if (STRINGP (handled_name))
852 return handled_name;
853 error ("Invalid handler in `file-name-handler-alist'");
857 /* Use the buffer's default-directory if DEFAULT_DIRECTORY is omitted. */
858 if (NILP (default_directory))
859 default_directory = BVAR (current_buffer, directory);
860 if (! STRINGP (default_directory))
862 #ifdef DOS_NT
863 /* "/" is not considered a root directory on DOS_NT, so using "/"
864 here causes an infinite recursion in, e.g., the following:
866 (let (default-directory)
867 (expand-file-name "a"))
869 To avoid this, we set default_directory to the root of the
870 current drive. */
871 default_directory = build_string (emacs_root_dir ());
872 #else
873 default_directory = build_string ("/");
874 #endif
877 if (!NILP (default_directory))
879 handler = Ffind_file_name_handler (default_directory, Qexpand_file_name);
880 if (!NILP (handler))
882 handled_name = call3 (handler, Qexpand_file_name,
883 name, default_directory);
884 if (STRINGP (handled_name))
885 return handled_name;
886 error ("Invalid handler in `file-name-handler-alist'");
891 char *o = SSDATA (default_directory);
893 /* Make sure DEFAULT_DIRECTORY is properly expanded.
894 It would be better to do this down below where we actually use
895 default_directory. Unfortunately, calling Fexpand_file_name recursively
896 could invoke GC, and the strings might be relocated. This would
897 be annoying because we have pointers into strings lying around
898 that would need adjusting, and people would add new pointers to
899 the code and forget to adjust them, resulting in intermittent bugs.
900 Putting this call here avoids all that crud.
902 The EQ test avoids infinite recursion. */
903 if (! NILP (default_directory) && !EQ (default_directory, name)
904 /* Save time in some common cases - as long as default_directory
905 is not relative, it can be canonicalized with name below (if it
906 is needed at all) without requiring it to be expanded now. */
907 #ifdef DOS_NT
908 /* Detect MSDOS file names with drive specifiers. */
909 && ! (IS_DRIVE (o[0]) && IS_DEVICE_SEP (o[1])
910 && IS_DIRECTORY_SEP (o[2]))
911 #ifdef WINDOWSNT
912 /* Detect Windows file names in UNC format. */
913 && ! (IS_DIRECTORY_SEP (o[0]) && IS_DIRECTORY_SEP (o[1]))
914 #endif
915 #else /* not DOS_NT */
916 /* Detect Unix absolute file names (/... alone is not absolute on
917 DOS or Windows). */
918 && ! (IS_DIRECTORY_SEP (o[0]))
919 #endif /* not DOS_NT */
922 struct gcpro gcpro1;
924 GCPRO1 (name);
925 default_directory = Fexpand_file_name (default_directory, Qnil);
926 UNGCPRO;
929 multibyte = STRING_MULTIBYTE (name);
930 if (multibyte != STRING_MULTIBYTE (default_directory))
932 if (multibyte)
933 default_directory = string_to_multibyte (default_directory);
934 else
936 name = string_to_multibyte (name);
937 multibyte = 1;
941 #ifdef WINDOWSNT
942 if (!NILP (Vw32_downcase_file_names))
943 default_directory = Fdowncase (default_directory);
944 #endif
946 /* Make a local copy of nm[] to protect it from GC in DECODE_FILE below. */
947 nm = alloca (SBYTES (name) + 1);
948 memcpy (nm, SSDATA (name), SBYTES (name) + 1);
950 #ifdef DOS_NT
951 /* Note if special escape prefix is present, but remove for now. */
952 if (nm[0] == '/' && nm[1] == ':')
954 is_escaped = 1;
955 nm += 2;
958 /* Find and remove drive specifier if present; this makes nm absolute
959 even if the rest of the name appears to be relative. Only look for
960 drive specifier at the beginning. */
961 if (IS_DRIVE (nm[0]) && IS_DEVICE_SEP (nm[1]))
963 drive = (unsigned char) nm[0];
964 nm += 2;
967 #ifdef WINDOWSNT
968 /* If we see "c://somedir", we want to strip the first slash after the
969 colon when stripping the drive letter. Otherwise, this expands to
970 "//somedir". */
971 if (drive && IS_DIRECTORY_SEP (nm[0]) && IS_DIRECTORY_SEP (nm[1]))
972 nm++;
974 /* Discard any previous drive specifier if nm is now in UNC format. */
975 if (IS_DIRECTORY_SEP (nm[0]) && IS_DIRECTORY_SEP (nm[1]))
977 drive = 0;
979 #endif /* WINDOWSNT */
980 #endif /* DOS_NT */
982 /* If nm is absolute, look for `/./' or `/../' or `//''sequences; if
983 none are found, we can probably return right away. We will avoid
984 allocating a new string if name is already fully expanded. */
985 if (
986 IS_DIRECTORY_SEP (nm[0])
987 #ifdef MSDOS
988 && drive && !is_escaped
989 #endif
990 #ifdef WINDOWSNT
991 && (drive || IS_DIRECTORY_SEP (nm[1])) && !is_escaped
992 #endif
995 /* If it turns out that the filename we want to return is just a
996 suffix of FILENAME, we don't need to go through and edit
997 things; we just need to construct a new string using data
998 starting at the middle of FILENAME. If we set LOSE, that
999 means we've discovered that we can't do that cool trick. */
1000 bool lose = 0;
1001 char *p = nm;
1003 while (*p)
1005 /* Since we know the name is absolute, we can assume that each
1006 element starts with a "/". */
1008 /* "." and ".." are hairy. */
1009 if (IS_DIRECTORY_SEP (p[0])
1010 && p[1] == '.'
1011 && (IS_DIRECTORY_SEP (p[2])
1012 || p[2] == 0
1013 || (p[2] == '.' && (IS_DIRECTORY_SEP (p[3])
1014 || p[3] == 0))))
1015 lose = 1;
1016 /* We want to replace multiple `/' in a row with a single
1017 slash. */
1018 else if (p > nm
1019 && IS_DIRECTORY_SEP (p[0])
1020 && IS_DIRECTORY_SEP (p[1]))
1021 lose = 1;
1022 p++;
1024 if (!lose)
1026 #ifdef DOS_NT
1027 /* Make sure directories are all separated with /, but
1028 avoid allocation of a new string when not required. */
1029 dostounix_filename (nm, multibyte);
1030 #ifdef WINDOWSNT
1031 if (IS_DIRECTORY_SEP (nm[1]))
1033 if (strcmp (nm, SSDATA (name)) != 0)
1034 name = make_specified_string (nm, -1, strlen (nm), multibyte);
1036 else
1037 #endif
1038 /* Drive must be set, so this is okay. */
1039 if (strcmp (nm - 2, SSDATA (name)) != 0)
1041 char temp[] = " :";
1043 name = make_specified_string (nm, -1, p - nm, multibyte);
1044 temp[0] = DRIVE_LETTER (drive);
1045 name = concat2 (build_string (temp), name);
1047 #ifdef WINDOWSNT
1048 if (!NILP (Vw32_downcase_file_names))
1049 name = Fdowncase (name);
1050 #endif
1051 return name;
1052 #else /* not DOS_NT */
1053 if (strcmp (nm, SSDATA (name)) == 0)
1054 return name;
1055 return make_specified_string (nm, -1, strlen (nm), multibyte);
1056 #endif /* not DOS_NT */
1060 /* At this point, nm might or might not be an absolute file name. We
1061 need to expand ~ or ~user if present, otherwise prefix nm with
1062 default_directory if nm is not absolute, and finally collapse /./
1063 and /foo/../ sequences.
1065 We set newdir to be the appropriate prefix if one is needed:
1066 - the relevant user directory if nm starts with ~ or ~user
1067 - the specified drive's working dir (DOS/NT only) if nm does not
1068 start with /
1069 - the value of default_directory.
1071 Note that these prefixes are not guaranteed to be absolute (except
1072 for the working dir of a drive). Therefore, to ensure we always
1073 return an absolute name, if the final prefix is not absolute we
1074 append it to the current working directory. */
1076 newdir = 0;
1078 if (nm[0] == '~') /* prefix ~ */
1080 if (IS_DIRECTORY_SEP (nm[1])
1081 || nm[1] == 0) /* ~ by itself */
1083 Lisp_Object tem;
1085 if (!(newdir = egetenv ("HOME")))
1086 newdir = "";
1087 nm++;
1088 /* `egetenv' may return a unibyte string, which will bite us since
1089 we expect the directory to be multibyte. */
1090 tem = build_string (newdir);
1091 if (multibyte && !STRING_MULTIBYTE (tem))
1093 hdir = DECODE_FILE (tem);
1094 newdir = SSDATA (hdir);
1096 #ifdef DOS_NT
1097 collapse_newdir = 0;
1098 #endif
1100 else /* ~user/filename */
1102 char *o, *p;
1103 for (p = nm; *p && (!IS_DIRECTORY_SEP (*p)); p++);
1104 o = alloca (p - nm + 1);
1105 memcpy (o, nm, p - nm);
1106 o [p - nm] = 0;
1108 block_input ();
1109 pw = getpwnam (o + 1);
1110 unblock_input ();
1111 if (pw)
1113 Lisp_Object tem;
1115 newdir = pw->pw_dir;
1116 /* `getpwnam' may return a unibyte string, which will
1117 bite us since we expect the directory to be
1118 multibyte. */
1119 tem = build_string (newdir);
1120 if (multibyte && !STRING_MULTIBYTE (tem))
1122 hdir = DECODE_FILE (tem);
1123 newdir = SSDATA (hdir);
1125 nm = p;
1126 #ifdef DOS_NT
1127 collapse_newdir = 0;
1128 #endif
1131 /* If we don't find a user of that name, leave the name
1132 unchanged; don't move nm forward to p. */
1136 #ifdef DOS_NT
1137 /* On DOS and Windows, nm is absolute if a drive name was specified;
1138 use the drive's current directory as the prefix if needed. */
1139 if (!newdir && drive)
1141 /* Get default directory if needed to make nm absolute. */
1142 char *adir = NULL;
1143 if (!IS_DIRECTORY_SEP (nm[0]))
1145 adir = alloca (MAXPATHLEN + 1);
1146 if (!getdefdir (c_toupper (drive) - 'A' + 1, adir))
1147 adir = NULL;
1148 else if (multibyte)
1150 Lisp_Object tem = build_string (adir);
1152 tem = DECODE_FILE (tem);
1153 memcpy (adir, SSDATA (tem), SBYTES (tem) + 1);
1156 if (!adir)
1158 /* Either nm starts with /, or drive isn't mounted. */
1159 adir = alloca (4);
1160 adir[0] = DRIVE_LETTER (drive);
1161 adir[1] = ':';
1162 adir[2] = '/';
1163 adir[3] = 0;
1165 newdir = adir;
1167 #endif /* DOS_NT */
1169 /* Finally, if no prefix has been specified and nm is not absolute,
1170 then it must be expanded relative to default_directory. */
1172 if (1
1173 #ifndef DOS_NT
1174 /* /... alone is not absolute on DOS and Windows. */
1175 && !IS_DIRECTORY_SEP (nm[0])
1176 #endif
1177 #ifdef WINDOWSNT
1178 && !(IS_DIRECTORY_SEP (nm[0]) && IS_DIRECTORY_SEP (nm[1]))
1179 #endif
1180 && !newdir)
1182 newdir = SSDATA (default_directory);
1183 #ifdef DOS_NT
1184 /* Note if special escape prefix is present, but remove for now. */
1185 if (newdir[0] == '/' && newdir[1] == ':')
1187 is_escaped = 1;
1188 newdir += 2;
1190 #endif
1193 #ifdef DOS_NT
1194 if (newdir)
1196 /* First ensure newdir is an absolute name. */
1197 if (
1198 /* Detect MSDOS file names with drive specifiers. */
1199 ! (IS_DRIVE (newdir[0])
1200 && IS_DEVICE_SEP (newdir[1]) && IS_DIRECTORY_SEP (newdir[2]))
1201 #ifdef WINDOWSNT
1202 /* Detect Windows file names in UNC format. */
1203 && ! (IS_DIRECTORY_SEP (newdir[0]) && IS_DIRECTORY_SEP (newdir[1]))
1204 #endif
1207 /* Effectively, let newdir be (expand-file-name newdir cwd).
1208 Because of the admonition against calling expand-file-name
1209 when we have pointers into lisp strings, we accomplish this
1210 indirectly by prepending newdir to nm if necessary, and using
1211 cwd (or the wd of newdir's drive) as the new newdir. */
1212 char *adir;
1214 if (IS_DRIVE (newdir[0]) && IS_DEVICE_SEP (newdir[1]))
1216 drive = (unsigned char) newdir[0];
1217 newdir += 2;
1219 if (!IS_DIRECTORY_SEP (nm[0]))
1221 ptrdiff_t newlen = strlen (newdir);
1222 char *tmp = alloca (newlen + strlen (nm) + 2);
1223 file_name_as_directory (tmp, newdir, newlen, multibyte);
1224 strcat (tmp, nm);
1225 nm = tmp;
1227 adir = alloca (MAXPATHLEN + 1);
1228 if (drive)
1230 if (!getdefdir (c_toupper (drive) - 'A' + 1, adir))
1231 strcpy (adir, "/");
1233 else
1234 getcwd (adir, MAXPATHLEN + 1);
1235 if (multibyte)
1237 Lisp_Object tem = build_string (adir);
1239 tem = DECODE_FILE (tem);
1240 memcpy (adir, SSDATA (tem), SBYTES (tem) + 1);
1242 newdir = adir;
1245 /* Strip off drive name from prefix, if present. */
1246 if (IS_DRIVE (newdir[0]) && IS_DEVICE_SEP (newdir[1]))
1248 drive = newdir[0];
1249 newdir += 2;
1252 /* Keep only a prefix from newdir if nm starts with slash
1253 (//server/share for UNC, nothing otherwise). */
1254 if (IS_DIRECTORY_SEP (nm[0]) && collapse_newdir)
1256 #ifdef WINDOWSNT
1257 if (IS_DIRECTORY_SEP (newdir[0]) && IS_DIRECTORY_SEP (newdir[1]))
1259 char *adir = strcpy (alloca (strlen (newdir) + 1), newdir);
1260 char *p = adir + 2;
1261 while (*p && !IS_DIRECTORY_SEP (*p)) p++;
1262 p++;
1263 while (*p && !IS_DIRECTORY_SEP (*p)) p++;
1264 *p = 0;
1265 newdir = adir;
1267 else
1268 #endif
1269 newdir = "";
1272 #endif /* DOS_NT */
1274 if (newdir)
1276 /* Get rid of any slash at the end of newdir, unless newdir is
1277 just / or // (an incomplete UNC name). */
1278 length = strlen (newdir);
1279 tlen = length + 1;
1280 if (length > 1 && IS_DIRECTORY_SEP (newdir[length - 1])
1281 #ifdef WINDOWSNT
1282 && !(length == 2 && IS_DIRECTORY_SEP (newdir[0]))
1283 #endif
1286 char *temp = alloca (length);
1287 memcpy (temp, newdir, length - 1);
1288 temp[length - 1] = 0;
1289 length--;
1290 newdir = temp;
1293 else
1295 length = 0;
1296 tlen = 0;
1299 /* Now concatenate the directory and name to new space in the stack frame. */
1300 tlen += strlen (nm) + 1;
1301 #ifdef DOS_NT
1302 /* Reserve space for drive specifier and escape prefix, since either
1303 or both may need to be inserted. (The Microsoft x86 compiler
1304 produces incorrect code if the following two lines are combined.) */
1305 target = alloca (tlen + 4);
1306 target += 4;
1307 #else /* not DOS_NT */
1308 target = alloca (tlen);
1309 #endif /* not DOS_NT */
1310 *target = 0;
1312 if (newdir)
1314 if (nm[0] == 0 || IS_DIRECTORY_SEP (nm[0]))
1316 #ifdef DOS_NT
1317 /* If newdir is effectively "C:/", then the drive letter will have
1318 been stripped and newdir will be "/". Concatenating with an
1319 absolute directory in nm produces "//", which will then be
1320 incorrectly treated as a network share. Ignore newdir in
1321 this case (keeping the drive letter). */
1322 if (!(drive && nm[0] && IS_DIRECTORY_SEP (newdir[0])
1323 && newdir[1] == '\0'))
1324 #endif
1325 strcpy (target, newdir);
1327 else
1328 file_name_as_directory (target, newdir, length, multibyte);
1331 strcat (target, nm);
1333 /* Now canonicalize by removing `//', `/.' and `/foo/..' if they
1334 appear. */
1336 char *p = target;
1337 char *o = target;
1339 while (*p)
1341 if (!IS_DIRECTORY_SEP (*p))
1343 *o++ = *p++;
1345 else if (p[1] == '.'
1346 && (IS_DIRECTORY_SEP (p[2])
1347 || p[2] == 0))
1349 /* If "/." is the entire filename, keep the "/". Otherwise,
1350 just delete the whole "/.". */
1351 if (o == target && p[2] == '\0')
1352 *o++ = *p;
1353 p += 2;
1355 else if (p[1] == '.' && p[2] == '.'
1356 /* `/../' is the "superroot" on certain file systems.
1357 Turned off on DOS_NT systems because they have no
1358 "superroot" and because this causes us to produce
1359 file names like "d:/../foo" which fail file-related
1360 functions of the underlying OS. (To reproduce, try a
1361 long series of "../../" in default_directory, longer
1362 than the number of levels from the root.) */
1363 #ifndef DOS_NT
1364 && o != target
1365 #endif
1366 && (IS_DIRECTORY_SEP (p[3]) || p[3] == 0))
1368 #ifdef WINDOWSNT
1369 char *prev_o = o;
1370 #endif
1371 while (o != target && (--o, !IS_DIRECTORY_SEP (*o)))
1372 continue;
1373 #ifdef WINDOWSNT
1374 /* Don't go below server level in UNC filenames. */
1375 if (o == target + 1 && IS_DIRECTORY_SEP (*o)
1376 && IS_DIRECTORY_SEP (*target))
1377 o = prev_o;
1378 else
1379 #endif
1380 /* Keep initial / only if this is the whole name. */
1381 if (o == target && IS_ANY_SEP (*o) && p[3] == 0)
1382 ++o;
1383 p += 3;
1385 else if (p > target && IS_DIRECTORY_SEP (p[1]))
1386 /* Collapse multiple `/' in a row. */
1387 p++;
1388 else
1390 *o++ = *p++;
1394 #ifdef DOS_NT
1395 /* At last, set drive name. */
1396 #ifdef WINDOWSNT
1397 /* Except for network file name. */
1398 if (!(IS_DIRECTORY_SEP (target[0]) && IS_DIRECTORY_SEP (target[1])))
1399 #endif /* WINDOWSNT */
1401 if (!drive) emacs_abort ();
1402 target -= 2;
1403 target[0] = DRIVE_LETTER (drive);
1404 target[1] = ':';
1406 /* Reinsert the escape prefix if required. */
1407 if (is_escaped)
1409 target -= 2;
1410 target[0] = '/';
1411 target[1] = ':';
1413 result = make_specified_string (target, -1, o - target, multibyte);
1414 dostounix_filename (SSDATA (result), multibyte);
1415 #ifdef WINDOWSNT
1416 if (!NILP (Vw32_downcase_file_names))
1417 result = Fdowncase (result);
1418 #endif
1419 #else /* !DOS_NT */
1420 result = make_specified_string (target, -1, o - target, multibyte);
1421 #endif /* !DOS_NT */
1424 /* Again look to see if the file name has special constructs in it
1425 and perhaps call the corresponding file handler. This is needed
1426 for filenames such as "/foo/../user@host:/bar/../baz". Expanding
1427 the ".." component gives us "/user@host:/bar/../baz" which needs
1428 to be expanded again. */
1429 handler = Ffind_file_name_handler (result, Qexpand_file_name);
1430 if (!NILP (handler))
1432 handled_name = call3 (handler, Qexpand_file_name,
1433 result, default_directory);
1434 if (STRINGP (handled_name))
1435 return handled_name;
1436 error ("Invalid handler in `file-name-handler-alist'");
1439 return result;
1442 #if 0
1443 /* PLEASE DO NOT DELETE THIS COMMENTED-OUT VERSION!
1444 This is the old version of expand-file-name, before it was thoroughly
1445 rewritten for Emacs 10.31. We leave this version here commented-out,
1446 because the code is very complex and likely to have subtle bugs. If
1447 bugs _are_ found, it might be of interest to look at the old code and
1448 see what did it do in the relevant situation.
1450 Don't remove this code: it's true that it will be accessible
1451 from the repository, but a few years from deletion, people will
1452 forget it is there. */
1454 /* Changed this DEFUN to a DEAFUN, so as not to confuse `make-docfile'. */
1455 DEAFUN ("expand-file-name", Fexpand_file_name, Sexpand_file_name, 1, 2, 0,
1456 "Convert FILENAME to absolute, and canonicalize it.\n\
1457 Second arg DEFAULT is directory to start with if FILENAME is relative\n\
1458 \(does not start with slash); if DEFAULT is nil or missing,\n\
1459 the current buffer's value of default-directory is used.\n\
1460 Filenames containing `.' or `..' as components are simplified;\n\
1461 initial `~/' expands to your home directory.\n\
1462 See also the function `substitute-in-file-name'.")
1463 (name, defalt)
1464 Lisp_Object name, defalt;
1466 unsigned char *nm;
1468 register unsigned char *newdir, *p, *o;
1469 ptrdiff_t tlen;
1470 unsigned char *target;
1471 struct passwd *pw;
1473 CHECK_STRING (name);
1474 nm = SDATA (name);
1476 /* If nm is absolute, flush ...// and detect /./ and /../.
1477 If no /./ or /../ we can return right away. */
1478 if (nm[0] == '/')
1480 bool lose = 0;
1481 p = nm;
1482 while (*p)
1484 if (p[0] == '/' && p[1] == '/')
1485 nm = p + 1;
1486 if (p[0] == '/' && p[1] == '~')
1487 nm = p + 1, lose = 1;
1488 if (p[0] == '/' && p[1] == '.'
1489 && (p[2] == '/' || p[2] == 0
1490 || (p[2] == '.' && (p[3] == '/' || p[3] == 0))))
1491 lose = 1;
1492 p++;
1494 if (!lose)
1496 if (nm == SDATA (name))
1497 return name;
1498 return build_string (nm);
1502 /* Now determine directory to start with and put it in NEWDIR. */
1504 newdir = 0;
1506 if (nm[0] == '~') /* prefix ~ */
1507 if (nm[1] == '/' || nm[1] == 0)/* ~/filename */
1509 if (!(newdir = (unsigned char *) egetenv ("HOME")))
1510 newdir = (unsigned char *) "";
1511 nm++;
1513 else /* ~user/filename */
1515 /* Get past ~ to user. */
1516 unsigned char *user = nm + 1;
1517 /* Find end of name. */
1518 unsigned char *ptr = (unsigned char *) strchr (user, '/');
1519 ptrdiff_t len = ptr ? ptr - user : strlen (user);
1520 /* Copy the user name into temp storage. */
1521 o = alloca (len + 1);
1522 memcpy (o, user, len);
1523 o[len] = 0;
1525 /* Look up the user name. */
1526 block_input ();
1527 pw = (struct passwd *) getpwnam (o + 1);
1528 unblock_input ();
1529 if (!pw)
1530 error ("\"%s\" isn't a registered user", o + 1);
1532 newdir = (unsigned char *) pw->pw_dir;
1534 /* Discard the user name from NM. */
1535 nm += len;
1538 if (nm[0] != '/' && !newdir)
1540 if (NILP (defalt))
1541 defalt = current_buffer->directory;
1542 CHECK_STRING (defalt);
1543 newdir = SDATA (defalt);
1546 /* Now concatenate the directory and name to new space in the stack frame. */
1548 tlen = (newdir ? strlen (newdir) + 1 : 0) + strlen (nm) + 1;
1549 target = alloca (tlen);
1550 *target = 0;
1552 if (newdir)
1554 if (nm[0] == 0 || nm[0] == '/')
1555 strcpy (target, newdir);
1556 else
1557 file_name_as_directory (target, newdir);
1560 strcat (target, nm);
1562 /* Now canonicalize by removing /. and /foo/.. if they appear. */
1564 p = target;
1565 o = target;
1567 while (*p)
1569 if (*p != '/')
1571 *o++ = *p++;
1573 else if (!strncmp (p, "//", 2)
1576 o = target;
1577 p++;
1579 else if (p[0] == '/' && p[1] == '.'
1580 && (p[2] == '/' || p[2] == 0))
1581 p += 2;
1582 else if (!strncmp (p, "/..", 3)
1583 /* `/../' is the "superroot" on certain file systems. */
1584 && o != target
1585 && (p[3] == '/' || p[3] == 0))
1587 while (o != target && *--o != '/')
1589 if (o == target && *o == '/')
1590 ++o;
1591 p += 3;
1593 else
1595 *o++ = *p++;
1599 return make_string (target, o - target);
1601 #endif
1603 /* If /~ or // appears, discard everything through first slash. */
1604 static bool
1605 file_name_absolute_p (const char *filename)
1607 return
1608 (IS_DIRECTORY_SEP (*filename) || *filename == '~'
1609 #ifdef DOS_NT
1610 || (IS_DRIVE (*filename) && IS_DEVICE_SEP (filename[1])
1611 && IS_DIRECTORY_SEP (filename[2]))
1612 #endif
1616 static char *
1617 search_embedded_absfilename (char *nm, char *endp)
1619 char *p, *s;
1621 for (p = nm + 1; p < endp; p++)
1623 if (IS_DIRECTORY_SEP (p[-1])
1624 && file_name_absolute_p (p)
1625 #if defined (WINDOWSNT) || defined (CYGWIN)
1626 /* // at start of file name is meaningful in Apollo,
1627 WindowsNT and Cygwin systems. */
1628 && !(IS_DIRECTORY_SEP (p[0]) && p - 1 == nm)
1629 #endif /* not (WINDOWSNT || CYGWIN) */
1632 for (s = p; *s && !IS_DIRECTORY_SEP (*s); s++);
1633 if (p[0] == '~' && s > p + 1) /* We've got "/~something/". */
1635 char *o = alloca (s - p + 1);
1636 struct passwd *pw;
1637 memcpy (o, p, s - p);
1638 o [s - p] = 0;
1640 /* If we have ~user and `user' exists, discard
1641 everything up to ~. But if `user' does not exist, leave
1642 ~user alone, it might be a literal file name. */
1643 block_input ();
1644 pw = getpwnam (o + 1);
1645 unblock_input ();
1646 if (pw)
1647 return p;
1649 else
1650 return p;
1653 return NULL;
1656 DEFUN ("substitute-in-file-name", Fsubstitute_in_file_name,
1657 Ssubstitute_in_file_name, 1, 1, 0,
1658 doc: /* Substitute environment variables referred to in FILENAME.
1659 `$FOO' where FOO is an environment variable name means to substitute
1660 the value of that variable. The variable name should be terminated
1661 with a character not a letter, digit or underscore; otherwise, enclose
1662 the entire variable name in braces.
1664 If `/~' appears, all of FILENAME through that `/' is discarded.
1665 If `//' appears, everything up to and including the first of
1666 those `/' is discarded. */)
1667 (Lisp_Object filename)
1669 char *nm, *s, *p, *o, *x, *endp;
1670 char *target = NULL;
1671 ptrdiff_t total = 0;
1672 bool substituted = 0;
1673 bool multibyte;
1674 char *xnm;
1675 Lisp_Object handler;
1677 CHECK_STRING (filename);
1679 multibyte = STRING_MULTIBYTE (filename);
1681 /* If the file name has special constructs in it,
1682 call the corresponding file handler. */
1683 handler = Ffind_file_name_handler (filename, Qsubstitute_in_file_name);
1684 if (!NILP (handler))
1686 Lisp_Object handled_name = call2 (handler, Qsubstitute_in_file_name,
1687 filename);
1688 if (STRINGP (handled_name))
1689 return handled_name;
1690 error ("Invalid handler in `file-name-handler-alist'");
1693 /* Always work on a copy of the string, in case GC happens during
1694 decode of environment variables, causing the original Lisp_String
1695 data to be relocated. */
1696 nm = alloca (SBYTES (filename) + 1);
1697 memcpy (nm, SDATA (filename), SBYTES (filename) + 1);
1699 #ifdef DOS_NT
1700 dostounix_filename (nm, multibyte);
1701 substituted = (memcmp (nm, SDATA (filename), SBYTES (filename)) != 0);
1702 #endif
1703 endp = nm + SBYTES (filename);
1705 /* If /~ or // appears, discard everything through first slash. */
1706 p = search_embedded_absfilename (nm, endp);
1707 if (p)
1708 /* Start over with the new string, so we check the file-name-handler
1709 again. Important with filenames like "/home/foo//:/hello///there"
1710 which would substitute to "/:/hello///there" rather than "/there". */
1711 return Fsubstitute_in_file_name
1712 (make_specified_string (p, -1, endp - p, multibyte));
1714 /* See if any variables are substituted into the string
1715 and find the total length of their values in `total'. */
1717 for (p = nm; p != endp;)
1718 if (*p != '$')
1719 p++;
1720 else
1722 p++;
1723 if (p == endp)
1724 goto badsubst;
1725 else if (*p == '$')
1727 /* "$$" means a single "$". */
1728 p++;
1729 total -= 1;
1730 substituted = 1;
1731 continue;
1733 else if (*p == '{')
1735 o = ++p;
1736 p = memchr (p, '}', endp - p);
1737 if (! p)
1738 goto missingclose;
1739 s = p;
1741 else
1743 o = p;
1744 while (p != endp && (c_isalnum (*p) || *p == '_')) p++;
1745 s = p;
1748 /* Copy out the variable name. */
1749 target = alloca (s - o + 1);
1750 memcpy (target, o, s - o);
1751 target[s - o] = 0;
1752 #ifdef DOS_NT
1753 strupr (target); /* $home == $HOME etc. */
1754 #endif /* DOS_NT */
1756 /* Get variable value. */
1757 o = egetenv (target);
1758 if (o)
1760 /* Don't try to guess a maximum length - UTF8 can use up to
1761 four bytes per character. This code is unlikely to run
1762 in a situation that requires performance, so decoding the
1763 env variables twice should be acceptable. Note that
1764 decoding may cause a garbage collect. */
1765 Lisp_Object orig, decoded;
1766 orig = build_unibyte_string (o);
1767 decoded = DECODE_FILE (orig);
1768 total += SBYTES (decoded);
1769 substituted = 1;
1771 else if (*p == '}')
1772 goto badvar;
1775 if (!substituted)
1777 #ifdef WINDOWSNT
1778 if (!NILP (Vw32_downcase_file_names))
1779 filename = Fdowncase (filename);
1780 #endif
1781 return filename;
1784 /* If substitution required, recopy the string and do it. */
1785 /* Make space in stack frame for the new copy. */
1786 xnm = alloca (SBYTES (filename) + total + 1);
1787 x = xnm;
1789 /* Copy the rest of the name through, replacing $ constructs with values. */
1790 for (p = nm; *p;)
1791 if (*p != '$')
1792 *x++ = *p++;
1793 else
1795 p++;
1796 if (p == endp)
1797 goto badsubst;
1798 else if (*p == '$')
1800 *x++ = *p++;
1801 continue;
1803 else if (*p == '{')
1805 o = ++p;
1806 p = memchr (p, '}', endp - p);
1807 if (! p)
1808 goto missingclose;
1809 s = p++;
1811 else
1813 o = p;
1814 while (p != endp && (c_isalnum (*p) || *p == '_')) p++;
1815 s = p;
1818 /* Copy out the variable name. */
1819 target = alloca (s - o + 1);
1820 memcpy (target, o, s - o);
1821 target[s - o] = 0;
1823 /* Get variable value. */
1824 o = egetenv (target);
1825 if (!o)
1827 *x++ = '$';
1828 strcpy (x, target); x+= strlen (target);
1830 else
1832 Lisp_Object orig, decoded;
1833 ptrdiff_t orig_length, decoded_length;
1834 orig_length = strlen (o);
1835 orig = make_unibyte_string (o, orig_length);
1836 decoded = DECODE_FILE (orig);
1837 decoded_length = SBYTES (decoded);
1838 memcpy (x, SDATA (decoded), decoded_length);
1839 x += decoded_length;
1841 /* If environment variable needed decoding, return value
1842 needs to be multibyte. */
1843 if (decoded_length != orig_length
1844 || memcmp (SDATA (decoded), o, orig_length))
1845 multibyte = 1;
1849 *x = 0;
1851 /* If /~ or // appears, discard everything through first slash. */
1852 while ((p = search_embedded_absfilename (xnm, x)) != NULL)
1853 /* This time we do not start over because we've already expanded envvars
1854 and replaced $$ with $. Maybe we should start over as well, but we'd
1855 need to quote some $ to $$ first. */
1856 xnm = p;
1858 #ifdef WINDOWSNT
1859 if (!NILP (Vw32_downcase_file_names))
1861 Lisp_Object xname = make_specified_string (xnm, -1, x - xnm, multibyte);
1863 xname = Fdowncase (xname);
1864 return xname;
1866 else
1867 #endif
1868 return make_specified_string (xnm, -1, x - xnm, multibyte);
1870 badsubst:
1871 error ("Bad format environment-variable substitution");
1872 missingclose:
1873 error ("Missing \"}\" in environment-variable substitution");
1874 badvar:
1875 error ("Substituting nonexistent environment variable \"%s\"", target);
1878 /* A slightly faster and more convenient way to get
1879 (directory-file-name (expand-file-name FOO)). */
1881 Lisp_Object
1882 expand_and_dir_to_file (Lisp_Object filename, Lisp_Object defdir)
1884 register Lisp_Object absname;
1886 absname = Fexpand_file_name (filename, defdir);
1888 /* Remove final slash, if any (unless this is the root dir).
1889 stat behaves differently depending! */
1890 if (SCHARS (absname) > 1
1891 && IS_DIRECTORY_SEP (SREF (absname, SBYTES (absname) - 1))
1892 && !IS_DEVICE_SEP (SREF (absname, SBYTES (absname) - 2)))
1893 /* We cannot take shortcuts; they might be wrong for magic file names. */
1894 absname = Fdirectory_file_name (absname);
1895 return absname;
1898 /* Signal an error if the file ABSNAME already exists.
1899 If INTERACTIVE, ask the user whether to proceed,
1900 and bypass the error if the user says to go ahead.
1901 QUERYSTRING is a name for the action that is being considered
1902 to alter the file.
1904 *STATPTR is used to store the stat information if the file exists.
1905 If the file does not exist, STATPTR->st_mode is set to 0.
1906 If STATPTR is null, we don't store into it.
1908 If QUICK, ask for y or n, not yes or no. */
1910 static void
1911 barf_or_query_if_file_exists (Lisp_Object absname, const char *querystring,
1912 bool interactive, struct stat *statptr,
1913 bool quick)
1915 Lisp_Object tem, encoded_filename;
1916 struct stat statbuf;
1917 struct gcpro gcpro1;
1919 encoded_filename = ENCODE_FILE (absname);
1921 /* `stat' is a good way to tell whether the file exists,
1922 regardless of what access permissions it has. */
1923 if (lstat (SSDATA (encoded_filename), &statbuf) >= 0)
1925 if (S_ISDIR (statbuf.st_mode))
1926 xsignal2 (Qfile_error,
1927 build_string ("File is a directory"), absname);
1929 if (! interactive)
1930 xsignal2 (Qfile_already_exists,
1931 build_string ("File already exists"), absname);
1932 GCPRO1 (absname);
1933 tem = format2 ("File %s already exists; %s anyway? ",
1934 absname, build_string (querystring));
1935 if (quick)
1936 tem = call1 (intern ("y-or-n-p"), tem);
1937 else
1938 tem = do_yes_or_no_p (tem);
1939 UNGCPRO;
1940 if (NILP (tem))
1941 xsignal2 (Qfile_already_exists,
1942 build_string ("File already exists"), absname);
1943 if (statptr)
1944 *statptr = statbuf;
1946 else
1948 if (statptr)
1949 statptr->st_mode = 0;
1951 return;
1954 DEFUN ("copy-file", Fcopy_file, Scopy_file, 2, 6,
1955 "fCopy file: \nGCopy %s to file: \np\nP",
1956 doc: /* Copy FILE to NEWNAME. Both args must be strings.
1957 If NEWNAME names a directory, copy FILE there.
1959 This function always sets the file modes of the output file to match
1960 the input file.
1962 The optional third argument OK-IF-ALREADY-EXISTS specifies what to do
1963 if file NEWNAME already exists. If OK-IF-ALREADY-EXISTS is nil, we
1964 signal a `file-already-exists' error without overwriting. If
1965 OK-IF-ALREADY-EXISTS is a number, we request confirmation from the user
1966 about overwriting; this is what happens in interactive use with M-x.
1967 Any other value for OK-IF-ALREADY-EXISTS means to overwrite the
1968 existing file.
1970 Fourth arg KEEP-TIME non-nil means give the output file the same
1971 last-modified time as the old one. (This works on only some systems.)
1973 A prefix arg makes KEEP-TIME non-nil.
1975 If PRESERVE-UID-GID is non-nil, we try to transfer the
1976 uid and gid of FILE to NEWNAME.
1978 If PRESERVE-EXTENDED-ATTRIBUTES is non-nil, we try to copy additional
1979 attributes of FILE to NEWNAME, such as its SELinux context and ACL
1980 entries (depending on how Emacs was built). */)
1981 (Lisp_Object file, Lisp_Object newname, Lisp_Object ok_if_already_exists, Lisp_Object keep_time, Lisp_Object preserve_uid_gid, Lisp_Object preserve_extended_attributes)
1983 int ifd, ofd;
1984 int n;
1985 char buf[16 * 1024];
1986 struct stat st, out_st;
1987 Lisp_Object handler;
1988 struct gcpro gcpro1, gcpro2, gcpro3, gcpro4;
1989 ptrdiff_t count = SPECPDL_INDEX ();
1990 Lisp_Object encoded_file, encoded_newname;
1991 #if HAVE_LIBSELINUX
1992 security_context_t con;
1993 int conlength = 0;
1994 #endif
1995 #ifdef WINDOWSNT
1996 acl_t acl = NULL;
1997 #endif
1999 encoded_file = encoded_newname = Qnil;
2000 GCPRO4 (file, newname, encoded_file, encoded_newname);
2001 CHECK_STRING (file);
2002 CHECK_STRING (newname);
2004 if (!NILP (Ffile_directory_p (newname)))
2005 newname = Fexpand_file_name (Ffile_name_nondirectory (file), newname);
2006 else
2007 newname = Fexpand_file_name (newname, Qnil);
2009 file = Fexpand_file_name (file, Qnil);
2011 /* If the input file name has special constructs in it,
2012 call the corresponding file handler. */
2013 handler = Ffind_file_name_handler (file, Qcopy_file);
2014 /* Likewise for output file name. */
2015 if (NILP (handler))
2016 handler = Ffind_file_name_handler (newname, Qcopy_file);
2017 if (!NILP (handler))
2018 RETURN_UNGCPRO (call7 (handler, Qcopy_file, file, newname,
2019 ok_if_already_exists, keep_time, preserve_uid_gid,
2020 preserve_extended_attributes));
2022 encoded_file = ENCODE_FILE (file);
2023 encoded_newname = ENCODE_FILE (newname);
2025 if (NILP (ok_if_already_exists)
2026 || INTEGERP (ok_if_already_exists))
2027 barf_or_query_if_file_exists (newname, "copy to it",
2028 INTEGERP (ok_if_already_exists), &out_st, 0);
2029 else if (stat (SSDATA (encoded_newname), &out_st) < 0)
2030 out_st.st_mode = 0;
2032 #ifdef WINDOWSNT
2033 if (!NILP (preserve_extended_attributes))
2035 acl = acl_get_file (SDATA (encoded_file), ACL_TYPE_ACCESS);
2036 if (acl == NULL && acl_errno_valid (errno))
2037 report_file_error ("Getting ACL", file);
2039 if (!CopyFile (SDATA (encoded_file),
2040 SDATA (encoded_newname),
2041 FALSE))
2043 /* CopyFile doesn't set errno when it fails. By far the most
2044 "popular" reason is that the target is read-only. */
2045 report_file_errno ("Copying file", list2 (file, newname),
2046 GetLastError () == 5 ? EACCES : EPERM);
2048 /* CopyFile retains the timestamp by default. */
2049 else if (NILP (keep_time))
2051 EMACS_TIME now;
2052 DWORD attributes;
2053 char * filename;
2055 filename = SDATA (encoded_newname);
2057 /* Ensure file is writable while its modified time is set. */
2058 attributes = GetFileAttributes (filename);
2059 SetFileAttributes (filename, attributes & ~FILE_ATTRIBUTE_READONLY);
2060 now = current_emacs_time ();
2061 if (set_file_times (-1, filename, now, now))
2063 /* Restore original attributes. */
2064 SetFileAttributes (filename, attributes);
2065 xsignal2 (Qfile_date_error,
2066 build_string ("Cannot set file date"), newname);
2068 /* Restore original attributes. */
2069 SetFileAttributes (filename, attributes);
2071 if (acl != NULL)
2073 bool fail =
2074 acl_set_file (SDATA (encoded_newname), ACL_TYPE_ACCESS, acl) != 0;
2075 if (fail && acl_errno_valid (errno))
2076 report_file_error ("Setting ACL", newname);
2078 acl_free (acl);
2080 #else /* not WINDOWSNT */
2081 immediate_quit = 1;
2082 ifd = emacs_open (SSDATA (encoded_file), O_RDONLY, 0);
2083 immediate_quit = 0;
2085 if (ifd < 0)
2086 report_file_error ("Opening input file", file);
2088 record_unwind_protect_int (close_file_unwind, ifd);
2090 if (fstat (ifd, &st) != 0)
2091 report_file_error ("Input file status", file);
2093 if (!NILP (preserve_extended_attributes))
2095 #if HAVE_LIBSELINUX
2096 if (is_selinux_enabled ())
2098 conlength = fgetfilecon (ifd, &con);
2099 if (conlength == -1)
2100 report_file_error ("Doing fgetfilecon", file);
2102 #endif
2105 if (out_st.st_mode != 0
2106 && st.st_dev == out_st.st_dev && st.st_ino == out_st.st_ino)
2107 report_file_errno ("Input and output files are the same",
2108 list2 (file, newname), 0);
2110 /* We can copy only regular files. */
2111 if (!S_ISREG (st.st_mode))
2112 report_file_errno ("Non-regular file", file,
2113 S_ISDIR (st.st_mode) ? EISDIR : EINVAL);
2116 #ifndef MSDOS
2117 int new_mask = st.st_mode & (!NILP (preserve_uid_gid) ? 0600 : 0666);
2118 #else
2119 int new_mask = S_IREAD | S_IWRITE;
2120 #endif
2121 ofd = emacs_open (SSDATA (encoded_newname),
2122 (O_WRONLY | O_TRUNC | O_CREAT
2123 | (NILP (ok_if_already_exists) ? O_EXCL : 0)),
2124 new_mask);
2126 if (ofd < 0)
2127 report_file_error ("Opening output file", newname);
2129 record_unwind_protect_int (close_file_unwind, ofd);
2131 immediate_quit = 1;
2132 QUIT;
2133 while ((n = emacs_read (ifd, buf, sizeof buf)) > 0)
2134 if (emacs_write_sig (ofd, buf, n) != n)
2135 report_file_error ("Write error", newname);
2136 immediate_quit = 0;
2138 #ifndef MSDOS
2139 /* Preserve the original file permissions, and if requested, also its
2140 owner and group. */
2142 mode_t mode_mask = 07777;
2143 if (!NILP (preserve_uid_gid))
2145 /* Attempt to change owner and group. If that doesn't work
2146 attempt to change just the group, as that is sometimes allowed.
2147 Adjust the mode mask to eliminate setuid or setgid bits
2148 that are inappropriate if the owner and group are wrong. */
2149 if (fchown (ofd, st.st_uid, st.st_gid) != 0)
2151 mode_mask &= ~06000;
2152 if (fchown (ofd, -1, st.st_gid) == 0)
2153 mode_mask |= 02000;
2157 switch (!NILP (preserve_extended_attributes)
2158 ? qcopy_acl (SSDATA (encoded_file), ifd,
2159 SSDATA (encoded_newname), ofd,
2160 st.st_mode & mode_mask)
2161 : fchmod (ofd, st.st_mode & mode_mask))
2163 case -2: report_file_error ("Copying permissions from", file);
2164 case -1: report_file_error ("Copying permissions to", newname);
2167 #endif /* not MSDOS */
2169 #if HAVE_LIBSELINUX
2170 if (conlength > 0)
2172 /* Set the modified context back to the file. */
2173 bool fail = fsetfilecon (ofd, con) != 0;
2174 /* See http://debbugs.gnu.org/11245 for ENOTSUP. */
2175 if (fail && errno != ENOTSUP)
2176 report_file_error ("Doing fsetfilecon", newname);
2178 freecon (con);
2180 #endif
2182 if (!NILP (keep_time))
2184 EMACS_TIME atime = get_stat_atime (&st);
2185 EMACS_TIME mtime = get_stat_mtime (&st);
2186 if (set_file_times (ofd, SSDATA (encoded_newname), atime, mtime))
2187 xsignal2 (Qfile_date_error,
2188 build_string ("Cannot set file date"), newname);
2191 if (emacs_close (ofd) < 0)
2192 report_file_error ("Write error", newname);
2194 emacs_close (ifd);
2196 #ifdef MSDOS
2197 /* In DJGPP v2.0 and later, fstat usually returns true file mode bits,
2198 and if it can't, it tells so. Otherwise, under MSDOS we usually
2199 get only the READ bit, which will make the copied file read-only,
2200 so it's better not to chmod at all. */
2201 if ((_djstat_flags & _STFAIL_WRITEBIT) == 0)
2202 chmod (SDATA (encoded_newname), st.st_mode & 07777);
2203 #endif /* MSDOS */
2204 #endif /* not WINDOWSNT */
2206 /* Discard the unwind protects. */
2207 specpdl_ptr = specpdl + count;
2209 UNGCPRO;
2210 return Qnil;
2213 DEFUN ("make-directory-internal", Fmake_directory_internal,
2214 Smake_directory_internal, 1, 1, 0,
2215 doc: /* Create a new directory named DIRECTORY. */)
2216 (Lisp_Object directory)
2218 const char *dir;
2219 Lisp_Object handler;
2220 Lisp_Object encoded_dir;
2222 CHECK_STRING (directory);
2223 directory = Fexpand_file_name (directory, Qnil);
2225 handler = Ffind_file_name_handler (directory, Qmake_directory_internal);
2226 if (!NILP (handler))
2227 return call2 (handler, Qmake_directory_internal, directory);
2229 encoded_dir = ENCODE_FILE (directory);
2231 dir = SSDATA (encoded_dir);
2233 #ifdef WINDOWSNT
2234 if (mkdir (dir) != 0)
2235 #else
2236 if (mkdir (dir, 0777 & ~auto_saving_dir_umask) != 0)
2237 #endif
2238 report_file_error ("Creating directory", directory);
2240 return Qnil;
2243 DEFUN ("delete-directory-internal", Fdelete_directory_internal,
2244 Sdelete_directory_internal, 1, 1, 0,
2245 doc: /* Delete the directory named DIRECTORY. Does not follow symlinks. */)
2246 (Lisp_Object directory)
2248 const char *dir;
2249 Lisp_Object encoded_dir;
2251 CHECK_STRING (directory);
2252 directory = Fdirectory_file_name (Fexpand_file_name (directory, Qnil));
2253 encoded_dir = ENCODE_FILE (directory);
2254 dir = SSDATA (encoded_dir);
2256 if (rmdir (dir) != 0)
2257 report_file_error ("Removing directory", directory);
2259 return Qnil;
2262 DEFUN ("delete-file", Fdelete_file, Sdelete_file, 1, 2,
2263 "(list (read-file-name \
2264 (if (and delete-by-moving-to-trash (null current-prefix-arg)) \
2265 \"Move file to trash: \" \"Delete file: \") \
2266 nil default-directory (confirm-nonexistent-file-or-buffer)) \
2267 (null current-prefix-arg))",
2268 doc: /* Delete file named FILENAME. If it is a symlink, remove the symlink.
2269 If file has multiple names, it continues to exist with the other names.
2270 TRASH non-nil means to trash the file instead of deleting, provided
2271 `delete-by-moving-to-trash' is non-nil.
2273 When called interactively, TRASH is t if no prefix argument is given.
2274 With a prefix argument, TRASH is nil. */)
2275 (Lisp_Object filename, Lisp_Object trash)
2277 Lisp_Object handler;
2278 Lisp_Object encoded_file;
2279 struct gcpro gcpro1;
2281 GCPRO1 (filename);
2282 if (!NILP (Ffile_directory_p (filename))
2283 && NILP (Ffile_symlink_p (filename)))
2284 xsignal2 (Qfile_error,
2285 build_string ("Removing old name: is a directory"),
2286 filename);
2287 UNGCPRO;
2288 filename = Fexpand_file_name (filename, Qnil);
2290 handler = Ffind_file_name_handler (filename, Qdelete_file);
2291 if (!NILP (handler))
2292 return call3 (handler, Qdelete_file, filename, trash);
2294 if (delete_by_moving_to_trash && !NILP (trash))
2295 return call1 (Qmove_file_to_trash, filename);
2297 encoded_file = ENCODE_FILE (filename);
2299 if (unlink (SSDATA (encoded_file)) < 0)
2300 report_file_error ("Removing old name", filename);
2301 return Qnil;
2304 static Lisp_Object
2305 internal_delete_file_1 (Lisp_Object ignore)
2307 return Qt;
2310 /* Delete file FILENAME, returning true if successful.
2311 This ignores `delete-by-moving-to-trash'. */
2313 bool
2314 internal_delete_file (Lisp_Object filename)
2316 Lisp_Object tem;
2318 tem = internal_condition_case_2 (Fdelete_file, filename, Qnil,
2319 Qt, internal_delete_file_1);
2320 return NILP (tem);
2323 DEFUN ("rename-file", Frename_file, Srename_file, 2, 3,
2324 "fRename file: \nGRename %s to file: \np",
2325 doc: /* Rename FILE as NEWNAME. Both args must be strings.
2326 If file has names other than FILE, it continues to have those names.
2327 Signals a `file-already-exists' error if a file NEWNAME already exists
2328 unless optional third argument OK-IF-ALREADY-EXISTS is non-nil.
2329 A number as third arg means request confirmation if NEWNAME already exists.
2330 This is what happens in interactive use with M-x. */)
2331 (Lisp_Object file, Lisp_Object newname, Lisp_Object ok_if_already_exists)
2333 Lisp_Object handler;
2334 struct gcpro gcpro1, gcpro2, gcpro3, gcpro4, gcpro5;
2335 Lisp_Object encoded_file, encoded_newname, symlink_target;
2337 symlink_target = encoded_file = encoded_newname = Qnil;
2338 GCPRO5 (file, newname, encoded_file, encoded_newname, symlink_target);
2339 CHECK_STRING (file);
2340 CHECK_STRING (newname);
2341 file = Fexpand_file_name (file, Qnil);
2343 if ((!NILP (Ffile_directory_p (newname)))
2344 #ifdef DOS_NT
2345 /* If the file names are identical but for the case,
2346 don't attempt to move directory to itself. */
2347 && (NILP (Fstring_equal (Fdowncase (file), Fdowncase (newname))))
2348 #endif
2351 Lisp_Object fname = (NILP (Ffile_directory_p (file))
2352 ? file : Fdirectory_file_name (file));
2353 newname = Fexpand_file_name (Ffile_name_nondirectory (fname), newname);
2355 else
2356 newname = Fexpand_file_name (newname, Qnil);
2358 /* If the file name has special constructs in it,
2359 call the corresponding file handler. */
2360 handler = Ffind_file_name_handler (file, Qrename_file);
2361 if (NILP (handler))
2362 handler = Ffind_file_name_handler (newname, Qrename_file);
2363 if (!NILP (handler))
2364 RETURN_UNGCPRO (call4 (handler, Qrename_file,
2365 file, newname, ok_if_already_exists));
2367 encoded_file = ENCODE_FILE (file);
2368 encoded_newname = ENCODE_FILE (newname);
2370 #ifdef DOS_NT
2371 /* If the file names are identical but for the case, don't ask for
2372 confirmation: they simply want to change the letter-case of the
2373 file name. */
2374 if (NILP (Fstring_equal (Fdowncase (file), Fdowncase (newname))))
2375 #endif
2376 if (NILP (ok_if_already_exists)
2377 || INTEGERP (ok_if_already_exists))
2378 barf_or_query_if_file_exists (newname, "rename to it",
2379 INTEGERP (ok_if_already_exists), 0, 0);
2380 if (rename (SSDATA (encoded_file), SSDATA (encoded_newname)) < 0)
2382 int rename_errno = errno;
2383 if (rename_errno == EXDEV)
2385 ptrdiff_t count;
2386 symlink_target = Ffile_symlink_p (file);
2387 if (! NILP (symlink_target))
2388 Fmake_symbolic_link (symlink_target, newname,
2389 NILP (ok_if_already_exists) ? Qnil : Qt);
2390 else if (!NILP (Ffile_directory_p (file)))
2391 call4 (Qcopy_directory, file, newname, Qt, Qnil);
2392 else
2393 /* We have already prompted if it was an integer, so don't
2394 have copy-file prompt again. */
2395 Fcopy_file (file, newname,
2396 NILP (ok_if_already_exists) ? Qnil : Qt,
2397 Qt, Qt, Qt);
2399 count = SPECPDL_INDEX ();
2400 specbind (Qdelete_by_moving_to_trash, Qnil);
2402 if (!NILP (Ffile_directory_p (file)) && NILP (symlink_target))
2403 call2 (Qdelete_directory, file, Qt);
2404 else
2405 Fdelete_file (file, Qnil);
2406 unbind_to (count, Qnil);
2408 else
2409 report_file_errno ("Renaming", list2 (file, newname), rename_errno);
2411 UNGCPRO;
2412 return Qnil;
2415 DEFUN ("add-name-to-file", Fadd_name_to_file, Sadd_name_to_file, 2, 3,
2416 "fAdd name to file: \nGName to add to %s: \np",
2417 doc: /* Give FILE additional name NEWNAME. Both args must be strings.
2418 Signals a `file-already-exists' error if a file NEWNAME already exists
2419 unless optional third argument OK-IF-ALREADY-EXISTS is non-nil.
2420 A number as third arg means request confirmation if NEWNAME already exists.
2421 This is what happens in interactive use with M-x. */)
2422 (Lisp_Object file, Lisp_Object newname, Lisp_Object ok_if_already_exists)
2424 Lisp_Object handler;
2425 Lisp_Object encoded_file, encoded_newname;
2426 struct gcpro gcpro1, gcpro2, gcpro3, gcpro4;
2428 GCPRO4 (file, newname, encoded_file, encoded_newname);
2429 encoded_file = encoded_newname = Qnil;
2430 CHECK_STRING (file);
2431 CHECK_STRING (newname);
2432 file = Fexpand_file_name (file, Qnil);
2434 if (!NILP (Ffile_directory_p (newname)))
2435 newname = Fexpand_file_name (Ffile_name_nondirectory (file), newname);
2436 else
2437 newname = Fexpand_file_name (newname, Qnil);
2439 /* If the file name has special constructs in it,
2440 call the corresponding file handler. */
2441 handler = Ffind_file_name_handler (file, Qadd_name_to_file);
2442 if (!NILP (handler))
2443 RETURN_UNGCPRO (call4 (handler, Qadd_name_to_file, file,
2444 newname, ok_if_already_exists));
2446 /* If the new name has special constructs in it,
2447 call the corresponding file handler. */
2448 handler = Ffind_file_name_handler (newname, Qadd_name_to_file);
2449 if (!NILP (handler))
2450 RETURN_UNGCPRO (call4 (handler, Qadd_name_to_file, file,
2451 newname, ok_if_already_exists));
2453 encoded_file = ENCODE_FILE (file);
2454 encoded_newname = ENCODE_FILE (newname);
2456 if (NILP (ok_if_already_exists)
2457 || INTEGERP (ok_if_already_exists))
2458 barf_or_query_if_file_exists (newname, "make it a new name",
2459 INTEGERP (ok_if_already_exists), 0, 0);
2461 unlink (SSDATA (newname));
2462 if (link (SSDATA (encoded_file), SSDATA (encoded_newname)) < 0)
2464 int link_errno = errno;
2465 report_file_errno ("Adding new name", list2 (file, newname), link_errno);
2468 UNGCPRO;
2469 return Qnil;
2472 DEFUN ("make-symbolic-link", Fmake_symbolic_link, Smake_symbolic_link, 2, 3,
2473 "FMake symbolic link to file: \nGMake symbolic link to file %s: \np",
2474 doc: /* Make a symbolic link to FILENAME, named LINKNAME.
2475 Both args must be strings.
2476 Signals a `file-already-exists' error if a file LINKNAME already exists
2477 unless optional third argument OK-IF-ALREADY-EXISTS is non-nil.
2478 A number as third arg means request confirmation if LINKNAME already exists.
2479 This happens for interactive use with M-x. */)
2480 (Lisp_Object filename, Lisp_Object linkname, Lisp_Object ok_if_already_exists)
2482 Lisp_Object handler;
2483 Lisp_Object encoded_filename, encoded_linkname;
2484 struct gcpro gcpro1, gcpro2, gcpro3, gcpro4;
2486 GCPRO4 (filename, linkname, encoded_filename, encoded_linkname);
2487 encoded_filename = encoded_linkname = Qnil;
2488 CHECK_STRING (filename);
2489 CHECK_STRING (linkname);
2490 /* If the link target has a ~, we must expand it to get
2491 a truly valid file name. Otherwise, do not expand;
2492 we want to permit links to relative file names. */
2493 if (SREF (filename, 0) == '~')
2494 filename = Fexpand_file_name (filename, Qnil);
2496 if (!NILP (Ffile_directory_p (linkname)))
2497 linkname = Fexpand_file_name (Ffile_name_nondirectory (filename), linkname);
2498 else
2499 linkname = Fexpand_file_name (linkname, Qnil);
2501 /* If the file name has special constructs in it,
2502 call the corresponding file handler. */
2503 handler = Ffind_file_name_handler (filename, Qmake_symbolic_link);
2504 if (!NILP (handler))
2505 RETURN_UNGCPRO (call4 (handler, Qmake_symbolic_link, filename,
2506 linkname, ok_if_already_exists));
2508 /* If the new link name has special constructs in it,
2509 call the corresponding file handler. */
2510 handler = Ffind_file_name_handler (linkname, Qmake_symbolic_link);
2511 if (!NILP (handler))
2512 RETURN_UNGCPRO (call4 (handler, Qmake_symbolic_link, filename,
2513 linkname, ok_if_already_exists));
2515 encoded_filename = ENCODE_FILE (filename);
2516 encoded_linkname = ENCODE_FILE (linkname);
2518 if (NILP (ok_if_already_exists)
2519 || INTEGERP (ok_if_already_exists))
2520 barf_or_query_if_file_exists (linkname, "make it a link",
2521 INTEGERP (ok_if_already_exists), 0, 0);
2522 if (symlink (SSDATA (encoded_filename), SSDATA (encoded_linkname)) < 0)
2524 /* If we didn't complain already, silently delete existing file. */
2525 int symlink_errno;
2526 if (errno == EEXIST)
2528 unlink (SSDATA (encoded_linkname));
2529 if (symlink (SSDATA (encoded_filename), SSDATA (encoded_linkname))
2530 >= 0)
2532 UNGCPRO;
2533 return Qnil;
2536 if (errno == ENOSYS)
2538 UNGCPRO;
2539 xsignal1 (Qfile_error,
2540 build_string ("Symbolic links are not supported"));
2543 symlink_errno = errno;
2544 report_file_errno ("Making symbolic link", list2 (filename, linkname),
2545 symlink_errno);
2547 UNGCPRO;
2548 return Qnil;
2552 DEFUN ("file-name-absolute-p", Ffile_name_absolute_p, Sfile_name_absolute_p,
2553 1, 1, 0,
2554 doc: /* Return t if file FILENAME specifies an absolute file name.
2555 On Unix, this is a name starting with a `/' or a `~'. */)
2556 (Lisp_Object filename)
2558 CHECK_STRING (filename);
2559 return file_name_absolute_p (SSDATA (filename)) ? Qt : Qnil;
2562 /* Return true if FILENAME exists. */
2563 bool
2564 check_existing (const char *filename)
2566 return faccessat (AT_FDCWD, filename, F_OK, AT_EACCESS) == 0;
2569 /* Return true if file FILENAME exists and can be executed. */
2571 static bool
2572 check_executable (char *filename)
2574 return faccessat (AT_FDCWD, filename, X_OK, AT_EACCESS) == 0;
2577 /* Return true if file FILENAME exists and can be accessed
2578 according to AMODE, which should include W_OK.
2579 On failure, return false and set errno. */
2581 static bool
2582 check_writable (const char *filename, int amode)
2584 #ifdef MSDOS
2585 /* FIXME: an faccessat implementation should be added to the
2586 DOS/Windows ports and this #ifdef branch should be removed. */
2587 struct stat st;
2588 if (stat (filename, &st) < 0)
2589 return 0;
2590 errno = EPERM;
2591 return (st.st_mode & S_IWRITE || S_ISDIR (st.st_mode));
2592 #else /* not MSDOS */
2593 bool res = faccessat (AT_FDCWD, filename, amode, AT_EACCESS) == 0;
2594 #ifdef CYGWIN
2595 /* faccessat may have returned failure because Cygwin couldn't
2596 determine the file's UID or GID; if so, we return success. */
2597 if (!res)
2599 int faccessat_errno = errno;
2600 struct stat st;
2601 if (stat (filename, &st) < 0)
2602 return 0;
2603 res = (st.st_uid == -1 || st.st_gid == -1);
2604 errno = faccessat_errno;
2606 #endif /* CYGWIN */
2607 return res;
2608 #endif /* not MSDOS */
2611 DEFUN ("file-exists-p", Ffile_exists_p, Sfile_exists_p, 1, 1, 0,
2612 doc: /* Return t if file FILENAME exists (whether or not you can read it.)
2613 See also `file-readable-p' and `file-attributes'.
2614 This returns nil for a symlink to a nonexistent file.
2615 Use `file-symlink-p' to test for such links. */)
2616 (Lisp_Object filename)
2618 Lisp_Object absname;
2619 Lisp_Object handler;
2621 CHECK_STRING (filename);
2622 absname = Fexpand_file_name (filename, Qnil);
2624 /* If the file name has special constructs in it,
2625 call the corresponding file handler. */
2626 handler = Ffind_file_name_handler (absname, Qfile_exists_p);
2627 if (!NILP (handler))
2629 Lisp_Object result = call2 (handler, Qfile_exists_p, absname);
2630 errno = 0;
2631 return result;
2634 absname = ENCODE_FILE (absname);
2636 return (check_existing (SSDATA (absname))) ? Qt : Qnil;
2639 DEFUN ("file-executable-p", Ffile_executable_p, Sfile_executable_p, 1, 1, 0,
2640 doc: /* Return t if FILENAME can be executed by you.
2641 For a directory, this means you can access files in that directory. */)
2642 (Lisp_Object filename)
2644 Lisp_Object absname;
2645 Lisp_Object handler;
2647 CHECK_STRING (filename);
2648 absname = Fexpand_file_name (filename, Qnil);
2650 /* If the file name has special constructs in it,
2651 call the corresponding file handler. */
2652 handler = Ffind_file_name_handler (absname, Qfile_executable_p);
2653 if (!NILP (handler))
2654 return call2 (handler, Qfile_executable_p, absname);
2656 absname = ENCODE_FILE (absname);
2658 return (check_executable (SSDATA (absname)) ? Qt : Qnil);
2661 DEFUN ("file-readable-p", Ffile_readable_p, Sfile_readable_p, 1, 1, 0,
2662 doc: /* Return t if file FILENAME exists and you can read it.
2663 See also `file-exists-p' and `file-attributes'. */)
2664 (Lisp_Object filename)
2666 Lisp_Object absname;
2667 Lisp_Object handler;
2669 CHECK_STRING (filename);
2670 absname = Fexpand_file_name (filename, Qnil);
2672 /* If the file name has special constructs in it,
2673 call the corresponding file handler. */
2674 handler = Ffind_file_name_handler (absname, Qfile_readable_p);
2675 if (!NILP (handler))
2676 return call2 (handler, Qfile_readable_p, absname);
2678 absname = ENCODE_FILE (absname);
2679 return (faccessat (AT_FDCWD, SSDATA (absname), R_OK, AT_EACCESS) == 0
2680 ? Qt : Qnil);
2683 DEFUN ("file-writable-p", Ffile_writable_p, Sfile_writable_p, 1, 1, 0,
2684 doc: /* Return t if file FILENAME can be written or created by you. */)
2685 (Lisp_Object filename)
2687 Lisp_Object absname, dir, encoded;
2688 Lisp_Object handler;
2690 CHECK_STRING (filename);
2691 absname = Fexpand_file_name (filename, Qnil);
2693 /* If the file name has special constructs in it,
2694 call the corresponding file handler. */
2695 handler = Ffind_file_name_handler (absname, Qfile_writable_p);
2696 if (!NILP (handler))
2697 return call2 (handler, Qfile_writable_p, absname);
2699 encoded = ENCODE_FILE (absname);
2700 if (check_writable (SSDATA (encoded), W_OK))
2701 return Qt;
2702 if (errno != ENOENT)
2703 return Qnil;
2705 dir = Ffile_name_directory (absname);
2706 eassert (!NILP (dir));
2707 #ifdef MSDOS
2708 dir = Fdirectory_file_name (dir);
2709 #endif /* MSDOS */
2711 dir = ENCODE_FILE (dir);
2712 #ifdef WINDOWSNT
2713 /* The read-only attribute of the parent directory doesn't affect
2714 whether a file or directory can be created within it. Some day we
2715 should check ACLs though, which do affect this. */
2716 return file_directory_p (SDATA (dir)) ? Qt : Qnil;
2717 #else
2718 return check_writable (SSDATA (dir), W_OK | X_OK) ? Qt : Qnil;
2719 #endif
2722 DEFUN ("access-file", Faccess_file, Saccess_file, 2, 2, 0,
2723 doc: /* Access file FILENAME, and get an error if that does not work.
2724 The second argument STRING is used in the error message.
2725 If there is no error, returns nil. */)
2726 (Lisp_Object filename, Lisp_Object string)
2728 Lisp_Object handler, encoded_filename, absname;
2730 CHECK_STRING (filename);
2731 absname = Fexpand_file_name (filename, Qnil);
2733 CHECK_STRING (string);
2735 /* If the file name has special constructs in it,
2736 call the corresponding file handler. */
2737 handler = Ffind_file_name_handler (absname, Qaccess_file);
2738 if (!NILP (handler))
2739 return call3 (handler, Qaccess_file, absname, string);
2741 encoded_filename = ENCODE_FILE (absname);
2743 if (faccessat (AT_FDCWD, SSDATA (encoded_filename), R_OK, AT_EACCESS) != 0)
2744 report_file_error (SSDATA (string), filename);
2746 return Qnil;
2749 /* Relative to directory FD, return the symbolic link value of FILENAME.
2750 On failure, return nil. */
2751 Lisp_Object
2752 emacs_readlinkat (int fd, char const *filename)
2754 static struct allocator const emacs_norealloc_allocator =
2755 { xmalloc, NULL, xfree, memory_full };
2756 Lisp_Object val;
2757 char readlink_buf[1024];
2758 char *buf = careadlinkat (fd, filename, readlink_buf, sizeof readlink_buf,
2759 &emacs_norealloc_allocator, readlinkat);
2760 if (!buf)
2761 return Qnil;
2763 val = build_string (buf);
2764 if (buf[0] == '/' && strchr (buf, ':'))
2765 val = concat2 (build_string ("/:"), val);
2766 if (buf != readlink_buf)
2767 xfree (buf);
2768 val = DECODE_FILE (val);
2769 return val;
2772 DEFUN ("file-symlink-p", Ffile_symlink_p, Sfile_symlink_p, 1, 1, 0,
2773 doc: /* Return non-nil if file FILENAME is the name of a symbolic link.
2774 The value is the link target, as a string.
2775 Otherwise it returns nil.
2777 This function returns t when given the name of a symlink that
2778 points to a nonexistent file. */)
2779 (Lisp_Object filename)
2781 Lisp_Object handler;
2783 CHECK_STRING (filename);
2784 filename = Fexpand_file_name (filename, Qnil);
2786 /* If the file name has special constructs in it,
2787 call the corresponding file handler. */
2788 handler = Ffind_file_name_handler (filename, Qfile_symlink_p);
2789 if (!NILP (handler))
2790 return call2 (handler, Qfile_symlink_p, filename);
2792 filename = ENCODE_FILE (filename);
2794 return emacs_readlinkat (AT_FDCWD, SSDATA (filename));
2797 DEFUN ("file-directory-p", Ffile_directory_p, Sfile_directory_p, 1, 1, 0,
2798 doc: /* Return t if FILENAME names an existing directory.
2799 Symbolic links to directories count as directories.
2800 See `file-symlink-p' to distinguish symlinks. */)
2801 (Lisp_Object filename)
2803 Lisp_Object absname;
2804 Lisp_Object handler;
2806 absname = expand_and_dir_to_file (filename, BVAR (current_buffer, directory));
2808 /* If the file name has special constructs in it,
2809 call the corresponding file handler. */
2810 handler = Ffind_file_name_handler (absname, Qfile_directory_p);
2811 if (!NILP (handler))
2812 return call2 (handler, Qfile_directory_p, absname);
2814 absname = ENCODE_FILE (absname);
2816 return file_directory_p (SSDATA (absname)) ? Qt : Qnil;
2819 /* Return true if FILE is a directory or a symlink to a directory. */
2820 bool
2821 file_directory_p (char const *file)
2823 #ifdef WINDOWSNT
2824 /* This is cheaper than 'stat'. */
2825 return faccessat (AT_FDCWD, file, D_OK, AT_EACCESS) == 0;
2826 #else
2827 struct stat st;
2828 return stat (file, &st) == 0 && S_ISDIR (st.st_mode);
2829 #endif
2832 DEFUN ("file-accessible-directory-p", Ffile_accessible_directory_p,
2833 Sfile_accessible_directory_p, 1, 1, 0,
2834 doc: /* Return t if file FILENAME names a directory you can open.
2835 For the value to be t, FILENAME must specify the name of a directory as a file,
2836 and the directory must allow you to open files in it. In order to use a
2837 directory as a buffer's current directory, this predicate must return true.
2838 A directory name spec may be given instead; then the value is t
2839 if the directory so specified exists and really is a readable and
2840 searchable directory. */)
2841 (Lisp_Object filename)
2843 Lisp_Object absname;
2844 Lisp_Object handler;
2846 CHECK_STRING (filename);
2847 absname = Fexpand_file_name (filename, Qnil);
2849 /* If the file name has special constructs in it,
2850 call the corresponding file handler. */
2851 handler = Ffind_file_name_handler (absname, Qfile_accessible_directory_p);
2852 if (!NILP (handler))
2854 Lisp_Object r = call2 (handler, Qfile_accessible_directory_p, absname);
2855 errno = 0;
2856 return r;
2859 absname = ENCODE_FILE (absname);
2860 return file_accessible_directory_p (SSDATA (absname)) ? Qt : Qnil;
2863 /* If FILE is a searchable directory or a symlink to a
2864 searchable directory, return true. Otherwise return
2865 false and set errno to an error number. */
2866 bool
2867 file_accessible_directory_p (char const *file)
2869 #ifdef DOS_NT
2870 /* There's no need to test whether FILE is searchable, as the
2871 searchable/executable bit is invented on DOS_NT platforms. */
2872 return file_directory_p (file);
2873 #else
2874 /* On POSIXish platforms, use just one system call; this avoids a
2875 race and is typically faster. */
2876 ptrdiff_t len = strlen (file);
2877 char const *dir;
2878 bool ok;
2879 int saved_errno;
2880 USE_SAFE_ALLOCA;
2882 /* Normally a file "FOO" is an accessible directory if "FOO/." exists.
2883 There are three exceptions: "", "/", and "//". Leave "" alone,
2884 as it's invalid. Append only "." to the other two exceptions as
2885 "/" and "//" are distinct on some platforms, whereas "/", "///",
2886 "////", etc. are all equivalent. */
2887 if (! len)
2888 dir = file;
2889 else
2891 /* Just check for trailing '/' when deciding whether to append '/'.
2892 That's simpler than testing the two special cases "/" and "//",
2893 and it's a safe optimization here. */
2894 char *buf = SAFE_ALLOCA (len + 3);
2895 memcpy (buf, file, len);
2896 strcpy (buf + len, &"/."[file[len - 1] == '/']);
2897 dir = buf;
2900 ok = check_existing (dir);
2901 saved_errno = errno;
2902 SAFE_FREE ();
2903 errno = saved_errno;
2904 return ok;
2905 #endif
2908 DEFUN ("file-regular-p", Ffile_regular_p, Sfile_regular_p, 1, 1, 0,
2909 doc: /* Return t if FILENAME names a regular file.
2910 This is the sort of file that holds an ordinary stream of data bytes.
2911 Symbolic links to regular files count as regular files.
2912 See `file-symlink-p' to distinguish symlinks. */)
2913 (Lisp_Object filename)
2915 register Lisp_Object absname;
2916 struct stat st;
2917 Lisp_Object handler;
2919 absname = expand_and_dir_to_file (filename, BVAR (current_buffer, directory));
2921 /* If the file name has special constructs in it,
2922 call the corresponding file handler. */
2923 handler = Ffind_file_name_handler (absname, Qfile_regular_p);
2924 if (!NILP (handler))
2925 return call2 (handler, Qfile_regular_p, absname);
2927 absname = ENCODE_FILE (absname);
2929 #ifdef WINDOWSNT
2931 int result;
2932 Lisp_Object tem = Vw32_get_true_file_attributes;
2934 /* Tell stat to use expensive method to get accurate info. */
2935 Vw32_get_true_file_attributes = Qt;
2936 result = stat (SDATA (absname), &st);
2937 Vw32_get_true_file_attributes = tem;
2939 if (result < 0)
2940 return Qnil;
2941 return S_ISREG (st.st_mode) ? Qt : Qnil;
2943 #else
2944 if (stat (SSDATA (absname), &st) < 0)
2945 return Qnil;
2946 return S_ISREG (st.st_mode) ? Qt : Qnil;
2947 #endif
2950 DEFUN ("file-selinux-context", Ffile_selinux_context,
2951 Sfile_selinux_context, 1, 1, 0,
2952 doc: /* Return SELinux context of file named FILENAME.
2953 The return value is a list (USER ROLE TYPE RANGE), where the list
2954 elements are strings naming the user, role, type, and range of the
2955 file's SELinux security context.
2957 Return (nil nil nil nil) if the file is nonexistent or inaccessible,
2958 or if SELinux is disabled, or if Emacs lacks SELinux support. */)
2959 (Lisp_Object filename)
2961 Lisp_Object absname;
2962 Lisp_Object values[4];
2963 Lisp_Object handler;
2964 #if HAVE_LIBSELINUX
2965 security_context_t con;
2966 int conlength;
2967 context_t context;
2968 #endif
2970 absname = expand_and_dir_to_file (filename, BVAR (current_buffer, directory));
2972 /* If the file name has special constructs in it,
2973 call the corresponding file handler. */
2974 handler = Ffind_file_name_handler (absname, Qfile_selinux_context);
2975 if (!NILP (handler))
2976 return call2 (handler, Qfile_selinux_context, absname);
2978 absname = ENCODE_FILE (absname);
2980 values[0] = Qnil;
2981 values[1] = Qnil;
2982 values[2] = Qnil;
2983 values[3] = Qnil;
2984 #if HAVE_LIBSELINUX
2985 if (is_selinux_enabled ())
2987 conlength = lgetfilecon (SSDATA (absname), &con);
2988 if (conlength > 0)
2990 context = context_new (con);
2991 if (context_user_get (context))
2992 values[0] = build_string (context_user_get (context));
2993 if (context_role_get (context))
2994 values[1] = build_string (context_role_get (context));
2995 if (context_type_get (context))
2996 values[2] = build_string (context_type_get (context));
2997 if (context_range_get (context))
2998 values[3] = build_string (context_range_get (context));
2999 context_free (context);
3000 freecon (con);
3003 #endif
3005 return Flist (sizeof (values) / sizeof (values[0]), values);
3008 DEFUN ("set-file-selinux-context", Fset_file_selinux_context,
3009 Sset_file_selinux_context, 2, 2, 0,
3010 doc: /* Set SELinux context of file named FILENAME to CONTEXT.
3011 CONTEXT should be a list (USER ROLE TYPE RANGE), where the list
3012 elements are strings naming the components of a SELinux context.
3014 Value is t if setting of SELinux context was successful, nil otherwise.
3016 This function does nothing and returns nil if SELinux is disabled,
3017 or if Emacs was not compiled with SELinux support. */)
3018 (Lisp_Object filename, Lisp_Object context)
3020 Lisp_Object absname;
3021 Lisp_Object handler;
3022 #if HAVE_LIBSELINUX
3023 Lisp_Object encoded_absname;
3024 Lisp_Object user = CAR_SAFE (context);
3025 Lisp_Object role = CAR_SAFE (CDR_SAFE (context));
3026 Lisp_Object type = CAR_SAFE (CDR_SAFE (CDR_SAFE (context)));
3027 Lisp_Object range = CAR_SAFE (CDR_SAFE (CDR_SAFE (CDR_SAFE (context))));
3028 security_context_t con;
3029 bool fail;
3030 int conlength;
3031 context_t parsed_con;
3032 #endif
3034 absname = Fexpand_file_name (filename, BVAR (current_buffer, directory));
3036 /* If the file name has special constructs in it,
3037 call the corresponding file handler. */
3038 handler = Ffind_file_name_handler (absname, Qset_file_selinux_context);
3039 if (!NILP (handler))
3040 return call3 (handler, Qset_file_selinux_context, absname, context);
3042 #if HAVE_LIBSELINUX
3043 if (is_selinux_enabled ())
3045 /* Get current file context. */
3046 encoded_absname = ENCODE_FILE (absname);
3047 conlength = lgetfilecon (SSDATA (encoded_absname), &con);
3048 if (conlength > 0)
3050 parsed_con = context_new (con);
3051 /* Change the parts defined in the parameter.*/
3052 if (STRINGP (user))
3054 if (context_user_set (parsed_con, SSDATA (user)))
3055 error ("Doing context_user_set");
3057 if (STRINGP (role))
3059 if (context_role_set (parsed_con, SSDATA (role)))
3060 error ("Doing context_role_set");
3062 if (STRINGP (type))
3064 if (context_type_set (parsed_con, SSDATA (type)))
3065 error ("Doing context_type_set");
3067 if (STRINGP (range))
3069 if (context_range_set (parsed_con, SSDATA (range)))
3070 error ("Doing context_range_set");
3073 /* Set the modified context back to the file. */
3074 fail = (lsetfilecon (SSDATA (encoded_absname),
3075 context_str (parsed_con))
3076 != 0);
3077 /* See http://debbugs.gnu.org/11245 for ENOTSUP. */
3078 if (fail && errno != ENOTSUP)
3079 report_file_error ("Doing lsetfilecon", absname);
3081 context_free (parsed_con);
3082 freecon (con);
3083 return fail ? Qnil : Qt;
3085 else
3086 report_file_error ("Doing lgetfilecon", absname);
3088 #endif
3090 return Qnil;
3093 DEFUN ("file-acl", Ffile_acl, Sfile_acl, 1, 1, 0,
3094 doc: /* Return ACL entries of file named FILENAME.
3095 The entries are returned in a format suitable for use in `set-file-acl'
3096 but is otherwise undocumented and subject to change.
3097 Return nil if file does not exist or is not accessible, or if Emacs
3098 was unable to determine the ACL entries. */)
3099 (Lisp_Object filename)
3101 Lisp_Object absname;
3102 Lisp_Object handler;
3103 #ifdef HAVE_ACL_SET_FILE
3104 acl_t acl;
3105 Lisp_Object acl_string;
3106 char *str;
3107 #endif
3109 absname = expand_and_dir_to_file (filename,
3110 BVAR (current_buffer, directory));
3112 /* If the file name has special constructs in it,
3113 call the corresponding file handler. */
3114 handler = Ffind_file_name_handler (absname, Qfile_acl);
3115 if (!NILP (handler))
3116 return call2 (handler, Qfile_acl, absname);
3118 #ifdef HAVE_ACL_SET_FILE
3119 absname = ENCODE_FILE (absname);
3121 acl = acl_get_file (SSDATA (absname), ACL_TYPE_ACCESS);
3122 if (acl == NULL)
3123 return Qnil;
3125 str = acl_to_text (acl, NULL);
3126 if (str == NULL)
3128 acl_free (acl);
3129 return Qnil;
3132 acl_string = build_string (str);
3133 acl_free (str);
3134 acl_free (acl);
3136 return acl_string;
3137 #endif
3139 return Qnil;
3142 DEFUN ("set-file-acl", Fset_file_acl, Sset_file_acl,
3143 2, 2, 0,
3144 doc: /* Set ACL of file named FILENAME to ACL-STRING.
3145 ACL-STRING should contain the textual representation of the ACL
3146 entries in a format suitable for the platform.
3148 Value is t if setting of ACL was successful, nil otherwise.
3150 Setting ACL for local files requires Emacs to be built with ACL
3151 support. */)
3152 (Lisp_Object filename, Lisp_Object acl_string)
3154 Lisp_Object absname;
3155 Lisp_Object handler;
3156 #ifdef HAVE_ACL_SET_FILE
3157 Lisp_Object encoded_absname;
3158 acl_t acl;
3159 bool fail;
3160 #endif
3162 absname = Fexpand_file_name (filename, BVAR (current_buffer, directory));
3164 /* If the file name has special constructs in it,
3165 call the corresponding file handler. */
3166 handler = Ffind_file_name_handler (absname, Qset_file_acl);
3167 if (!NILP (handler))
3168 return call3 (handler, Qset_file_acl, absname, acl_string);
3170 #ifdef HAVE_ACL_SET_FILE
3171 if (STRINGP (acl_string))
3173 acl = acl_from_text (SSDATA (acl_string));
3174 if (acl == NULL)
3176 report_file_error ("Converting ACL", absname);
3177 return Qnil;
3180 encoded_absname = ENCODE_FILE (absname);
3182 fail = (acl_set_file (SSDATA (encoded_absname), ACL_TYPE_ACCESS,
3183 acl)
3184 != 0);
3185 if (fail && acl_errno_valid (errno))
3186 report_file_error ("Setting ACL", absname);
3188 acl_free (acl);
3189 return fail ? Qnil : Qt;
3191 #endif
3193 return Qnil;
3196 DEFUN ("file-modes", Ffile_modes, Sfile_modes, 1, 1, 0,
3197 doc: /* Return mode bits of file named FILENAME, as an integer.
3198 Return nil, if file does not exist or is not accessible. */)
3199 (Lisp_Object filename)
3201 Lisp_Object absname;
3202 struct stat st;
3203 Lisp_Object handler;
3205 absname = expand_and_dir_to_file (filename, BVAR (current_buffer, directory));
3207 /* If the file name has special constructs in it,
3208 call the corresponding file handler. */
3209 handler = Ffind_file_name_handler (absname, Qfile_modes);
3210 if (!NILP (handler))
3211 return call2 (handler, Qfile_modes, absname);
3213 absname = ENCODE_FILE (absname);
3215 if (stat (SSDATA (absname), &st) < 0)
3216 return Qnil;
3218 return make_number (st.st_mode & 07777);
3221 DEFUN ("set-file-modes", Fset_file_modes, Sset_file_modes, 2, 2,
3222 "(let ((file (read-file-name \"File: \"))) \
3223 (list file (read-file-modes nil file)))",
3224 doc: /* Set mode bits of file named FILENAME to MODE (an integer).
3225 Only the 12 low bits of MODE are used.
3227 Interactively, mode bits are read by `read-file-modes', which accepts
3228 symbolic notation, like the `chmod' command from GNU Coreutils. */)
3229 (Lisp_Object filename, Lisp_Object mode)
3231 Lisp_Object absname, encoded_absname;
3232 Lisp_Object handler;
3234 absname = Fexpand_file_name (filename, BVAR (current_buffer, directory));
3235 CHECK_NUMBER (mode);
3237 /* If the file name has special constructs in it,
3238 call the corresponding file handler. */
3239 handler = Ffind_file_name_handler (absname, Qset_file_modes);
3240 if (!NILP (handler))
3241 return call3 (handler, Qset_file_modes, absname, mode);
3243 encoded_absname = ENCODE_FILE (absname);
3245 if (chmod (SSDATA (encoded_absname), XINT (mode) & 07777) < 0)
3246 report_file_error ("Doing chmod", absname);
3248 return Qnil;
3251 DEFUN ("set-default-file-modes", Fset_default_file_modes, Sset_default_file_modes, 1, 1, 0,
3252 doc: /* Set the file permission bits for newly created files.
3253 The argument MODE should be an integer; only the low 9 bits are used.
3254 This setting is inherited by subprocesses. */)
3255 (Lisp_Object mode)
3257 CHECK_NUMBER (mode);
3259 umask ((~ XINT (mode)) & 0777);
3261 return Qnil;
3264 DEFUN ("default-file-modes", Fdefault_file_modes, Sdefault_file_modes, 0, 0, 0,
3265 doc: /* Return the default file protection for created files.
3266 The value is an integer. */)
3267 (void)
3269 mode_t realmask;
3270 Lisp_Object value;
3272 block_input ();
3273 realmask = umask (0);
3274 umask (realmask);
3275 unblock_input ();
3277 XSETINT (value, (~ realmask) & 0777);
3278 return value;
3282 DEFUN ("set-file-times", Fset_file_times, Sset_file_times, 1, 2, 0,
3283 doc: /* Set times of file FILENAME to TIMESTAMP.
3284 Set both access and modification times.
3285 Return t on success, else nil.
3286 Use the current time if TIMESTAMP is nil. TIMESTAMP is in the format of
3287 `current-time'. */)
3288 (Lisp_Object filename, Lisp_Object timestamp)
3290 Lisp_Object absname, encoded_absname;
3291 Lisp_Object handler;
3292 EMACS_TIME t = lisp_time_argument (timestamp);
3294 absname = Fexpand_file_name (filename, BVAR (current_buffer, directory));
3296 /* If the file name has special constructs in it,
3297 call the corresponding file handler. */
3298 handler = Ffind_file_name_handler (absname, Qset_file_times);
3299 if (!NILP (handler))
3300 return call3 (handler, Qset_file_times, absname, timestamp);
3302 encoded_absname = ENCODE_FILE (absname);
3305 if (set_file_times (-1, SSDATA (encoded_absname), t, t))
3307 #ifdef MSDOS
3308 /* Setting times on a directory always fails. */
3309 if (file_directory_p (SSDATA (encoded_absname)))
3310 return Qnil;
3311 #endif
3312 report_file_error ("Setting file times", absname);
3316 return Qt;
3319 #ifdef HAVE_SYNC
3320 DEFUN ("unix-sync", Funix_sync, Sunix_sync, 0, 0, "",
3321 doc: /* Tell Unix to finish all pending disk updates. */)
3322 (void)
3324 sync ();
3325 return Qnil;
3328 #endif /* HAVE_SYNC */
3330 DEFUN ("file-newer-than-file-p", Ffile_newer_than_file_p, Sfile_newer_than_file_p, 2, 2, 0,
3331 doc: /* Return t if file FILE1 is newer than file FILE2.
3332 If FILE1 does not exist, the answer is nil;
3333 otherwise, if FILE2 does not exist, the answer is t. */)
3334 (Lisp_Object file1, Lisp_Object file2)
3336 Lisp_Object absname1, absname2;
3337 struct stat st1, st2;
3338 Lisp_Object handler;
3339 struct gcpro gcpro1, gcpro2;
3341 CHECK_STRING (file1);
3342 CHECK_STRING (file2);
3344 absname1 = Qnil;
3345 GCPRO2 (absname1, file2);
3346 absname1 = expand_and_dir_to_file (file1, BVAR (current_buffer, directory));
3347 absname2 = expand_and_dir_to_file (file2, BVAR (current_buffer, directory));
3348 UNGCPRO;
3350 /* If the file name has special constructs in it,
3351 call the corresponding file handler. */
3352 handler = Ffind_file_name_handler (absname1, Qfile_newer_than_file_p);
3353 if (NILP (handler))
3354 handler = Ffind_file_name_handler (absname2, Qfile_newer_than_file_p);
3355 if (!NILP (handler))
3356 return call3 (handler, Qfile_newer_than_file_p, absname1, absname2);
3358 GCPRO2 (absname1, absname2);
3359 absname1 = ENCODE_FILE (absname1);
3360 absname2 = ENCODE_FILE (absname2);
3361 UNGCPRO;
3363 if (stat (SSDATA (absname1), &st1) < 0)
3364 return Qnil;
3366 if (stat (SSDATA (absname2), &st2) < 0)
3367 return Qt;
3369 return (EMACS_TIME_LT (get_stat_mtime (&st2), get_stat_mtime (&st1))
3370 ? Qt : Qnil);
3373 #ifndef READ_BUF_SIZE
3374 #define READ_BUF_SIZE (64 << 10)
3375 #endif
3376 /* Some buffer offsets are stored in 'int' variables. */
3377 verify (READ_BUF_SIZE <= INT_MAX);
3379 /* This function is called after Lisp functions to decide a coding
3380 system are called, or when they cause an error. Before they are
3381 called, the current buffer is set unibyte and it contains only a
3382 newly inserted text (thus the buffer was empty before the
3383 insertion).
3385 The functions may set markers, overlays, text properties, or even
3386 alter the buffer contents, change the current buffer.
3388 Here, we reset all those changes by:
3389 o set back the current buffer.
3390 o move all markers and overlays to BEG.
3391 o remove all text properties.
3392 o set back the buffer multibyteness. */
3394 static void
3395 decide_coding_unwind (Lisp_Object unwind_data)
3397 Lisp_Object multibyte, undo_list, buffer;
3399 multibyte = XCAR (unwind_data);
3400 unwind_data = XCDR (unwind_data);
3401 undo_list = XCAR (unwind_data);
3402 buffer = XCDR (unwind_data);
3404 set_buffer_internal (XBUFFER (buffer));
3405 adjust_markers_for_delete (BEG, BEG_BYTE, Z, Z_BYTE);
3406 adjust_overlays_for_delete (BEG, Z - BEG);
3407 set_buffer_intervals (current_buffer, NULL);
3408 TEMP_SET_PT_BOTH (BEG, BEG_BYTE);
3410 /* Now we are safe to change the buffer's multibyteness directly. */
3411 bset_enable_multibyte_characters (current_buffer, multibyte);
3412 bset_undo_list (current_buffer, undo_list);
3415 /* Read from a non-regular file. STATE is a Lisp_Save_Value
3416 object where slot 0 is the file descriptor, slot 1 specifies
3417 an offset to put the read bytes, and slot 2 is the maximum
3418 amount of bytes to read. Value is the number of bytes read. */
3420 static Lisp_Object
3421 read_non_regular (Lisp_Object state)
3423 int nbytes;
3425 immediate_quit = 1;
3426 QUIT;
3427 nbytes = emacs_read (XSAVE_INTEGER (state, 0),
3428 ((char *) BEG_ADDR + PT_BYTE - BEG_BYTE
3429 + XSAVE_INTEGER (state, 1)),
3430 XSAVE_INTEGER (state, 2));
3431 immediate_quit = 0;
3432 /* Fast recycle this object for the likely next call. */
3433 free_misc (state);
3434 return make_number (nbytes);
3438 /* Condition-case handler used when reading from non-regular files
3439 in insert-file-contents. */
3441 static Lisp_Object
3442 read_non_regular_quit (Lisp_Object ignore)
3444 return Qnil;
3447 /* Return the file offset that VAL represents, checking for type
3448 errors and overflow. */
3449 static off_t
3450 file_offset (Lisp_Object val)
3452 if (RANGED_INTEGERP (0, val, TYPE_MAXIMUM (off_t)))
3453 return XINT (val);
3455 if (FLOATP (val))
3457 double v = XFLOAT_DATA (val);
3458 if (0 <= v
3459 && (sizeof (off_t) < sizeof v
3460 ? v <= TYPE_MAXIMUM (off_t)
3461 : v < TYPE_MAXIMUM (off_t)))
3462 return v;
3465 wrong_type_argument (intern ("file-offset"), val);
3468 /* Return a special time value indicating the error number ERRNUM. */
3469 static EMACS_TIME
3470 time_error_value (int errnum)
3472 int ns = (errnum == ENOENT || errnum == EACCES || errnum == ENOTDIR
3473 ? NONEXISTENT_MODTIME_NSECS
3474 : UNKNOWN_MODTIME_NSECS);
3475 return make_emacs_time (0, ns);
3478 DEFUN ("insert-file-contents", Finsert_file_contents, Sinsert_file_contents,
3479 1, 5, 0,
3480 doc: /* Insert contents of file FILENAME after point.
3481 Returns list of absolute file name and number of characters inserted.
3482 If second argument VISIT is non-nil, the buffer's visited filename and
3483 last save file modtime are set, and it is marked unmodified. If
3484 visiting and the file does not exist, visiting is completed before the
3485 error is signaled.
3487 The optional third and fourth arguments BEG and END specify what portion
3488 of the file to insert. These arguments count bytes in the file, not
3489 characters in the buffer. If VISIT is non-nil, BEG and END must be nil.
3491 If optional fifth argument REPLACE is non-nil, replace the current
3492 buffer contents (in the accessible portion) with the file contents.
3493 This is better than simply deleting and inserting the whole thing
3494 because (1) it preserves some marker positions and (2) it puts less data
3495 in the undo list. When REPLACE is non-nil, the second return value is
3496 the number of characters that replace previous buffer contents.
3498 This function does code conversion according to the value of
3499 `coding-system-for-read' or `file-coding-system-alist', and sets the
3500 variable `last-coding-system-used' to the coding system actually used.
3502 In addition, this function decodes the inserted text from known formats
3503 by calling `format-decode', which see. */)
3504 (Lisp_Object filename, Lisp_Object visit, Lisp_Object beg, Lisp_Object end, Lisp_Object replace)
3506 struct stat st;
3507 EMACS_TIME mtime;
3508 int fd;
3509 ptrdiff_t inserted = 0;
3510 ptrdiff_t how_much;
3511 off_t beg_offset, end_offset;
3512 int unprocessed;
3513 ptrdiff_t count = SPECPDL_INDEX ();
3514 struct gcpro gcpro1, gcpro2, gcpro3, gcpro4, gcpro5;
3515 Lisp_Object handler, val, insval, orig_filename, old_undo;
3516 Lisp_Object p;
3517 ptrdiff_t total = 0;
3518 bool not_regular = 0;
3519 int save_errno = 0;
3520 char read_buf[READ_BUF_SIZE];
3521 struct coding_system coding;
3522 bool replace_handled = 0;
3523 bool set_coding_system = 0;
3524 Lisp_Object coding_system;
3525 bool read_quit = 0;
3526 /* If the undo log only contains the insertion, there's no point
3527 keeping it. It's typically when we first fill a file-buffer. */
3528 bool empty_undo_list_p
3529 = (!NILP (visit) && NILP (BVAR (current_buffer, undo_list))
3530 && BEG == Z);
3531 Lisp_Object old_Vdeactivate_mark = Vdeactivate_mark;
3532 bool we_locked_file = 0;
3533 ptrdiff_t fd_index;
3535 if (current_buffer->base_buffer && ! NILP (visit))
3536 error ("Cannot do file visiting in an indirect buffer");
3538 if (!NILP (BVAR (current_buffer, read_only)))
3539 Fbarf_if_buffer_read_only ();
3541 val = Qnil;
3542 p = Qnil;
3543 orig_filename = Qnil;
3544 old_undo = Qnil;
3546 GCPRO5 (filename, val, p, orig_filename, old_undo);
3548 CHECK_STRING (filename);
3549 filename = Fexpand_file_name (filename, Qnil);
3551 /* The value Qnil means that the coding system is not yet
3552 decided. */
3553 coding_system = Qnil;
3555 /* If the file name has special constructs in it,
3556 call the corresponding file handler. */
3557 handler = Ffind_file_name_handler (filename, Qinsert_file_contents);
3558 if (!NILP (handler))
3560 val = call6 (handler, Qinsert_file_contents, filename,
3561 visit, beg, end, replace);
3562 if (CONSP (val) && CONSP (XCDR (val))
3563 && RANGED_INTEGERP (0, XCAR (XCDR (val)), ZV - PT))
3564 inserted = XINT (XCAR (XCDR (val)));
3565 goto handled;
3568 orig_filename = filename;
3569 filename = ENCODE_FILE (filename);
3571 fd = emacs_open (SSDATA (filename), O_RDONLY, 0);
3572 if (fd < 0)
3574 save_errno = errno;
3575 if (NILP (visit))
3576 report_file_error ("Opening input file", orig_filename);
3577 mtime = time_error_value (save_errno);
3578 st.st_size = -1;
3579 if (!NILP (Vcoding_system_for_read))
3580 Fset (Qbuffer_file_coding_system, Vcoding_system_for_read);
3581 goto notfound;
3584 fd_index = SPECPDL_INDEX ();
3585 record_unwind_protect_int (close_file_unwind, fd);
3587 /* Replacement should preserve point as it preserves markers. */
3588 if (!NILP (replace))
3589 record_unwind_protect (restore_point_unwind, Fpoint_marker ());
3591 if (fstat (fd, &st) != 0)
3592 report_file_error ("Input file status", orig_filename);
3593 mtime = get_stat_mtime (&st);
3595 /* This code will need to be changed in order to work on named
3596 pipes, and it's probably just not worth it. So we should at
3597 least signal an error. */
3598 if (!S_ISREG (st.st_mode))
3600 not_regular = 1;
3602 if (! NILP (visit))
3603 goto notfound;
3605 if (! NILP (replace) || ! NILP (beg) || ! NILP (end))
3606 xsignal2 (Qfile_error,
3607 build_string ("not a regular file"), orig_filename);
3610 if (!NILP (visit))
3612 if (!NILP (beg) || !NILP (end))
3613 error ("Attempt to visit less than an entire file");
3614 if (BEG < Z && NILP (replace))
3615 error ("Cannot do file visiting in a non-empty buffer");
3618 if (!NILP (beg))
3619 beg_offset = file_offset (beg);
3620 else
3621 beg_offset = 0;
3623 if (!NILP (end))
3624 end_offset = file_offset (end);
3625 else
3627 if (not_regular)
3628 end_offset = TYPE_MAXIMUM (off_t);
3629 else
3631 end_offset = st.st_size;
3633 /* A negative size can happen on a platform that allows file
3634 sizes greater than the maximum off_t value. */
3635 if (end_offset < 0)
3636 buffer_overflow ();
3638 /* The file size returned from stat may be zero, but data
3639 may be readable nonetheless, for example when this is a
3640 file in the /proc filesystem. */
3641 if (end_offset == 0)
3642 end_offset = READ_BUF_SIZE;
3646 /* Check now whether the buffer will become too large,
3647 in the likely case where the file's length is not changing.
3648 This saves a lot of needless work before a buffer overflow. */
3649 if (! not_regular)
3651 /* The likely offset where we will stop reading. We could read
3652 more (or less), if the file grows (or shrinks) as we read it. */
3653 off_t likely_end = min (end_offset, st.st_size);
3655 if (beg_offset < likely_end)
3657 ptrdiff_t buf_bytes
3658 = Z_BYTE - (!NILP (replace) ? ZV_BYTE - BEGV_BYTE : 0);
3659 ptrdiff_t buf_growth_max = BUF_BYTES_MAX - buf_bytes;
3660 off_t likely_growth = likely_end - beg_offset;
3661 if (buf_growth_max < likely_growth)
3662 buffer_overflow ();
3666 /* Prevent redisplay optimizations. */
3667 current_buffer->clip_changed = 1;
3669 if (EQ (Vcoding_system_for_read, Qauto_save_coding))
3671 coding_system = coding_inherit_eol_type (Qutf_8_emacs, Qunix);
3672 setup_coding_system (coding_system, &coding);
3673 /* Ensure we set Vlast_coding_system_used. */
3674 set_coding_system = 1;
3676 else if (BEG < Z)
3678 /* Decide the coding system to use for reading the file now
3679 because we can't use an optimized method for handling
3680 `coding:' tag if the current buffer is not empty. */
3681 if (!NILP (Vcoding_system_for_read))
3682 coding_system = Vcoding_system_for_read;
3683 else
3685 /* Don't try looking inside a file for a coding system
3686 specification if it is not seekable. */
3687 if (! not_regular && ! NILP (Vset_auto_coding_function))
3689 /* Find a coding system specified in the heading two
3690 lines or in the tailing several lines of the file.
3691 We assume that the 1K-byte and 3K-byte for heading
3692 and tailing respectively are sufficient for this
3693 purpose. */
3694 int nread;
3696 if (st.st_size <= (1024 * 4))
3697 nread = emacs_read (fd, read_buf, 1024 * 4);
3698 else
3700 nread = emacs_read (fd, read_buf, 1024);
3701 if (nread == 1024)
3703 int ntail;
3704 if (lseek (fd, - (1024 * 3), SEEK_END) < 0)
3705 report_file_error ("Setting file position",
3706 orig_filename);
3707 ntail = emacs_read (fd, read_buf + nread, 1024 * 3);
3708 nread = ntail < 0 ? ntail : nread + ntail;
3712 if (nread < 0)
3713 report_file_error ("Read error", orig_filename);
3714 else if (nread > 0)
3716 struct buffer *prev = current_buffer;
3717 Lisp_Object workbuf;
3718 struct buffer *buf;
3720 record_unwind_current_buffer ();
3722 workbuf = Fget_buffer_create (build_string (" *code-converting-work*"));
3723 buf = XBUFFER (workbuf);
3725 delete_all_overlays (buf);
3726 bset_directory (buf, BVAR (current_buffer, directory));
3727 bset_read_only (buf, Qnil);
3728 bset_filename (buf, Qnil);
3729 bset_undo_list (buf, Qt);
3730 eassert (buf->overlays_before == NULL);
3731 eassert (buf->overlays_after == NULL);
3733 set_buffer_internal (buf);
3734 Ferase_buffer ();
3735 bset_enable_multibyte_characters (buf, Qnil);
3737 insert_1_both ((char *) read_buf, nread, nread, 0, 0, 0);
3738 TEMP_SET_PT_BOTH (BEG, BEG_BYTE);
3739 coding_system = call2 (Vset_auto_coding_function,
3740 filename, make_number (nread));
3741 set_buffer_internal (prev);
3743 /* Discard the unwind protect for recovering the
3744 current buffer. */
3745 specpdl_ptr--;
3747 /* Rewind the file for the actual read done later. */
3748 if (lseek (fd, 0, SEEK_SET) < 0)
3749 report_file_error ("Setting file position", orig_filename);
3753 if (NILP (coding_system))
3755 /* If we have not yet decided a coding system, check
3756 file-coding-system-alist. */
3757 Lisp_Object args[6];
3759 args[0] = Qinsert_file_contents, args[1] = orig_filename;
3760 args[2] = visit, args[3] = beg, args[4] = end, args[5] = replace;
3761 coding_system = Ffind_operation_coding_system (6, args);
3762 if (CONSP (coding_system))
3763 coding_system = XCAR (coding_system);
3767 if (NILP (coding_system))
3768 coding_system = Qundecided;
3769 else
3770 CHECK_CODING_SYSTEM (coding_system);
3772 if (NILP (BVAR (current_buffer, enable_multibyte_characters)))
3773 /* We must suppress all character code conversion except for
3774 end-of-line conversion. */
3775 coding_system = raw_text_coding_system (coding_system);
3777 setup_coding_system (coding_system, &coding);
3778 /* Ensure we set Vlast_coding_system_used. */
3779 set_coding_system = 1;
3782 /* If requested, replace the accessible part of the buffer
3783 with the file contents. Avoid replacing text at the
3784 beginning or end of the buffer that matches the file contents;
3785 that preserves markers pointing to the unchanged parts.
3787 Here we implement this feature in an optimized way
3788 for the case where code conversion is NOT needed.
3789 The following if-statement handles the case of conversion
3790 in a less optimal way.
3792 If the code conversion is "automatic" then we try using this
3793 method and hope for the best.
3794 But if we discover the need for conversion, we give up on this method
3795 and let the following if-statement handle the replace job. */
3796 if (!NILP (replace)
3797 && BEGV < ZV
3798 && (NILP (coding_system)
3799 || ! CODING_REQUIRE_DECODING (&coding)))
3801 /* same_at_start and same_at_end count bytes,
3802 because file access counts bytes
3803 and BEG and END count bytes. */
3804 ptrdiff_t same_at_start = BEGV_BYTE;
3805 ptrdiff_t same_at_end = ZV_BYTE;
3806 ptrdiff_t overlap;
3807 /* There is still a possibility we will find the need to do code
3808 conversion. If that happens, set this variable to
3809 give up on handling REPLACE in the optimized way. */
3810 bool giveup_match_end = 0;
3812 if (beg_offset != 0)
3814 if (lseek (fd, beg_offset, SEEK_SET) < 0)
3815 report_file_error ("Setting file position", orig_filename);
3818 immediate_quit = 1;
3819 QUIT;
3820 /* Count how many chars at the start of the file
3821 match the text at the beginning of the buffer. */
3822 while (1)
3824 int nread, bufpos;
3826 nread = emacs_read (fd, read_buf, sizeof read_buf);
3827 if (nread < 0)
3828 report_file_error ("Read error", orig_filename);
3829 else if (nread == 0)
3830 break;
3832 if (CODING_REQUIRE_DETECTION (&coding))
3834 coding_system = detect_coding_system ((unsigned char *) read_buf,
3835 nread, nread, 1, 0,
3836 coding_system);
3837 setup_coding_system (coding_system, &coding);
3840 if (CODING_REQUIRE_DECODING (&coding))
3841 /* We found that the file should be decoded somehow.
3842 Let's give up here. */
3844 giveup_match_end = 1;
3845 break;
3848 bufpos = 0;
3849 while (bufpos < nread && same_at_start < ZV_BYTE
3850 && FETCH_BYTE (same_at_start) == read_buf[bufpos])
3851 same_at_start++, bufpos++;
3852 /* If we found a discrepancy, stop the scan.
3853 Otherwise loop around and scan the next bufferful. */
3854 if (bufpos != nread)
3855 break;
3857 immediate_quit = 0;
3858 /* If the file matches the buffer completely,
3859 there's no need to replace anything. */
3860 if (same_at_start - BEGV_BYTE == end_offset - beg_offset)
3862 emacs_close (fd);
3863 specpdl_ptr--;
3864 /* Truncate the buffer to the size of the file. */
3865 del_range_1 (same_at_start, same_at_end, 0, 0);
3866 goto handled;
3868 immediate_quit = 1;
3869 QUIT;
3870 /* Count how many chars at the end of the file
3871 match the text at the end of the buffer. But, if we have
3872 already found that decoding is necessary, don't waste time. */
3873 while (!giveup_match_end)
3875 int total_read, nread, bufpos, trial;
3876 off_t curpos;
3878 /* At what file position are we now scanning? */
3879 curpos = end_offset - (ZV_BYTE - same_at_end);
3880 /* If the entire file matches the buffer tail, stop the scan. */
3881 if (curpos == 0)
3882 break;
3883 /* How much can we scan in the next step? */
3884 trial = min (curpos, sizeof read_buf);
3885 if (lseek (fd, curpos - trial, SEEK_SET) < 0)
3886 report_file_error ("Setting file position", orig_filename);
3888 total_read = nread = 0;
3889 while (total_read < trial)
3891 nread = emacs_read (fd, read_buf + total_read, trial - total_read);
3892 if (nread < 0)
3893 report_file_error ("Read error", orig_filename);
3894 else if (nread == 0)
3895 break;
3896 total_read += nread;
3899 /* Scan this bufferful from the end, comparing with
3900 the Emacs buffer. */
3901 bufpos = total_read;
3903 /* Compare with same_at_start to avoid counting some buffer text
3904 as matching both at the file's beginning and at the end. */
3905 while (bufpos > 0 && same_at_end > same_at_start
3906 && FETCH_BYTE (same_at_end - 1) == read_buf[bufpos - 1])
3907 same_at_end--, bufpos--;
3909 /* If we found a discrepancy, stop the scan.
3910 Otherwise loop around and scan the preceding bufferful. */
3911 if (bufpos != 0)
3913 /* If this discrepancy is because of code conversion,
3914 we cannot use this method; giveup and try the other. */
3915 if (same_at_end > same_at_start
3916 && FETCH_BYTE (same_at_end - 1) >= 0200
3917 && ! NILP (BVAR (current_buffer, enable_multibyte_characters))
3918 && (CODING_MAY_REQUIRE_DECODING (&coding)))
3919 giveup_match_end = 1;
3920 break;
3923 if (nread == 0)
3924 break;
3926 immediate_quit = 0;
3928 if (! giveup_match_end)
3930 ptrdiff_t temp;
3932 /* We win! We can handle REPLACE the optimized way. */
3934 /* Extend the start of non-matching text area to multibyte
3935 character boundary. */
3936 if (! NILP (BVAR (current_buffer, enable_multibyte_characters)))
3937 while (same_at_start > BEGV_BYTE
3938 && ! CHAR_HEAD_P (FETCH_BYTE (same_at_start)))
3939 same_at_start--;
3941 /* Extend the end of non-matching text area to multibyte
3942 character boundary. */
3943 if (! NILP (BVAR (current_buffer, enable_multibyte_characters)))
3944 while (same_at_end < ZV_BYTE
3945 && ! CHAR_HEAD_P (FETCH_BYTE (same_at_end)))
3946 same_at_end++;
3948 /* Don't try to reuse the same piece of text twice. */
3949 overlap = (same_at_start - BEGV_BYTE
3950 - (same_at_end
3951 + (! NILP (end) ? end_offset : st.st_size) - ZV_BYTE));
3952 if (overlap > 0)
3953 same_at_end += overlap;
3955 /* Arrange to read only the nonmatching middle part of the file. */
3956 beg_offset += same_at_start - BEGV_BYTE;
3957 end_offset -= ZV_BYTE - same_at_end;
3959 del_range_byte (same_at_start, same_at_end, 0);
3960 /* Insert from the file at the proper position. */
3961 temp = BYTE_TO_CHAR (same_at_start);
3962 SET_PT_BOTH (temp, same_at_start);
3964 /* If display currently starts at beginning of line,
3965 keep it that way. */
3966 if (XBUFFER (XWINDOW (selected_window)->contents) == current_buffer)
3967 XWINDOW (selected_window)->start_at_line_beg = !NILP (Fbolp ());
3969 replace_handled = 1;
3973 /* If requested, replace the accessible part of the buffer
3974 with the file contents. Avoid replacing text at the
3975 beginning or end of the buffer that matches the file contents;
3976 that preserves markers pointing to the unchanged parts.
3978 Here we implement this feature for the case where code conversion
3979 is needed, in a simple way that needs a lot of memory.
3980 The preceding if-statement handles the case of no conversion
3981 in a more optimized way. */
3982 if (!NILP (replace) && ! replace_handled && BEGV < ZV)
3984 ptrdiff_t same_at_start = BEGV_BYTE;
3985 ptrdiff_t same_at_end = ZV_BYTE;
3986 ptrdiff_t same_at_start_charpos;
3987 ptrdiff_t inserted_chars;
3988 ptrdiff_t overlap;
3989 ptrdiff_t bufpos;
3990 unsigned char *decoded;
3991 ptrdiff_t temp;
3992 ptrdiff_t this = 0;
3993 ptrdiff_t this_count = SPECPDL_INDEX ();
3994 bool multibyte
3995 = ! NILP (BVAR (current_buffer, enable_multibyte_characters));
3996 Lisp_Object conversion_buffer;
3997 struct gcpro gcpro1;
3999 conversion_buffer = code_conversion_save (1, multibyte);
4001 /* First read the whole file, performing code conversion into
4002 CONVERSION_BUFFER. */
4004 if (lseek (fd, beg_offset, SEEK_SET) < 0)
4005 report_file_error ("Setting file position", orig_filename);
4007 inserted = 0; /* Bytes put into CONVERSION_BUFFER so far. */
4008 unprocessed = 0; /* Bytes not processed in previous loop. */
4010 GCPRO1 (conversion_buffer);
4011 while (1)
4013 /* Read at most READ_BUF_SIZE bytes at a time, to allow
4014 quitting while reading a huge file. */
4016 /* Allow quitting out of the actual I/O. */
4017 immediate_quit = 1;
4018 QUIT;
4019 this = emacs_read (fd, read_buf + unprocessed,
4020 READ_BUF_SIZE - unprocessed);
4021 immediate_quit = 0;
4023 if (this <= 0)
4024 break;
4026 BUF_TEMP_SET_PT (XBUFFER (conversion_buffer),
4027 BUF_Z (XBUFFER (conversion_buffer)));
4028 decode_coding_c_string (&coding, (unsigned char *) read_buf,
4029 unprocessed + this, conversion_buffer);
4030 unprocessed = coding.carryover_bytes;
4031 if (coding.carryover_bytes > 0)
4032 memcpy (read_buf, coding.carryover, unprocessed);
4034 UNGCPRO;
4035 if (this < 0)
4036 report_file_error ("Read error", orig_filename);
4037 emacs_close (fd);
4038 clear_unwind_protect (fd_index);
4040 if (unprocessed > 0)
4042 coding.mode |= CODING_MODE_LAST_BLOCK;
4043 decode_coding_c_string (&coding, (unsigned char *) read_buf,
4044 unprocessed, conversion_buffer);
4045 coding.mode &= ~CODING_MODE_LAST_BLOCK;
4048 coding_system = CODING_ID_NAME (coding.id);
4049 set_coding_system = 1;
4050 decoded = BUF_BEG_ADDR (XBUFFER (conversion_buffer));
4051 inserted = (BUF_Z_BYTE (XBUFFER (conversion_buffer))
4052 - BUF_BEG_BYTE (XBUFFER (conversion_buffer)));
4054 /* Compare the beginning of the converted string with the buffer
4055 text. */
4057 bufpos = 0;
4058 while (bufpos < inserted && same_at_start < same_at_end
4059 && FETCH_BYTE (same_at_start) == decoded[bufpos])
4060 same_at_start++, bufpos++;
4062 /* If the file matches the head of buffer completely,
4063 there's no need to replace anything. */
4065 if (bufpos == inserted)
4067 /* Truncate the buffer to the size of the file. */
4068 if (same_at_start != same_at_end)
4069 del_range_byte (same_at_start, same_at_end, 0);
4070 inserted = 0;
4072 unbind_to (this_count, Qnil);
4073 goto handled;
4076 /* Extend the start of non-matching text area to the previous
4077 multibyte character boundary. */
4078 if (! NILP (BVAR (current_buffer, enable_multibyte_characters)))
4079 while (same_at_start > BEGV_BYTE
4080 && ! CHAR_HEAD_P (FETCH_BYTE (same_at_start)))
4081 same_at_start--;
4083 /* Scan this bufferful from the end, comparing with
4084 the Emacs buffer. */
4085 bufpos = inserted;
4087 /* Compare with same_at_start to avoid counting some buffer text
4088 as matching both at the file's beginning and at the end. */
4089 while (bufpos > 0 && same_at_end > same_at_start
4090 && FETCH_BYTE (same_at_end - 1) == decoded[bufpos - 1])
4091 same_at_end--, bufpos--;
4093 /* Extend the end of non-matching text area to the next
4094 multibyte character boundary. */
4095 if (! NILP (BVAR (current_buffer, enable_multibyte_characters)))
4096 while (same_at_end < ZV_BYTE
4097 && ! CHAR_HEAD_P (FETCH_BYTE (same_at_end)))
4098 same_at_end++;
4100 /* Don't try to reuse the same piece of text twice. */
4101 overlap = same_at_start - BEGV_BYTE - (same_at_end + inserted - ZV_BYTE);
4102 if (overlap > 0)
4103 same_at_end += overlap;
4105 /* If display currently starts at beginning of line,
4106 keep it that way. */
4107 if (XBUFFER (XWINDOW (selected_window)->contents) == current_buffer)
4108 XWINDOW (selected_window)->start_at_line_beg = !NILP (Fbolp ());
4110 /* Replace the chars that we need to replace,
4111 and update INSERTED to equal the number of bytes
4112 we are taking from the decoded string. */
4113 inserted -= (ZV_BYTE - same_at_end) + (same_at_start - BEGV_BYTE);
4115 if (same_at_end != same_at_start)
4117 del_range_byte (same_at_start, same_at_end, 0);
4118 temp = GPT;
4119 eassert (same_at_start == GPT_BYTE);
4120 same_at_start = GPT_BYTE;
4122 else
4124 temp = BYTE_TO_CHAR (same_at_start);
4126 /* Insert from the file at the proper position. */
4127 SET_PT_BOTH (temp, same_at_start);
4128 same_at_start_charpos
4129 = buf_bytepos_to_charpos (XBUFFER (conversion_buffer),
4130 same_at_start - BEGV_BYTE
4131 + BUF_BEG_BYTE (XBUFFER (conversion_buffer)));
4132 eassert (same_at_start_charpos == temp - (BEGV - BEG));
4133 inserted_chars
4134 = (buf_bytepos_to_charpos (XBUFFER (conversion_buffer),
4135 same_at_start + inserted - BEGV_BYTE
4136 + BUF_BEG_BYTE (XBUFFER (conversion_buffer)))
4137 - same_at_start_charpos);
4138 /* This binding is to avoid ask-user-about-supersession-threat
4139 being called in insert_from_buffer (via in
4140 prepare_to_modify_buffer). */
4141 specbind (intern ("buffer-file-name"), Qnil);
4142 insert_from_buffer (XBUFFER (conversion_buffer),
4143 same_at_start_charpos, inserted_chars, 0);
4144 /* Set `inserted' to the number of inserted characters. */
4145 inserted = PT - temp;
4146 /* Set point before the inserted characters. */
4147 SET_PT_BOTH (temp, same_at_start);
4149 unbind_to (this_count, Qnil);
4151 goto handled;
4154 if (! not_regular)
4155 total = end_offset - beg_offset;
4156 else
4157 /* For a special file, all we can do is guess. */
4158 total = READ_BUF_SIZE;
4160 if (NILP (visit) && total > 0)
4162 #ifdef CLASH_DETECTION
4163 if (!NILP (BVAR (current_buffer, file_truename))
4164 /* Make binding buffer-file-name to nil effective. */
4165 && !NILP (BVAR (current_buffer, filename))
4166 && SAVE_MODIFF >= MODIFF)
4167 we_locked_file = 1;
4168 #endif /* CLASH_DETECTION */
4169 prepare_to_modify_buffer (GPT, GPT, NULL);
4172 move_gap_both (PT, PT_BYTE);
4173 if (GAP_SIZE < total)
4174 make_gap (total - GAP_SIZE);
4176 if (beg_offset != 0 || !NILP (replace))
4178 if (lseek (fd, beg_offset, SEEK_SET) < 0)
4179 report_file_error ("Setting file position", orig_filename);
4182 /* In the following loop, HOW_MUCH contains the total bytes read so
4183 far for a regular file, and not changed for a special file. But,
4184 before exiting the loop, it is set to a negative value if I/O
4185 error occurs. */
4186 how_much = 0;
4188 /* Total bytes inserted. */
4189 inserted = 0;
4191 /* Here, we don't do code conversion in the loop. It is done by
4192 decode_coding_gap after all data are read into the buffer. */
4194 ptrdiff_t gap_size = GAP_SIZE;
4196 while (how_much < total)
4198 /* try is reserved in some compilers (Microsoft C) */
4199 ptrdiff_t trytry = min (total - how_much, READ_BUF_SIZE);
4200 ptrdiff_t this;
4202 if (not_regular)
4204 Lisp_Object nbytes;
4206 /* Maybe make more room. */
4207 if (gap_size < trytry)
4209 make_gap (trytry - gap_size);
4210 gap_size = GAP_SIZE - inserted;
4213 /* Read from the file, capturing `quit'. When an
4214 error occurs, end the loop, and arrange for a quit
4215 to be signaled after decoding the text we read. */
4216 nbytes = internal_condition_case_1
4217 (read_non_regular,
4218 make_save_int_int_int (fd, inserted, trytry),
4219 Qerror, read_non_regular_quit);
4221 if (NILP (nbytes))
4223 read_quit = 1;
4224 break;
4227 this = XINT (nbytes);
4229 else
4231 /* Allow quitting out of the actual I/O. We don't make text
4232 part of the buffer until all the reading is done, so a C-g
4233 here doesn't do any harm. */
4234 immediate_quit = 1;
4235 QUIT;
4236 this = emacs_read (fd,
4237 ((char *) BEG_ADDR + PT_BYTE - BEG_BYTE
4238 + inserted),
4239 trytry);
4240 immediate_quit = 0;
4243 if (this <= 0)
4245 how_much = this;
4246 break;
4249 gap_size -= this;
4251 /* For a regular file, where TOTAL is the real size,
4252 count HOW_MUCH to compare with it.
4253 For a special file, where TOTAL is just a buffer size,
4254 so don't bother counting in HOW_MUCH.
4255 (INSERTED is where we count the number of characters inserted.) */
4256 if (! not_regular)
4257 how_much += this;
4258 inserted += this;
4262 /* Now we have either read all the file data into the gap,
4263 or stop reading on I/O error or quit. If nothing was
4264 read, undo marking the buffer modified. */
4266 if (inserted == 0)
4268 #ifdef CLASH_DETECTION
4269 if (we_locked_file)
4270 unlock_file (BVAR (current_buffer, file_truename));
4271 #endif
4272 Vdeactivate_mark = old_Vdeactivate_mark;
4274 else
4275 Vdeactivate_mark = Qt;
4277 emacs_close (fd);
4278 clear_unwind_protect (fd_index);
4280 if (how_much < 0)
4281 report_file_error ("Read error", orig_filename);
4283 /* Make the text read part of the buffer. */
4284 GAP_SIZE -= inserted;
4285 GPT += inserted;
4286 GPT_BYTE += inserted;
4287 ZV += inserted;
4288 ZV_BYTE += inserted;
4289 Z += inserted;
4290 Z_BYTE += inserted;
4292 if (GAP_SIZE > 0)
4293 /* Put an anchor to ensure multi-byte form ends at gap. */
4294 *GPT_ADDR = 0;
4296 notfound:
4298 if (NILP (coding_system))
4300 /* The coding system is not yet decided. Decide it by an
4301 optimized method for handling `coding:' tag.
4303 Note that we can get here only if the buffer was empty
4304 before the insertion. */
4306 if (!NILP (Vcoding_system_for_read))
4307 coding_system = Vcoding_system_for_read;
4308 else
4310 /* Since we are sure that the current buffer was empty
4311 before the insertion, we can toggle
4312 enable-multibyte-characters directly here without taking
4313 care of marker adjustment. By this way, we can run Lisp
4314 program safely before decoding the inserted text. */
4315 Lisp_Object unwind_data;
4316 ptrdiff_t count1 = SPECPDL_INDEX ();
4318 unwind_data = Fcons (BVAR (current_buffer, enable_multibyte_characters),
4319 Fcons (BVAR (current_buffer, undo_list),
4320 Fcurrent_buffer ()));
4321 bset_enable_multibyte_characters (current_buffer, Qnil);
4322 bset_undo_list (current_buffer, Qt);
4323 record_unwind_protect (decide_coding_unwind, unwind_data);
4325 if (inserted > 0 && ! NILP (Vset_auto_coding_function))
4327 coding_system = call2 (Vset_auto_coding_function,
4328 filename, make_number (inserted));
4331 if (NILP (coding_system))
4333 /* If the coding system is not yet decided, check
4334 file-coding-system-alist. */
4335 Lisp_Object args[6];
4337 args[0] = Qinsert_file_contents, args[1] = orig_filename;
4338 args[2] = visit, args[3] = beg, args[4] = end, args[5] = Qnil;
4339 coding_system = Ffind_operation_coding_system (6, args);
4340 if (CONSP (coding_system))
4341 coding_system = XCAR (coding_system);
4343 unbind_to (count1, Qnil);
4344 inserted = Z_BYTE - BEG_BYTE;
4347 if (NILP (coding_system))
4348 coding_system = Qundecided;
4349 else
4350 CHECK_CODING_SYSTEM (coding_system);
4352 if (NILP (BVAR (current_buffer, enable_multibyte_characters)))
4353 /* We must suppress all character code conversion except for
4354 end-of-line conversion. */
4355 coding_system = raw_text_coding_system (coding_system);
4356 setup_coding_system (coding_system, &coding);
4357 /* Ensure we set Vlast_coding_system_used. */
4358 set_coding_system = 1;
4361 if (!NILP (visit))
4363 /* When we visit a file by raw-text, we change the buffer to
4364 unibyte. */
4365 if (CODING_FOR_UNIBYTE (&coding)
4366 /* Can't do this if part of the buffer might be preserved. */
4367 && NILP (replace))
4368 /* Visiting a file with these coding system makes the buffer
4369 unibyte. */
4370 bset_enable_multibyte_characters (current_buffer, Qnil);
4373 coding.dst_multibyte = ! NILP (BVAR (current_buffer, enable_multibyte_characters));
4374 if (CODING_MAY_REQUIRE_DECODING (&coding)
4375 && (inserted > 0 || CODING_REQUIRE_FLUSHING (&coding)))
4377 move_gap_both (PT, PT_BYTE);
4378 GAP_SIZE += inserted;
4379 ZV_BYTE -= inserted;
4380 Z_BYTE -= inserted;
4381 ZV -= inserted;
4382 Z -= inserted;
4383 decode_coding_gap (&coding, inserted, inserted);
4384 inserted = coding.produced_char;
4385 coding_system = CODING_ID_NAME (coding.id);
4387 else if (inserted > 0)
4388 adjust_after_insert (PT, PT_BYTE, PT + inserted, PT_BYTE + inserted,
4389 inserted);
4391 /* Call after-change hooks for the inserted text, aside from the case
4392 of normal visiting (not with REPLACE), which is done in a new buffer
4393 "before" the buffer is changed. */
4394 if (inserted > 0 && total > 0
4395 && (NILP (visit) || !NILP (replace)))
4397 signal_after_change (PT, 0, inserted);
4398 update_compositions (PT, PT, CHECK_BORDER);
4401 /* Now INSERTED is measured in characters. */
4403 handled:
4405 if (!NILP (visit))
4407 if (empty_undo_list_p)
4408 bset_undo_list (current_buffer, Qnil);
4410 if (NILP (handler))
4412 current_buffer->modtime = mtime;
4413 current_buffer->modtime_size = st.st_size;
4414 bset_filename (current_buffer, orig_filename);
4417 SAVE_MODIFF = MODIFF;
4418 BUF_AUTOSAVE_MODIFF (current_buffer) = MODIFF;
4419 XSETFASTINT (BVAR (current_buffer, save_length), Z - BEG);
4420 #ifdef CLASH_DETECTION
4421 if (NILP (handler))
4423 if (!NILP (BVAR (current_buffer, file_truename)))
4424 unlock_file (BVAR (current_buffer, file_truename));
4425 unlock_file (filename);
4427 #endif /* CLASH_DETECTION */
4428 if (not_regular)
4429 xsignal2 (Qfile_error,
4430 build_string ("not a regular file"), orig_filename);
4433 if (set_coding_system)
4434 Vlast_coding_system_used = coding_system;
4436 if (! NILP (Ffboundp (Qafter_insert_file_set_coding)))
4438 insval = call2 (Qafter_insert_file_set_coding, make_number (inserted),
4439 visit);
4440 if (! NILP (insval))
4442 if (! RANGED_INTEGERP (0, insval, ZV - PT))
4443 wrong_type_argument (intern ("inserted-chars"), insval);
4444 inserted = XFASTINT (insval);
4448 /* Decode file format. */
4449 if (inserted > 0)
4451 /* Don't run point motion or modification hooks when decoding. */
4452 ptrdiff_t count1 = SPECPDL_INDEX ();
4453 ptrdiff_t old_inserted = inserted;
4454 specbind (Qinhibit_point_motion_hooks, Qt);
4455 specbind (Qinhibit_modification_hooks, Qt);
4457 /* Save old undo list and don't record undo for decoding. */
4458 old_undo = BVAR (current_buffer, undo_list);
4459 bset_undo_list (current_buffer, Qt);
4461 if (NILP (replace))
4463 insval = call3 (Qformat_decode,
4464 Qnil, make_number (inserted), visit);
4465 if (! RANGED_INTEGERP (0, insval, ZV - PT))
4466 wrong_type_argument (intern ("inserted-chars"), insval);
4467 inserted = XFASTINT (insval);
4469 else
4471 /* If REPLACE is non-nil and we succeeded in not replacing the
4472 beginning or end of the buffer text with the file's contents,
4473 call format-decode with `point' positioned at the beginning
4474 of the buffer and `inserted' equaling the number of
4475 characters in the buffer. Otherwise, format-decode might
4476 fail to correctly analyze the beginning or end of the buffer.
4477 Hence we temporarily save `point' and `inserted' here and
4478 restore `point' iff format-decode did not insert or delete
4479 any text. Otherwise we leave `point' at point-min. */
4480 ptrdiff_t opoint = PT;
4481 ptrdiff_t opoint_byte = PT_BYTE;
4482 ptrdiff_t oinserted = ZV - BEGV;
4483 EMACS_INT ochars_modiff = CHARS_MODIFF;
4485 TEMP_SET_PT_BOTH (BEGV, BEGV_BYTE);
4486 insval = call3 (Qformat_decode,
4487 Qnil, make_number (oinserted), visit);
4488 if (! RANGED_INTEGERP (0, insval, ZV - PT))
4489 wrong_type_argument (intern ("inserted-chars"), insval);
4490 if (ochars_modiff == CHARS_MODIFF)
4491 /* format_decode didn't modify buffer's characters => move
4492 point back to position before inserted text and leave
4493 value of inserted alone. */
4494 SET_PT_BOTH (opoint, opoint_byte);
4495 else
4496 /* format_decode modified buffer's characters => consider
4497 entire buffer changed and leave point at point-min. */
4498 inserted = XFASTINT (insval);
4501 /* For consistency with format-decode call these now iff inserted > 0
4502 (martin 2007-06-28). */
4503 p = Vafter_insert_file_functions;
4504 while (CONSP (p))
4506 if (NILP (replace))
4508 insval = call1 (XCAR (p), make_number (inserted));
4509 if (!NILP (insval))
4511 if (! RANGED_INTEGERP (0, insval, ZV - PT))
4512 wrong_type_argument (intern ("inserted-chars"), insval);
4513 inserted = XFASTINT (insval);
4516 else
4518 /* For the rationale of this see the comment on
4519 format-decode above. */
4520 ptrdiff_t opoint = PT;
4521 ptrdiff_t opoint_byte = PT_BYTE;
4522 ptrdiff_t oinserted = ZV - BEGV;
4523 EMACS_INT ochars_modiff = CHARS_MODIFF;
4525 TEMP_SET_PT_BOTH (BEGV, BEGV_BYTE);
4526 insval = call1 (XCAR (p), make_number (oinserted));
4527 if (!NILP (insval))
4529 if (! RANGED_INTEGERP (0, insval, ZV - PT))
4530 wrong_type_argument (intern ("inserted-chars"), insval);
4531 if (ochars_modiff == CHARS_MODIFF)
4532 /* after_insert_file_functions didn't modify
4533 buffer's characters => move point back to
4534 position before inserted text and leave value of
4535 inserted alone. */
4536 SET_PT_BOTH (opoint, opoint_byte);
4537 else
4538 /* after_insert_file_functions did modify buffer's
4539 characters => consider entire buffer changed and
4540 leave point at point-min. */
4541 inserted = XFASTINT (insval);
4545 QUIT;
4546 p = XCDR (p);
4549 if (!empty_undo_list_p)
4551 bset_undo_list (current_buffer, old_undo);
4552 if (CONSP (old_undo) && inserted != old_inserted)
4554 /* Adjust the last undo record for the size change during
4555 the format conversion. */
4556 Lisp_Object tem = XCAR (old_undo);
4557 if (CONSP (tem) && INTEGERP (XCAR (tem))
4558 && INTEGERP (XCDR (tem))
4559 && XFASTINT (XCDR (tem)) == PT + old_inserted)
4560 XSETCDR (tem, make_number (PT + inserted));
4563 else
4564 /* If undo_list was Qt before, keep it that way.
4565 Otherwise start with an empty undo_list. */
4566 bset_undo_list (current_buffer, EQ (old_undo, Qt) ? Qt : Qnil);
4568 unbind_to (count1, Qnil);
4571 if (!NILP (visit)
4572 && EMACS_NSECS (current_buffer->modtime) == NONEXISTENT_MODTIME_NSECS)
4574 /* If visiting nonexistent file, return nil. */
4575 report_file_errno ("Opening input file", orig_filename, save_errno);
4578 if (read_quit)
4579 Fsignal (Qquit, Qnil);
4581 /* Retval needs to be dealt with in all cases consistently. */
4582 if (NILP (val))
4583 val = list2 (orig_filename, make_number (inserted));
4585 RETURN_UNGCPRO (unbind_to (count, val));
4588 static Lisp_Object build_annotations (Lisp_Object, Lisp_Object);
4590 static void
4591 build_annotations_unwind (Lisp_Object arg)
4593 Vwrite_region_annotation_buffers = arg;
4596 /* Decide the coding-system to encode the data with. */
4598 DEFUN ("choose-write-coding-system", Fchoose_write_coding_system,
4599 Schoose_write_coding_system, 3, 6, 0,
4600 doc: /* Choose the coding system for writing a file.
4601 Arguments are as for `write-region'.
4602 This function is for internal use only. It may prompt the user. */ )
4603 (Lisp_Object start, Lisp_Object end, Lisp_Object filename,
4604 Lisp_Object append, Lisp_Object visit, Lisp_Object lockname)
4606 Lisp_Object val;
4607 Lisp_Object eol_parent = Qnil;
4609 /* Mimic write-region behavior. */
4610 if (NILP (start))
4612 XSETFASTINT (start, BEGV);
4613 XSETFASTINT (end, ZV);
4616 if (auto_saving
4617 && NILP (Fstring_equal (BVAR (current_buffer, filename),
4618 BVAR (current_buffer, auto_save_file_name))))
4620 val = Qutf_8_emacs;
4621 eol_parent = Qunix;
4623 else if (!NILP (Vcoding_system_for_write))
4625 val = Vcoding_system_for_write;
4626 if (coding_system_require_warning
4627 && !NILP (Ffboundp (Vselect_safe_coding_system_function)))
4628 /* Confirm that VAL can surely encode the current region. */
4629 val = call5 (Vselect_safe_coding_system_function,
4630 start, end, list2 (Qt, val),
4631 Qnil, filename);
4633 else
4635 /* If the variable `buffer-file-coding-system' is set locally,
4636 it means that the file was read with some kind of code
4637 conversion or the variable is explicitly set by users. We
4638 had better write it out with the same coding system even if
4639 `enable-multibyte-characters' is nil.
4641 If it is not set locally, we anyway have to convert EOL
4642 format if the default value of `buffer-file-coding-system'
4643 tells that it is not Unix-like (LF only) format. */
4644 bool using_default_coding = 0;
4645 bool force_raw_text = 0;
4647 val = BVAR (current_buffer, buffer_file_coding_system);
4648 if (NILP (val)
4649 || NILP (Flocal_variable_p (Qbuffer_file_coding_system, Qnil)))
4651 val = Qnil;
4652 if (NILP (BVAR (current_buffer, enable_multibyte_characters)))
4653 force_raw_text = 1;
4656 if (NILP (val))
4658 /* Check file-coding-system-alist. */
4659 Lisp_Object args[7], coding_systems;
4661 args[0] = Qwrite_region; args[1] = start; args[2] = end;
4662 args[3] = filename; args[4] = append; args[5] = visit;
4663 args[6] = lockname;
4664 coding_systems = Ffind_operation_coding_system (7, args);
4665 if (CONSP (coding_systems) && !NILP (XCDR (coding_systems)))
4666 val = XCDR (coding_systems);
4669 if (NILP (val))
4671 /* If we still have not decided a coding system, use the
4672 default value of buffer-file-coding-system. */
4673 val = BVAR (current_buffer, buffer_file_coding_system);
4674 using_default_coding = 1;
4677 if (! NILP (val) && ! force_raw_text)
4679 Lisp_Object spec, attrs;
4681 CHECK_CODING_SYSTEM_GET_SPEC (val, spec);
4682 attrs = AREF (spec, 0);
4683 if (EQ (CODING_ATTR_TYPE (attrs), Qraw_text))
4684 force_raw_text = 1;
4687 if (!force_raw_text
4688 && !NILP (Ffboundp (Vselect_safe_coding_system_function)))
4689 /* Confirm that VAL can surely encode the current region. */
4690 val = call5 (Vselect_safe_coding_system_function,
4691 start, end, val, Qnil, filename);
4693 /* If the decided coding-system doesn't specify end-of-line
4694 format, we use that of
4695 `default-buffer-file-coding-system'. */
4696 if (! using_default_coding
4697 && ! NILP (BVAR (&buffer_defaults, buffer_file_coding_system)))
4698 val = (coding_inherit_eol_type
4699 (val, BVAR (&buffer_defaults, buffer_file_coding_system)));
4701 /* If we decide not to encode text, use `raw-text' or one of its
4702 subsidiaries. */
4703 if (force_raw_text)
4704 val = raw_text_coding_system (val);
4707 val = coding_inherit_eol_type (val, eol_parent);
4708 return val;
4711 DEFUN ("write-region", Fwrite_region, Swrite_region, 3, 7,
4712 "r\nFWrite region to file: \ni\ni\ni\np",
4713 doc: /* Write current region into specified file.
4714 When called from a program, requires three arguments:
4715 START, END and FILENAME. START and END are normally buffer positions
4716 specifying the part of the buffer to write.
4717 If START is nil, that means to use the entire buffer contents.
4718 If START is a string, then output that string to the file
4719 instead of any buffer contents; END is ignored.
4721 Optional fourth argument APPEND if non-nil means
4722 append to existing file contents (if any). If it is a number,
4723 seek to that offset in the file before writing.
4724 Optional fifth argument VISIT, if t or a string, means
4725 set the last-save-file-modtime of buffer to this file's modtime
4726 and mark buffer not modified.
4727 If VISIT is a string, it is a second file name;
4728 the output goes to FILENAME, but the buffer is marked as visiting VISIT.
4729 VISIT is also the file name to lock and unlock for clash detection.
4730 If VISIT is neither t nor nil nor a string,
4731 that means do not display the \"Wrote file\" message.
4732 The optional sixth arg LOCKNAME, if non-nil, specifies the name to
4733 use for locking and unlocking, overriding FILENAME and VISIT.
4734 The optional seventh arg MUSTBENEW, if non-nil, insists on a check
4735 for an existing file with the same name. If MUSTBENEW is `excl',
4736 that means to get an error if the file already exists; never overwrite.
4737 If MUSTBENEW is neither nil nor `excl', that means ask for
4738 confirmation before overwriting, but do go ahead and overwrite the file
4739 if the user confirms.
4741 This does code conversion according to the value of
4742 `coding-system-for-write', `buffer-file-coding-system', or
4743 `file-coding-system-alist', and sets the variable
4744 `last-coding-system-used' to the coding system actually used.
4746 This calls `write-region-annotate-functions' at the start, and
4747 `write-region-post-annotation-function' at the end. */)
4748 (Lisp_Object start, Lisp_Object end, Lisp_Object filename, Lisp_Object append, Lisp_Object visit, Lisp_Object lockname, Lisp_Object mustbenew)
4750 int desc;
4751 int open_flags;
4752 int mode;
4753 off_t offset IF_LINT (= 0);
4754 bool ok;
4755 int save_errno = 0;
4756 const char *fn;
4757 struct stat st;
4758 EMACS_TIME modtime;
4759 ptrdiff_t count = SPECPDL_INDEX ();
4760 ptrdiff_t count1;
4761 Lisp_Object handler;
4762 Lisp_Object visit_file;
4763 Lisp_Object annotations;
4764 Lisp_Object encoded_filename;
4765 bool visiting = (EQ (visit, Qt) || STRINGP (visit));
4766 bool quietly = !NILP (visit);
4767 struct gcpro gcpro1, gcpro2, gcpro3, gcpro4, gcpro5;
4768 struct buffer *given_buffer;
4769 struct coding_system coding;
4771 if (current_buffer->base_buffer && visiting)
4772 error ("Cannot do file visiting in an indirect buffer");
4774 if (!NILP (start) && !STRINGP (start))
4775 validate_region (&start, &end);
4777 visit_file = Qnil;
4778 GCPRO5 (start, filename, visit, visit_file, lockname);
4780 filename = Fexpand_file_name (filename, Qnil);
4782 if (!NILP (mustbenew) && !EQ (mustbenew, Qexcl))
4783 barf_or_query_if_file_exists (filename, "overwrite", 1, 0, 1);
4785 if (STRINGP (visit))
4786 visit_file = Fexpand_file_name (visit, Qnil);
4787 else
4788 visit_file = filename;
4790 if (NILP (lockname))
4791 lockname = visit_file;
4793 annotations = Qnil;
4795 /* If the file name has special constructs in it,
4796 call the corresponding file handler. */
4797 handler = Ffind_file_name_handler (filename, Qwrite_region);
4798 /* If FILENAME has no handler, see if VISIT has one. */
4799 if (NILP (handler) && STRINGP (visit))
4800 handler = Ffind_file_name_handler (visit, Qwrite_region);
4802 if (!NILP (handler))
4804 Lisp_Object val;
4805 val = call6 (handler, Qwrite_region, start, end,
4806 filename, append, visit);
4808 if (visiting)
4810 SAVE_MODIFF = MODIFF;
4811 XSETFASTINT (BVAR (current_buffer, save_length), Z - BEG);
4812 bset_filename (current_buffer, visit_file);
4814 UNGCPRO;
4815 return val;
4818 record_unwind_protect (save_restriction_restore, save_restriction_save ());
4820 /* Special kludge to simplify auto-saving. */
4821 if (NILP (start))
4823 /* Do it later, so write-region-annotate-function can work differently
4824 if we save "the buffer" vs "a region".
4825 This is useful in tar-mode. --Stef
4826 XSETFASTINT (start, BEG);
4827 XSETFASTINT (end, Z); */
4828 Fwiden ();
4831 record_unwind_protect (build_annotations_unwind,
4832 Vwrite_region_annotation_buffers);
4833 Vwrite_region_annotation_buffers = list1 (Fcurrent_buffer ());
4834 count1 = SPECPDL_INDEX ();
4836 given_buffer = current_buffer;
4838 if (!STRINGP (start))
4840 annotations = build_annotations (start, end);
4842 if (current_buffer != given_buffer)
4844 XSETFASTINT (start, BEGV);
4845 XSETFASTINT (end, ZV);
4849 if (NILP (start))
4851 XSETFASTINT (start, BEGV);
4852 XSETFASTINT (end, ZV);
4855 UNGCPRO;
4857 GCPRO5 (start, filename, annotations, visit_file, lockname);
4859 /* Decide the coding-system to encode the data with.
4860 We used to make this choice before calling build_annotations, but that
4861 leads to problems when a write-annotate-function takes care of
4862 unsavable chars (as was the case with X-Symbol). */
4863 Vlast_coding_system_used =
4864 Fchoose_write_coding_system (start, end, filename,
4865 append, visit, lockname);
4867 setup_coding_system (Vlast_coding_system_used, &coding);
4869 if (!STRINGP (start) && !NILP (BVAR (current_buffer, selective_display)))
4870 coding.mode |= CODING_MODE_SELECTIVE_DISPLAY;
4872 #ifdef CLASH_DETECTION
4873 if (!auto_saving)
4874 lock_file (lockname);
4875 #endif /* CLASH_DETECTION */
4877 encoded_filename = ENCODE_FILE (filename);
4878 fn = SSDATA (encoded_filename);
4879 open_flags = O_WRONLY | O_BINARY | O_CREAT;
4880 open_flags |= EQ (mustbenew, Qexcl) ? O_EXCL : !NILP (append) ? 0 : O_TRUNC;
4881 if (NUMBERP (append))
4882 offset = file_offset (append);
4883 else if (!NILP (append))
4884 open_flags |= O_APPEND;
4885 #ifdef DOS_NT
4886 mode = S_IREAD | S_IWRITE;
4887 #else
4888 mode = auto_saving ? auto_save_mode_bits : 0666;
4889 #endif
4891 desc = emacs_open (fn, open_flags, mode);
4893 if (desc < 0)
4895 int open_errno = errno;
4896 #ifdef CLASH_DETECTION
4897 if (!auto_saving) unlock_file (lockname);
4898 #endif /* CLASH_DETECTION */
4899 UNGCPRO;
4900 report_file_errno ("Opening output file", filename, open_errno);
4903 record_unwind_protect_int (close_file_unwind, desc);
4905 if (NUMBERP (append))
4907 off_t ret = lseek (desc, offset, SEEK_SET);
4908 if (ret < 0)
4910 int lseek_errno = errno;
4911 #ifdef CLASH_DETECTION
4912 if (!auto_saving) unlock_file (lockname);
4913 #endif /* CLASH_DETECTION */
4914 UNGCPRO;
4915 report_file_errno ("Lseek error", filename, lseek_errno);
4919 UNGCPRO;
4921 immediate_quit = 1;
4923 if (STRINGP (start))
4924 ok = a_write (desc, start, 0, SCHARS (start), &annotations, &coding);
4925 else if (XINT (start) != XINT (end))
4926 ok = a_write (desc, Qnil, XINT (start), XINT (end) - XINT (start),
4927 &annotations, &coding);
4928 else
4930 /* If file was empty, still need to write the annotations. */
4931 coding.mode |= CODING_MODE_LAST_BLOCK;
4932 ok = a_write (desc, Qnil, XINT (end), 0, &annotations, &coding);
4934 save_errno = errno;
4936 if (ok && CODING_REQUIRE_FLUSHING (&coding)
4937 && !(coding.mode & CODING_MODE_LAST_BLOCK))
4939 /* We have to flush out a data. */
4940 coding.mode |= CODING_MODE_LAST_BLOCK;
4941 ok = e_write (desc, Qnil, 1, 1, &coding);
4942 save_errno = errno;
4945 immediate_quit = 0;
4947 /* fsync is not crucial for auto-save files, since they might lose
4948 some work anyway. */
4949 if (!auto_saving && !write_region_inhibit_fsync)
4951 /* Transfer data and metadata to disk, retrying if interrupted.
4952 fsync can report a write failure here, e.g., due to disk full
4953 under NFS. But ignore EINVAL, which means fsync is not
4954 supported on this file. */
4955 while (fsync (desc) != 0)
4956 if (errno != EINTR)
4958 if (errno != EINVAL)
4959 ok = 0, save_errno = errno;
4960 break;
4964 modtime = invalid_emacs_time ();
4965 if (visiting)
4967 if (fstat (desc, &st) == 0)
4968 modtime = get_stat_mtime (&st);
4969 else
4970 ok = 0, save_errno = errno;
4973 /* NFS can report a write failure now. */
4974 if (emacs_close (desc) < 0)
4975 ok = 0, save_errno = errno;
4977 /* Discard the unwind protect for close_file_unwind. */
4978 specpdl_ptr = specpdl + count1;
4980 /* Some file systems have a bug where st_mtime is not updated
4981 properly after a write. For example, CIFS might not see the
4982 st_mtime change until after the file is opened again.
4984 Attempt to detect this file system bug, and update MODTIME to the
4985 newer st_mtime if the bug appears to be present. This introduces
4986 a race condition, so to avoid most instances of the race condition
4987 on non-buggy file systems, skip this check if the most recently
4988 encountered non-buggy file system was the current file system.
4990 A race condition can occur if some other process modifies the
4991 file between the fstat above and the fstat below, but the race is
4992 unlikely and a similar race between the last write and the fstat
4993 above cannot possibly be closed anyway. */
4995 if (EMACS_TIME_VALID_P (modtime)
4996 && ! (valid_timestamp_file_system && st.st_dev == timestamp_file_system))
4998 int desc1 = emacs_open (fn, O_WRONLY | O_BINARY, 0);
4999 if (desc1 >= 0)
5001 struct stat st1;
5002 if (fstat (desc1, &st1) == 0
5003 && st.st_dev == st1.st_dev && st.st_ino == st1.st_ino)
5005 /* Use the heuristic if it appears to be valid. With neither
5006 O_EXCL nor O_TRUNC, if Emacs happened to write nothing to the
5007 file, the time stamp won't change. Also, some non-POSIX
5008 systems don't update an empty file's time stamp when
5009 truncating it. Finally, file systems with 100 ns or worse
5010 resolution sometimes seem to have bugs: on a system with ns
5011 resolution, checking ns % 100 incorrectly avoids the heuristic
5012 1% of the time, but the problem should be temporary as we will
5013 try again on the next time stamp. */
5014 bool use_heuristic
5015 = ((open_flags & (O_EXCL | O_TRUNC)) != 0
5016 && st.st_size != 0
5017 && EMACS_NSECS (modtime) % 100 != 0);
5019 EMACS_TIME modtime1 = get_stat_mtime (&st1);
5020 if (use_heuristic
5021 && EMACS_TIME_EQ (modtime, modtime1)
5022 && st.st_size == st1.st_size)
5024 timestamp_file_system = st.st_dev;
5025 valid_timestamp_file_system = 1;
5027 else
5029 st.st_size = st1.st_size;
5030 modtime = modtime1;
5033 emacs_close (desc1);
5037 /* Call write-region-post-annotation-function. */
5038 while (CONSP (Vwrite_region_annotation_buffers))
5040 Lisp_Object buf = XCAR (Vwrite_region_annotation_buffers);
5041 if (!NILP (Fbuffer_live_p (buf)))
5043 Fset_buffer (buf);
5044 if (FUNCTIONP (Vwrite_region_post_annotation_function))
5045 call0 (Vwrite_region_post_annotation_function);
5047 Vwrite_region_annotation_buffers
5048 = XCDR (Vwrite_region_annotation_buffers);
5051 unbind_to (count, Qnil);
5053 #ifdef CLASH_DETECTION
5054 if (!auto_saving)
5055 unlock_file (lockname);
5056 #endif /* CLASH_DETECTION */
5058 /* Do this before reporting IO error
5059 to avoid a "file has changed on disk" warning on
5060 next attempt to save. */
5061 if (EMACS_TIME_VALID_P (modtime))
5063 current_buffer->modtime = modtime;
5064 current_buffer->modtime_size = st.st_size;
5067 if (! ok)
5068 report_file_errno ("Write error", filename, save_errno);
5070 if (visiting)
5072 SAVE_MODIFF = MODIFF;
5073 XSETFASTINT (BVAR (current_buffer, save_length), Z - BEG);
5074 bset_filename (current_buffer, visit_file);
5075 update_mode_lines++;
5077 else if (quietly)
5079 if (auto_saving
5080 && ! NILP (Fstring_equal (BVAR (current_buffer, filename),
5081 BVAR (current_buffer, auto_save_file_name))))
5082 SAVE_MODIFF = MODIFF;
5084 return Qnil;
5087 if (!auto_saving)
5088 message_with_string ((NUMBERP (append)
5089 ? "Updated %s"
5090 : ! NILP (append)
5091 ? "Added to %s"
5092 : "Wrote %s"),
5093 visit_file, 1);
5095 return Qnil;
5098 Lisp_Object merge (Lisp_Object, Lisp_Object, Lisp_Object);
5100 DEFUN ("car-less-than-car", Fcar_less_than_car, Scar_less_than_car, 2, 2, 0,
5101 doc: /* Return t if (car A) is numerically less than (car B). */)
5102 (Lisp_Object a, Lisp_Object b)
5104 return Flss (Fcar (a), Fcar (b));
5107 /* Build the complete list of annotations appropriate for writing out
5108 the text between START and END, by calling all the functions in
5109 write-region-annotate-functions and merging the lists they return.
5110 If one of these functions switches to a different buffer, we assume
5111 that buffer contains altered text. Therefore, the caller must
5112 make sure to restore the current buffer in all cases,
5113 as save-excursion would do. */
5115 static Lisp_Object
5116 build_annotations (Lisp_Object start, Lisp_Object end)
5118 Lisp_Object annotations;
5119 Lisp_Object p, res;
5120 struct gcpro gcpro1, gcpro2;
5121 Lisp_Object original_buffer;
5122 int i;
5123 bool used_global = 0;
5125 XSETBUFFER (original_buffer, current_buffer);
5127 annotations = Qnil;
5128 p = Vwrite_region_annotate_functions;
5129 GCPRO2 (annotations, p);
5130 while (CONSP (p))
5132 struct buffer *given_buffer = current_buffer;
5133 if (EQ (Qt, XCAR (p)) && !used_global)
5134 { /* Use the global value of the hook. */
5135 Lisp_Object arg[2];
5136 used_global = 1;
5137 arg[0] = Fdefault_value (Qwrite_region_annotate_functions);
5138 arg[1] = XCDR (p);
5139 p = Fappend (2, arg);
5140 continue;
5142 Vwrite_region_annotations_so_far = annotations;
5143 res = call2 (XCAR (p), start, end);
5144 /* If the function makes a different buffer current,
5145 assume that means this buffer contains altered text to be output.
5146 Reset START and END from the buffer bounds
5147 and discard all previous annotations because they should have
5148 been dealt with by this function. */
5149 if (current_buffer != given_buffer)
5151 Vwrite_region_annotation_buffers
5152 = Fcons (Fcurrent_buffer (),
5153 Vwrite_region_annotation_buffers);
5154 XSETFASTINT (start, BEGV);
5155 XSETFASTINT (end, ZV);
5156 annotations = Qnil;
5158 Flength (res); /* Check basic validity of return value */
5159 annotations = merge (annotations, res, Qcar_less_than_car);
5160 p = XCDR (p);
5163 /* Now do the same for annotation functions implied by the file-format */
5164 if (auto_saving && (!EQ (BVAR (current_buffer, auto_save_file_format), Qt)))
5165 p = BVAR (current_buffer, auto_save_file_format);
5166 else
5167 p = BVAR (current_buffer, file_format);
5168 for (i = 0; CONSP (p); p = XCDR (p), ++i)
5170 struct buffer *given_buffer = current_buffer;
5172 Vwrite_region_annotations_so_far = annotations;
5174 /* Value is either a list of annotations or nil if the function
5175 has written annotations to a temporary buffer, which is now
5176 current. */
5177 res = call5 (Qformat_annotate_function, XCAR (p), start, end,
5178 original_buffer, make_number (i));
5179 if (current_buffer != given_buffer)
5181 XSETFASTINT (start, BEGV);
5182 XSETFASTINT (end, ZV);
5183 annotations = Qnil;
5186 if (CONSP (res))
5187 annotations = merge (annotations, res, Qcar_less_than_car);
5190 UNGCPRO;
5191 return annotations;
5195 /* Write to descriptor DESC the NCHARS chars starting at POS of STRING.
5196 If STRING is nil, POS is the character position in the current buffer.
5197 Intersperse with them the annotations from *ANNOT
5198 which fall within the range of POS to POS + NCHARS,
5199 each at its appropriate position.
5201 We modify *ANNOT by discarding elements as we use them up.
5203 Return true if successful. */
5205 static bool
5206 a_write (int desc, Lisp_Object string, ptrdiff_t pos,
5207 ptrdiff_t nchars, Lisp_Object *annot,
5208 struct coding_system *coding)
5210 Lisp_Object tem;
5211 ptrdiff_t nextpos;
5212 ptrdiff_t lastpos = pos + nchars;
5214 while (NILP (*annot) || CONSP (*annot))
5216 tem = Fcar_safe (Fcar (*annot));
5217 nextpos = pos - 1;
5218 if (INTEGERP (tem))
5219 nextpos = XFASTINT (tem);
5221 /* If there are no more annotations in this range,
5222 output the rest of the range all at once. */
5223 if (! (nextpos >= pos && nextpos <= lastpos))
5224 return e_write (desc, string, pos, lastpos, coding);
5226 /* Output buffer text up to the next annotation's position. */
5227 if (nextpos > pos)
5229 if (!e_write (desc, string, pos, nextpos, coding))
5230 return 0;
5231 pos = nextpos;
5233 /* Output the annotation. */
5234 tem = Fcdr (Fcar (*annot));
5235 if (STRINGP (tem))
5237 if (!e_write (desc, tem, 0, SCHARS (tem), coding))
5238 return 0;
5240 *annot = Fcdr (*annot);
5242 return 1;
5246 /* Write text in the range START and END into descriptor DESC,
5247 encoding them with coding system CODING. If STRING is nil, START
5248 and END are character positions of the current buffer, else they
5249 are indexes to the string STRING. Return true if successful. */
5251 static bool
5252 e_write (int desc, Lisp_Object string, ptrdiff_t start, ptrdiff_t end,
5253 struct coding_system *coding)
5255 if (STRINGP (string))
5257 start = 0;
5258 end = SCHARS (string);
5261 /* We used to have a code for handling selective display here. But,
5262 now it is handled within encode_coding. */
5264 while (start < end)
5266 if (STRINGP (string))
5268 coding->src_multibyte = SCHARS (string) < SBYTES (string);
5269 if (CODING_REQUIRE_ENCODING (coding))
5271 encode_coding_object (coding, string,
5272 start, string_char_to_byte (string, start),
5273 end, string_char_to_byte (string, end), Qt);
5275 else
5277 coding->dst_object = string;
5278 coding->consumed_char = SCHARS (string);
5279 coding->produced = SBYTES (string);
5282 else
5284 ptrdiff_t start_byte = CHAR_TO_BYTE (start);
5285 ptrdiff_t end_byte = CHAR_TO_BYTE (end);
5287 coding->src_multibyte = (end - start) < (end_byte - start_byte);
5288 if (CODING_REQUIRE_ENCODING (coding))
5290 encode_coding_object (coding, Fcurrent_buffer (),
5291 start, start_byte, end, end_byte, Qt);
5293 else
5295 coding->dst_object = Qnil;
5296 coding->dst_pos_byte = start_byte;
5297 if (start >= GPT || end <= GPT)
5299 coding->consumed_char = end - start;
5300 coding->produced = end_byte - start_byte;
5302 else
5304 coding->consumed_char = GPT - start;
5305 coding->produced = GPT_BYTE - start_byte;
5310 if (coding->produced > 0)
5312 char *buf = (STRINGP (coding->dst_object)
5313 ? SSDATA (coding->dst_object)
5314 : (char *) BYTE_POS_ADDR (coding->dst_pos_byte));
5315 coding->produced -= emacs_write_sig (desc, buf, coding->produced);
5317 if (coding->produced)
5318 return 0;
5320 start += coding->consumed_char;
5323 return 1;
5326 DEFUN ("verify-visited-file-modtime", Fverify_visited_file_modtime,
5327 Sverify_visited_file_modtime, 0, 1, 0,
5328 doc: /* Return t if last mod time of BUF's visited file matches what BUF records.
5329 This means that the file has not been changed since it was visited or saved.
5330 If BUF is omitted or nil, it defaults to the current buffer.
5331 See Info node `(elisp)Modification Time' for more details. */)
5332 (Lisp_Object buf)
5334 struct buffer *b;
5335 struct stat st;
5336 Lisp_Object handler;
5337 Lisp_Object filename;
5338 EMACS_TIME mtime;
5340 if (NILP (buf))
5341 b = current_buffer;
5342 else
5344 CHECK_BUFFER (buf);
5345 b = XBUFFER (buf);
5348 if (!STRINGP (BVAR (b, filename))) return Qt;
5349 if (EMACS_NSECS (b->modtime) == UNKNOWN_MODTIME_NSECS) return Qt;
5351 /* If the file name has special constructs in it,
5352 call the corresponding file handler. */
5353 handler = Ffind_file_name_handler (BVAR (b, filename),
5354 Qverify_visited_file_modtime);
5355 if (!NILP (handler))
5356 return call2 (handler, Qverify_visited_file_modtime, buf);
5358 filename = ENCODE_FILE (BVAR (b, filename));
5360 mtime = (stat (SSDATA (filename), &st) == 0
5361 ? get_stat_mtime (&st)
5362 : time_error_value (errno));
5363 if (EMACS_TIME_EQ (mtime, b->modtime)
5364 && (b->modtime_size < 0
5365 || st.st_size == b->modtime_size))
5366 return Qt;
5367 return Qnil;
5370 DEFUN ("visited-file-modtime", Fvisited_file_modtime,
5371 Svisited_file_modtime, 0, 0, 0,
5372 doc: /* Return the current buffer's recorded visited file modification time.
5373 The value is a list of the form (HIGH LOW USEC PSEC), like the time values that
5374 `file-attributes' returns. If the current buffer has no recorded file
5375 modification time, this function returns 0. If the visited file
5376 doesn't exist, return -1.
5377 See Info node `(elisp)Modification Time' for more details. */)
5378 (void)
5380 int ns = EMACS_NSECS (current_buffer->modtime);
5381 if (ns < 0)
5382 return make_number (UNKNOWN_MODTIME_NSECS - ns);
5383 return make_lisp_time (current_buffer->modtime);
5386 DEFUN ("set-visited-file-modtime", Fset_visited_file_modtime,
5387 Sset_visited_file_modtime, 0, 1, 0,
5388 doc: /* Update buffer's recorded modification time from the visited file's time.
5389 Useful if the buffer was not read from the file normally
5390 or if the file itself has been changed for some known benign reason.
5391 An argument specifies the modification time value to use
5392 \(instead of that of the visited file), in the form of a list
5393 \(HIGH LOW USEC PSEC) or an integer flag as returned by
5394 `visited-file-modtime'. */)
5395 (Lisp_Object time_flag)
5397 if (!NILP (time_flag))
5399 EMACS_TIME mtime;
5400 if (INTEGERP (time_flag))
5402 CHECK_RANGED_INTEGER (time_flag, -1, 0);
5403 mtime = make_emacs_time (0, UNKNOWN_MODTIME_NSECS - XINT (time_flag));
5405 else
5406 mtime = lisp_time_argument (time_flag);
5408 current_buffer->modtime = mtime;
5409 current_buffer->modtime_size = -1;
5411 else
5413 register Lisp_Object filename;
5414 struct stat st;
5415 Lisp_Object handler;
5417 filename = Fexpand_file_name (BVAR (current_buffer, filename), Qnil);
5419 /* If the file name has special constructs in it,
5420 call the corresponding file handler. */
5421 handler = Ffind_file_name_handler (filename, Qset_visited_file_modtime);
5422 if (!NILP (handler))
5423 /* The handler can find the file name the same way we did. */
5424 return call2 (handler, Qset_visited_file_modtime, Qnil);
5426 filename = ENCODE_FILE (filename);
5428 if (stat (SSDATA (filename), &st) >= 0)
5430 current_buffer->modtime = get_stat_mtime (&st);
5431 current_buffer->modtime_size = st.st_size;
5435 return Qnil;
5438 static Lisp_Object
5439 auto_save_error (Lisp_Object error_val)
5441 Lisp_Object args[3], msg;
5442 int i;
5443 struct gcpro gcpro1;
5445 auto_save_error_occurred = 1;
5447 ring_bell (XFRAME (selected_frame));
5449 args[0] = build_string ("Auto-saving %s: %s");
5450 args[1] = BVAR (current_buffer, name);
5451 args[2] = Ferror_message_string (error_val);
5452 msg = Fformat (3, args);
5453 GCPRO1 (msg);
5455 for (i = 0; i < 3; ++i)
5457 if (i == 0)
5458 message3 (msg);
5459 else
5460 message3_nolog (msg);
5461 Fsleep_for (make_number (1), Qnil);
5464 UNGCPRO;
5465 return Qnil;
5468 static Lisp_Object
5469 auto_save_1 (void)
5471 struct stat st;
5472 Lisp_Object modes;
5474 auto_save_mode_bits = 0666;
5476 /* Get visited file's mode to become the auto save file's mode. */
5477 if (! NILP (BVAR (current_buffer, filename)))
5479 if (stat (SSDATA (BVAR (current_buffer, filename)), &st) >= 0)
5480 /* But make sure we can overwrite it later! */
5481 auto_save_mode_bits = (st.st_mode | 0600) & 0777;
5482 else if (modes = Ffile_modes (BVAR (current_buffer, filename)),
5483 INTEGERP (modes))
5484 /* Remote files don't cooperate with stat. */
5485 auto_save_mode_bits = (XINT (modes) | 0600) & 0777;
5488 return
5489 Fwrite_region (Qnil, Qnil, BVAR (current_buffer, auto_save_file_name), Qnil,
5490 NILP (Vauto_save_visited_file_name) ? Qlambda : Qt,
5491 Qnil, Qnil);
5494 struct auto_save_unwind
5496 FILE *stream;
5497 bool auto_raise;
5500 static void
5501 do_auto_save_unwind (void *arg)
5503 struct auto_save_unwind *p = arg;
5504 FILE *stream = p->stream;
5505 minibuffer_auto_raise = p->auto_raise;
5506 auto_saving = 0;
5507 if (stream != NULL)
5509 block_input ();
5510 fclose (stream);
5511 unblock_input ();
5515 static Lisp_Object
5516 do_auto_save_make_dir (Lisp_Object dir)
5518 Lisp_Object result;
5520 auto_saving_dir_umask = 077;
5521 result = call2 (Qmake_directory, dir, Qt);
5522 auto_saving_dir_umask = 0;
5523 return result;
5526 static Lisp_Object
5527 do_auto_save_eh (Lisp_Object ignore)
5529 auto_saving_dir_umask = 0;
5530 return Qnil;
5533 DEFUN ("do-auto-save", Fdo_auto_save, Sdo_auto_save, 0, 2, "",
5534 doc: /* Auto-save all buffers that need it.
5535 This is all buffers that have auto-saving enabled
5536 and are changed since last auto-saved.
5537 Auto-saving writes the buffer into a file
5538 so that your editing is not lost if the system crashes.
5539 This file is not the file you visited; that changes only when you save.
5540 Normally we run the normal hook `auto-save-hook' before saving.
5542 A non-nil NO-MESSAGE argument means do not print any message if successful.
5543 A non-nil CURRENT-ONLY argument means save only current buffer. */)
5544 (Lisp_Object no_message, Lisp_Object current_only)
5546 struct buffer *old = current_buffer, *b;
5547 Lisp_Object tail, buf, hook;
5548 bool auto_saved = 0;
5549 int do_handled_files;
5550 Lisp_Object oquit;
5551 FILE *stream = NULL;
5552 ptrdiff_t count = SPECPDL_INDEX ();
5553 bool orig_minibuffer_auto_raise = minibuffer_auto_raise;
5554 bool old_message_p = 0;
5555 struct auto_save_unwind auto_save_unwind;
5556 struct gcpro gcpro1, gcpro2;
5558 if (max_specpdl_size < specpdl_size + 40)
5559 max_specpdl_size = specpdl_size + 40;
5561 if (minibuf_level)
5562 no_message = Qt;
5564 if (NILP (no_message))
5566 old_message_p = push_message ();
5567 record_unwind_protect_void (pop_message_unwind);
5570 /* Ordinarily don't quit within this function,
5571 but don't make it impossible to quit (in case we get hung in I/O). */
5572 oquit = Vquit_flag;
5573 Vquit_flag = Qnil;
5575 /* No GCPRO needed, because (when it matters) all Lisp_Object variables
5576 point to non-strings reached from Vbuffer_alist. */
5578 hook = intern ("auto-save-hook");
5579 safe_run_hooks (hook);
5581 if (STRINGP (Vauto_save_list_file_name))
5583 Lisp_Object listfile;
5585 listfile = Fexpand_file_name (Vauto_save_list_file_name, Qnil);
5587 /* Don't try to create the directory when shutting down Emacs,
5588 because creating the directory might signal an error, and
5589 that would leave Emacs in a strange state. */
5590 if (!NILP (Vrun_hooks))
5592 Lisp_Object dir;
5593 dir = Qnil;
5594 GCPRO2 (dir, listfile);
5595 dir = Ffile_name_directory (listfile);
5596 if (NILP (Ffile_directory_p (dir)))
5597 internal_condition_case_1 (do_auto_save_make_dir,
5598 dir, Qt,
5599 do_auto_save_eh);
5600 UNGCPRO;
5603 stream = emacs_fopen (SSDATA (listfile), "w");
5606 auto_save_unwind.stream = stream;
5607 auto_save_unwind.auto_raise = minibuffer_auto_raise;
5608 record_unwind_protect_ptr (do_auto_save_unwind, &auto_save_unwind);
5609 minibuffer_auto_raise = 0;
5610 auto_saving = 1;
5611 auto_save_error_occurred = 0;
5613 /* On first pass, save all files that don't have handlers.
5614 On second pass, save all files that do have handlers.
5616 If Emacs is crashing, the handlers may tweak what is causing
5617 Emacs to crash in the first place, and it would be a shame if
5618 Emacs failed to autosave perfectly ordinary files because it
5619 couldn't handle some ange-ftp'd file. */
5621 for (do_handled_files = 0; do_handled_files < 2; do_handled_files++)
5622 for (tail = Vbuffer_alist; CONSP (tail); tail = XCDR (tail))
5624 buf = XCDR (XCAR (tail));
5625 b = XBUFFER (buf);
5627 /* Record all the buffers that have auto save mode
5628 in the special file that lists them. For each of these buffers,
5629 Record visited name (if any) and auto save name. */
5630 if (STRINGP (BVAR (b, auto_save_file_name))
5631 && stream != NULL && do_handled_files == 0)
5633 block_input ();
5634 if (!NILP (BVAR (b, filename)))
5636 fwrite (SDATA (BVAR (b, filename)), 1,
5637 SBYTES (BVAR (b, filename)), stream);
5639 putc ('\n', stream);
5640 fwrite (SDATA (BVAR (b, auto_save_file_name)), 1,
5641 SBYTES (BVAR (b, auto_save_file_name)), stream);
5642 putc ('\n', stream);
5643 unblock_input ();
5646 if (!NILP (current_only)
5647 && b != current_buffer)
5648 continue;
5650 /* Don't auto-save indirect buffers.
5651 The base buffer takes care of it. */
5652 if (b->base_buffer)
5653 continue;
5655 /* Check for auto save enabled
5656 and file changed since last auto save
5657 and file changed since last real save. */
5658 if (STRINGP (BVAR (b, auto_save_file_name))
5659 && BUF_SAVE_MODIFF (b) < BUF_MODIFF (b)
5660 && BUF_AUTOSAVE_MODIFF (b) < BUF_MODIFF (b)
5661 /* -1 means we've turned off autosaving for a while--see below. */
5662 && XINT (BVAR (b, save_length)) >= 0
5663 && (do_handled_files
5664 || NILP (Ffind_file_name_handler (BVAR (b, auto_save_file_name),
5665 Qwrite_region))))
5667 EMACS_TIME before_time = current_emacs_time ();
5668 EMACS_TIME after_time;
5670 /* If we had a failure, don't try again for 20 minutes. */
5671 if (b->auto_save_failure_time > 0
5672 && EMACS_SECS (before_time) - b->auto_save_failure_time < 1200)
5673 continue;
5675 set_buffer_internal (b);
5676 if (NILP (Vauto_save_include_big_deletions)
5677 && (XFASTINT (BVAR (b, save_length)) * 10
5678 > (BUF_Z (b) - BUF_BEG (b)) * 13)
5679 /* A short file is likely to change a large fraction;
5680 spare the user annoying messages. */
5681 && XFASTINT (BVAR (b, save_length)) > 5000
5682 /* These messages are frequent and annoying for `*mail*'. */
5683 && !EQ (BVAR (b, filename), Qnil)
5684 && NILP (no_message))
5686 /* It has shrunk too much; turn off auto-saving here. */
5687 minibuffer_auto_raise = orig_minibuffer_auto_raise;
5688 message_with_string ("Buffer %s has shrunk a lot; auto save disabled in that buffer until next real save",
5689 BVAR (b, name), 1);
5690 minibuffer_auto_raise = 0;
5691 /* Turn off auto-saving until there's a real save,
5692 and prevent any more warnings. */
5693 XSETINT (BVAR (b, save_length), -1);
5694 Fsleep_for (make_number (1), Qnil);
5695 continue;
5697 if (!auto_saved && NILP (no_message))
5698 message1 ("Auto-saving...");
5699 internal_condition_case (auto_save_1, Qt, auto_save_error);
5700 auto_saved = 1;
5701 BUF_AUTOSAVE_MODIFF (b) = BUF_MODIFF (b);
5702 XSETFASTINT (BVAR (current_buffer, save_length), Z - BEG);
5703 set_buffer_internal (old);
5705 after_time = current_emacs_time ();
5707 /* If auto-save took more than 60 seconds,
5708 assume it was an NFS failure that got a timeout. */
5709 if (EMACS_SECS (after_time) - EMACS_SECS (before_time) > 60)
5710 b->auto_save_failure_time = EMACS_SECS (after_time);
5714 /* Prevent another auto save till enough input events come in. */
5715 record_auto_save ();
5717 if (auto_saved && NILP (no_message))
5719 if (old_message_p)
5721 /* If we are going to restore an old message,
5722 give time to read ours. */
5723 sit_for (make_number (1), 0, 0);
5724 restore_message ();
5726 else if (!auto_save_error_occurred)
5727 /* Don't overwrite the error message if an error occurred.
5728 If we displayed a message and then restored a state
5729 with no message, leave a "done" message on the screen. */
5730 message1 ("Auto-saving...done");
5733 Vquit_flag = oquit;
5735 /* This restores the message-stack status. */
5736 unbind_to (count, Qnil);
5737 return Qnil;
5740 DEFUN ("set-buffer-auto-saved", Fset_buffer_auto_saved,
5741 Sset_buffer_auto_saved, 0, 0, 0,
5742 doc: /* Mark current buffer as auto-saved with its current text.
5743 No auto-save file will be written until the buffer changes again. */)
5744 (void)
5746 /* FIXME: This should not be called in indirect buffers, since
5747 they're not autosaved. */
5748 BUF_AUTOSAVE_MODIFF (current_buffer) = MODIFF;
5749 XSETFASTINT (BVAR (current_buffer, save_length), Z - BEG);
5750 current_buffer->auto_save_failure_time = 0;
5751 return Qnil;
5754 DEFUN ("clear-buffer-auto-save-failure", Fclear_buffer_auto_save_failure,
5755 Sclear_buffer_auto_save_failure, 0, 0, 0,
5756 doc: /* Clear any record of a recent auto-save failure in the current buffer. */)
5757 (void)
5759 current_buffer->auto_save_failure_time = 0;
5760 return Qnil;
5763 DEFUN ("recent-auto-save-p", Frecent_auto_save_p, Srecent_auto_save_p,
5764 0, 0, 0,
5765 doc: /* Return t if current buffer has been auto-saved recently.
5766 More precisely, if it has been auto-saved since last read from or saved
5767 in the visited file. If the buffer has no visited file,
5768 then any auto-save counts as "recent". */)
5769 (void)
5771 /* FIXME: maybe we should return nil for indirect buffers since
5772 they're never autosaved. */
5773 return (SAVE_MODIFF < BUF_AUTOSAVE_MODIFF (current_buffer) ? Qt : Qnil);
5776 /* Reading and completing file names */
5778 DEFUN ("next-read-file-uses-dialog-p", Fnext_read_file_uses_dialog_p,
5779 Snext_read_file_uses_dialog_p, 0, 0, 0,
5780 doc: /* Return t if a call to `read-file-name' will use a dialog.
5781 The return value is only relevant for a call to `read-file-name' that happens
5782 before any other event (mouse or keypress) is handled. */)
5783 (void)
5785 #if defined (USE_MOTIF) || defined (HAVE_NTGUI) || defined (USE_GTK) \
5786 || defined (HAVE_NS)
5787 if ((NILP (last_nonmenu_event) || CONSP (last_nonmenu_event))
5788 && use_dialog_box
5789 && use_file_dialog
5790 && window_system_available (SELECTED_FRAME ()))
5791 return Qt;
5792 #endif
5793 return Qnil;
5796 Lisp_Object
5797 Fread_file_name (Lisp_Object prompt, Lisp_Object dir, Lisp_Object default_filename, Lisp_Object mustmatch, Lisp_Object initial, Lisp_Object predicate)
5799 struct gcpro gcpro1;
5800 Lisp_Object args[7];
5802 GCPRO1 (default_filename);
5803 args[0] = intern ("read-file-name");
5804 args[1] = prompt;
5805 args[2] = dir;
5806 args[3] = default_filename;
5807 args[4] = mustmatch;
5808 args[5] = initial;
5809 args[6] = predicate;
5810 RETURN_UNGCPRO (Ffuncall (7, args));
5814 void
5815 init_fileio (void)
5817 valid_timestamp_file_system = 0;
5820 void
5821 syms_of_fileio (void)
5823 DEFSYM (Qoperations, "operations");
5824 DEFSYM (Qexpand_file_name, "expand-file-name");
5825 DEFSYM (Qsubstitute_in_file_name, "substitute-in-file-name");
5826 DEFSYM (Qdirectory_file_name, "directory-file-name");
5827 DEFSYM (Qfile_name_directory, "file-name-directory");
5828 DEFSYM (Qfile_name_nondirectory, "file-name-nondirectory");
5829 DEFSYM (Qunhandled_file_name_directory, "unhandled-file-name-directory");
5830 DEFSYM (Qfile_name_as_directory, "file-name-as-directory");
5831 DEFSYM (Qcopy_file, "copy-file");
5832 DEFSYM (Qmake_directory_internal, "make-directory-internal");
5833 DEFSYM (Qmake_directory, "make-directory");
5834 DEFSYM (Qdelete_directory_internal, "delete-directory-internal");
5835 DEFSYM (Qdelete_file, "delete-file");
5836 DEFSYM (Qrename_file, "rename-file");
5837 DEFSYM (Qadd_name_to_file, "add-name-to-file");
5838 DEFSYM (Qmake_symbolic_link, "make-symbolic-link");
5839 DEFSYM (Qfile_exists_p, "file-exists-p");
5840 DEFSYM (Qfile_executable_p, "file-executable-p");
5841 DEFSYM (Qfile_readable_p, "file-readable-p");
5842 DEFSYM (Qfile_writable_p, "file-writable-p");
5843 DEFSYM (Qfile_symlink_p, "file-symlink-p");
5844 DEFSYM (Qaccess_file, "access-file");
5845 DEFSYM (Qfile_directory_p, "file-directory-p");
5846 DEFSYM (Qfile_regular_p, "file-regular-p");
5847 DEFSYM (Qfile_accessible_directory_p, "file-accessible-directory-p");
5848 DEFSYM (Qfile_modes, "file-modes");
5849 DEFSYM (Qset_file_modes, "set-file-modes");
5850 DEFSYM (Qset_file_times, "set-file-times");
5851 DEFSYM (Qfile_selinux_context, "file-selinux-context");
5852 DEFSYM (Qset_file_selinux_context, "set-file-selinux-context");
5853 DEFSYM (Qfile_acl, "file-acl");
5854 DEFSYM (Qset_file_acl, "set-file-acl");
5855 DEFSYM (Qfile_newer_than_file_p, "file-newer-than-file-p");
5856 DEFSYM (Qinsert_file_contents, "insert-file-contents");
5857 DEFSYM (Qchoose_write_coding_system, "choose-write-coding-system");
5858 DEFSYM (Qwrite_region, "write-region");
5859 DEFSYM (Qverify_visited_file_modtime, "verify-visited-file-modtime");
5860 DEFSYM (Qset_visited_file_modtime, "set-visited-file-modtime");
5861 DEFSYM (Qauto_save_coding, "auto-save-coding");
5863 DEFSYM (Qfile_name_history, "file-name-history");
5864 Fset (Qfile_name_history, Qnil);
5866 DEFSYM (Qfile_error, "file-error");
5867 DEFSYM (Qfile_already_exists, "file-already-exists");
5868 DEFSYM (Qfile_date_error, "file-date-error");
5869 DEFSYM (Qfile_notify_error, "file-notify-error");
5870 DEFSYM (Qexcl, "excl");
5872 DEFVAR_LISP ("file-name-coding-system", Vfile_name_coding_system,
5873 doc: /* Coding system for encoding file names.
5874 If it is nil, `default-file-name-coding-system' (which see) is used. */);
5875 Vfile_name_coding_system = Qnil;
5877 DEFVAR_LISP ("default-file-name-coding-system",
5878 Vdefault_file_name_coding_system,
5879 doc: /* Default coding system for encoding file names.
5880 This variable is used only when `file-name-coding-system' is nil.
5882 This variable is set/changed by the command `set-language-environment'.
5883 User should not set this variable manually,
5884 instead use `file-name-coding-system' to get a constant encoding
5885 of file names regardless of the current language environment. */);
5886 Vdefault_file_name_coding_system = Qnil;
5888 DEFSYM (Qformat_decode, "format-decode");
5889 DEFSYM (Qformat_annotate_function, "format-annotate-function");
5890 DEFSYM (Qafter_insert_file_set_coding, "after-insert-file-set-coding");
5891 DEFSYM (Qcar_less_than_car, "car-less-than-car");
5893 Fput (Qfile_error, Qerror_conditions,
5894 Fpurecopy (list2 (Qfile_error, Qerror)));
5895 Fput (Qfile_error, Qerror_message,
5896 build_pure_c_string ("File error"));
5898 Fput (Qfile_already_exists, Qerror_conditions,
5899 Fpurecopy (list3 (Qfile_already_exists, Qfile_error, Qerror)));
5900 Fput (Qfile_already_exists, Qerror_message,
5901 build_pure_c_string ("File already exists"));
5903 Fput (Qfile_date_error, Qerror_conditions,
5904 Fpurecopy (list3 (Qfile_date_error, Qfile_error, Qerror)));
5905 Fput (Qfile_date_error, Qerror_message,
5906 build_pure_c_string ("Cannot set file date"));
5908 Fput (Qfile_notify_error, Qerror_conditions,
5909 Fpurecopy (list3 (Qfile_notify_error, Qfile_error, Qerror)));
5910 Fput (Qfile_notify_error, Qerror_message,
5911 build_pure_c_string ("File notification error"));
5913 DEFVAR_LISP ("file-name-handler-alist", Vfile_name_handler_alist,
5914 doc: /* Alist of elements (REGEXP . HANDLER) for file names handled specially.
5915 If a file name matches REGEXP, all I/O on that file is done by calling
5916 HANDLER. If a file name matches more than one handler, the handler
5917 whose match starts last in the file name gets precedence. The
5918 function `find-file-name-handler' checks this list for a handler for
5919 its argument.
5921 HANDLER should be a function. The first argument given to it is the
5922 name of the I/O primitive to be handled; the remaining arguments are
5923 the arguments that were passed to that primitive. For example, if you
5924 do (file-exists-p FILENAME) and FILENAME is handled by HANDLER, then
5925 HANDLER is called like this:
5927 (funcall HANDLER 'file-exists-p FILENAME)
5929 Note that HANDLER must be able to handle all I/O primitives; if it has
5930 nothing special to do for a primitive, it should reinvoke the
5931 primitive to handle the operation \"the usual way\".
5932 See Info node `(elisp)Magic File Names' for more details. */);
5933 Vfile_name_handler_alist = Qnil;
5935 DEFVAR_LISP ("set-auto-coding-function",
5936 Vset_auto_coding_function,
5937 doc: /* If non-nil, a function to call to decide a coding system of file.
5938 Two arguments are passed to this function: the file name
5939 and the length of a file contents following the point.
5940 This function should return a coding system to decode the file contents.
5941 It should check the file name against `auto-coding-alist'.
5942 If no coding system is decided, it should check a coding system
5943 specified in the heading lines with the format:
5944 -*- ... coding: CODING-SYSTEM; ... -*-
5945 or local variable spec of the tailing lines with `coding:' tag. */);
5946 Vset_auto_coding_function = Qnil;
5948 DEFVAR_LISP ("after-insert-file-functions", Vafter_insert_file_functions,
5949 doc: /* A list of functions to be called at the end of `insert-file-contents'.
5950 Each is passed one argument, the number of characters inserted,
5951 with point at the start of the inserted text. Each function
5952 should leave point the same, and return the new character count.
5953 If `insert-file-contents' is intercepted by a handler from
5954 `file-name-handler-alist', that handler is responsible for calling the
5955 functions in `after-insert-file-functions' if appropriate. */);
5956 Vafter_insert_file_functions = Qnil;
5958 DEFVAR_LISP ("write-region-annotate-functions", Vwrite_region_annotate_functions,
5959 doc: /* A list of functions to be called at the start of `write-region'.
5960 Each is passed two arguments, START and END as for `write-region'.
5961 These are usually two numbers but not always; see the documentation
5962 for `write-region'. The function should return a list of pairs
5963 of the form (POSITION . STRING), consisting of strings to be effectively
5964 inserted at the specified positions of the file being written (1 means to
5965 insert before the first byte written). The POSITIONs must be sorted into
5966 increasing order.
5968 If there are several annotation functions, the lists returned by these
5969 functions are merged destructively. As each annotation function runs,
5970 the variable `write-region-annotations-so-far' contains a list of all
5971 annotations returned by previous annotation functions.
5973 An annotation function can return with a different buffer current.
5974 Doing so removes the annotations returned by previous functions, and
5975 resets START and END to `point-min' and `point-max' of the new buffer.
5977 After `write-region' completes, Emacs calls the function stored in
5978 `write-region-post-annotation-function', once for each buffer that was
5979 current when building the annotations (i.e., at least once), with that
5980 buffer current. */);
5981 Vwrite_region_annotate_functions = Qnil;
5982 DEFSYM (Qwrite_region_annotate_functions, "write-region-annotate-functions");
5984 DEFVAR_LISP ("write-region-post-annotation-function",
5985 Vwrite_region_post_annotation_function,
5986 doc: /* Function to call after `write-region' completes.
5987 The function is called with no arguments. If one or more of the
5988 annotation functions in `write-region-annotate-functions' changed the
5989 current buffer, the function stored in this variable is called for
5990 each of those additional buffers as well, in addition to the original
5991 buffer. The relevant buffer is current during each function call. */);
5992 Vwrite_region_post_annotation_function = Qnil;
5993 staticpro (&Vwrite_region_annotation_buffers);
5995 DEFVAR_LISP ("write-region-annotations-so-far",
5996 Vwrite_region_annotations_so_far,
5997 doc: /* When an annotation function is called, this holds the previous annotations.
5998 These are the annotations made by other annotation functions
5999 that were already called. See also `write-region-annotate-functions'. */);
6000 Vwrite_region_annotations_so_far = Qnil;
6002 DEFVAR_LISP ("inhibit-file-name-handlers", Vinhibit_file_name_handlers,
6003 doc: /* A list of file name handlers that temporarily should not be used.
6004 This applies only to the operation `inhibit-file-name-operation'. */);
6005 Vinhibit_file_name_handlers = Qnil;
6007 DEFVAR_LISP ("inhibit-file-name-operation", Vinhibit_file_name_operation,
6008 doc: /* The operation for which `inhibit-file-name-handlers' is applicable. */);
6009 Vinhibit_file_name_operation = Qnil;
6011 DEFVAR_LISP ("auto-save-list-file-name", Vauto_save_list_file_name,
6012 doc: /* File name in which we write a list of all auto save file names.
6013 This variable is initialized automatically from `auto-save-list-file-prefix'
6014 shortly after Emacs reads your init file, if you have not yet given it
6015 a non-nil value. */);
6016 Vauto_save_list_file_name = Qnil;
6018 DEFVAR_LISP ("auto-save-visited-file-name", Vauto_save_visited_file_name,
6019 doc: /* Non-nil says auto-save a buffer in the file it is visiting, when practical.
6020 Normally auto-save files are written under other names. */);
6021 Vauto_save_visited_file_name = Qnil;
6023 DEFVAR_LISP ("auto-save-include-big-deletions", Vauto_save_include_big_deletions,
6024 doc: /* If non-nil, auto-save even if a large part of the text is deleted.
6025 If nil, deleting a substantial portion of the text disables auto-save
6026 in the buffer; this is the default behavior, because the auto-save
6027 file is usually more useful if it contains the deleted text. */);
6028 Vauto_save_include_big_deletions = Qnil;
6030 /* fsync can be a significant performance hit. Often it doesn't
6031 suffice to make the file-save operation survive a crash. For
6032 batch scripts, which are typically part of larger shell commands
6033 that don't fsync other files, its effect on performance can be
6034 significant so its utility is particularly questionable.
6035 Hence, for now by default fsync is used only when interactive.
6037 For more on why fsync often fails to work on today's hardware, see:
6038 Zheng M et al. Understanding the robustness of SSDs under power fault.
6039 11th USENIX Conf. on File and Storage Technologies, 2013 (FAST '13), 271-84
6040 http://www.usenix.org/system/files/conference/fast13/fast13-final80.pdf
6042 For more on why fsync does not suffice even if it works properly, see:
6043 Roche X. Necessary step(s) to synchronize filename operations on disk.
6044 Austin Group Defect 672, 2013-03-19
6045 http://austingroupbugs.net/view.php?id=672 */
6046 DEFVAR_BOOL ("write-region-inhibit-fsync", write_region_inhibit_fsync,
6047 doc: /* Non-nil means don't call fsync in `write-region'.
6048 This variable affects calls to `write-region' as well as save commands.
6049 Setting this to nil may avoid data loss if the system loses power or
6050 the operating system crashes. */);
6051 write_region_inhibit_fsync = noninteractive;
6053 DEFVAR_BOOL ("delete-by-moving-to-trash", delete_by_moving_to_trash,
6054 doc: /* Specifies whether to use the system's trash can.
6055 When non-nil, certain file deletion commands use the function
6056 `move-file-to-trash' instead of deleting files outright.
6057 This includes interactive calls to `delete-file' and
6058 `delete-directory' and the Dired deletion commands. */);
6059 delete_by_moving_to_trash = 0;
6060 Qdelete_by_moving_to_trash = intern_c_string ("delete-by-moving-to-trash");
6062 DEFSYM (Qmove_file_to_trash, "move-file-to-trash");
6063 DEFSYM (Qcopy_directory, "copy-directory");
6064 DEFSYM (Qdelete_directory, "delete-directory");
6066 defsubr (&Sfind_file_name_handler);
6067 defsubr (&Sfile_name_directory);
6068 defsubr (&Sfile_name_nondirectory);
6069 defsubr (&Sunhandled_file_name_directory);
6070 defsubr (&Sfile_name_as_directory);
6071 defsubr (&Sdirectory_file_name);
6072 defsubr (&Smake_temp_name);
6073 defsubr (&Sexpand_file_name);
6074 defsubr (&Ssubstitute_in_file_name);
6075 defsubr (&Scopy_file);
6076 defsubr (&Smake_directory_internal);
6077 defsubr (&Sdelete_directory_internal);
6078 defsubr (&Sdelete_file);
6079 defsubr (&Srename_file);
6080 defsubr (&Sadd_name_to_file);
6081 defsubr (&Smake_symbolic_link);
6082 defsubr (&Sfile_name_absolute_p);
6083 defsubr (&Sfile_exists_p);
6084 defsubr (&Sfile_executable_p);
6085 defsubr (&Sfile_readable_p);
6086 defsubr (&Sfile_writable_p);
6087 defsubr (&Saccess_file);
6088 defsubr (&Sfile_symlink_p);
6089 defsubr (&Sfile_directory_p);
6090 defsubr (&Sfile_accessible_directory_p);
6091 defsubr (&Sfile_regular_p);
6092 defsubr (&Sfile_modes);
6093 defsubr (&Sset_file_modes);
6094 defsubr (&Sset_file_times);
6095 defsubr (&Sfile_selinux_context);
6096 defsubr (&Sfile_acl);
6097 defsubr (&Sset_file_acl);
6098 defsubr (&Sset_file_selinux_context);
6099 defsubr (&Sset_default_file_modes);
6100 defsubr (&Sdefault_file_modes);
6101 defsubr (&Sfile_newer_than_file_p);
6102 defsubr (&Sinsert_file_contents);
6103 defsubr (&Schoose_write_coding_system);
6104 defsubr (&Swrite_region);
6105 defsubr (&Scar_less_than_car);
6106 defsubr (&Sverify_visited_file_modtime);
6107 defsubr (&Svisited_file_modtime);
6108 defsubr (&Sset_visited_file_modtime);
6109 defsubr (&Sdo_auto_save);
6110 defsubr (&Sset_buffer_auto_saved);
6111 defsubr (&Sclear_buffer_auto_save_failure);
6112 defsubr (&Srecent_auto_save_p);
6114 defsubr (&Snext_read_file_uses_dialog_p);
6116 #ifdef HAVE_SYNC
6117 defsubr (&Sunix_sync);
6118 #endif