annotate lisp/resume.el @ 397:a17df2fec87b

*** empty log message ***
author Jim Blandy <jimb@redhat.com>
date Fri, 16 Aug 1991 05:24:51 +0000
parents d6439d1d5d02
children 7cbd4fcd8b0f
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
82
0bc7e3b14f85 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 17
diff changeset
1 ;; Process command line arguments from within a suspended Emacs job
17
1e1bc0842996 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
2 ;; Copyright (C) 1988 Free Software Foundation, Inc.
1e1bc0842996 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
3
1e1bc0842996 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
4 ;; This file is not yet part of GNU Emacs, but soon will be.
1e1bc0842996 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
5
1e1bc0842996 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
6 ;; GNU Emacs is distributed in the hope that it will be useful,
1e1bc0842996 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
7 ;; but WITHOUT ANY WARRANTY. No author or distributor
1e1bc0842996 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
8 ;; accepts responsibility to anyone for the consequences of using it
1e1bc0842996 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
9 ;; or for whether it serves any particular purpose or works at all,
1e1bc0842996 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
10 ;; unless he says so in writing. Refer to the GNU Emacs General Public
1e1bc0842996 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
11 ;; License for full details.
1e1bc0842996 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
12
1e1bc0842996 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
13 ;; Everyone is granted permission to copy, modify and redistribute
1e1bc0842996 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
14 ;; GNU Emacs, but only under the conditions described in the
1e1bc0842996 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
15 ;; GNU Emacs General Public License. A copy of this license is
1e1bc0842996 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
16 ;; supposed to have been given to you along with GNU Emacs so you
1e1bc0842996 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
17 ;; can know your rights and responsibilities. It should be in a
1e1bc0842996 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
18 ;; file named COPYING. Among other things, the copyright notice
1e1bc0842996 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
19 ;; and this notice must be preserved on all copies.
1e1bc0842996 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
20
82
0bc7e3b14f85 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 17
diff changeset
21 ;; Created by: Joe Wells, jbw@bucsf.bu.edu
0bc7e3b14f85 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 17
diff changeset
22 ;; Created on: 1988?
0bc7e3b14f85 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 17
diff changeset
23 ;; Last modified by: Joe Wells, jbw@dodge
0bc7e3b14f85 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 17
diff changeset
24 ;; Last modified on: Thu Jun 14 15:20:41 1990
0bc7e3b14f85 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 17
diff changeset
25 ;; Filename: resume.el
0bc7e3b14f85 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 17
diff changeset
26 ;; Purpose: handle command line arguments when resuming suspended job
0bc7e3b14f85 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 17
diff changeset
27
0bc7e3b14f85 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 17
diff changeset
28 ;; Stephen Gildea suggested bug fix (gildea@bbn.com).
17
1e1bc0842996 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
29 ;; Ideas from Michael DeCorte and other people.
1e1bc0842996 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
30
1e1bc0842996 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
31 ;; For csh users, insert the following alias in your .cshrc file
82
0bc7e3b14f85 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 17
diff changeset
32 ;; (after removing the leading double semicolons, of course):
17
1e1bc0842996 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
33 ;;
82
0bc7e3b14f85 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 17
diff changeset
34 ;;# The following line could be just EMACS_CMD=emacs, but this depends on
17
1e1bc0842996 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
35 ;;# your site.
82
0bc7e3b14f85 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 17
diff changeset
36 ;;if (! $?EMACS_CMD) set EMACS_CMD=emacs
0bc7e3b14f85 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 17
diff changeset
37 ;;set JOBS_FILE=/tmp/jobs.$USER.$$
0bc7e3b14f85 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 17
diff changeset
38 ;;set ARGS_FILE=~/.emacs_args
0bc7e3b14f85 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 17
diff changeset
39 ;;set STOP_PATT='^\[[0-9]*\] *[ +-] Stopped ............ '
0bc7e3b14f85 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 17
diff changeset
40 ;;set SUNVIEW_CMD='emacstool -nw -f emacstool-init -f server-start'
0bc7e3b14f85 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 17
diff changeset
41 ;;set X_CMD=\'\''$EMACS_CMD -i -f server-start'
17
1e1bc0842996 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
42 ;;alias emacs \
1e1bc0842996 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
43 ;;' \\
82
0bc7e3b14f85 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 17
diff changeset
44 ;; jobs >! "$JOBS_FILE" \\
0bc7e3b14f85 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 17
diff changeset
45 ;; && grep "$STOP_PATT$EMACS_CMD" "$JOBS_FILE" >& /dev/null \\
0bc7e3b14f85 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 17
diff changeset
46 ;; && echo `pwd` \!* >! "$ARGS_FILE" && ""fg %$EMACS_CMD \\
0bc7e3b14f85 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 17
diff changeset
47 ;;|| if (! -e ~/.emacs_server || -f ~/.emacs_server) set status=1 \\
0bc7e3b14f85 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 17
diff changeset
48 ;; && emacsclient \!* \\
0bc7e3b14f85 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 17
diff changeset
49 ;;|| @ status=1 - $?DISPLAY && eval "$X_CMD -i \!* &" \\
0bc7e3b14f85 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 17
diff changeset
50 ;;|| @ status=1 - $?WINDOW_PARENT && eval "$SUNVIEW_CMD \!* &" \\
0bc7e3b14f85 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 17
diff changeset
51 ;;|| ""$EMACS_CMD -nw \!* \\
0bc7e3b14f85 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 17
diff changeset
52 ;;'
17
1e1bc0842996 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
53 ;;
1e1bc0842996 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
54 ;; The alias works as follows:
82
0bc7e3b14f85 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 17
diff changeset
55 ;; 1. If there is a suspended Emacs job that is a child of the
17
1e1bc0842996 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
56 ;; current shell, place its arguments in the ~/.emacs_args file and
1e1bc0842996 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
57 ;; resume it.
1e1bc0842996 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
58 ;; 2. Else if the ~/.emacs_server socket has been created, presume an
82
0bc7e3b14f85 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 17
diff changeset
59 ;; Emacs server is running and attempt to connect to it. If no Emacs
17
1e1bc0842996 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
60 ;; server is listening on the socket, this will fail.
1e1bc0842996 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
61 ;; 3. Else if the DISPLAY environment variable is set, presume we are
82
0bc7e3b14f85 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 17
diff changeset
62 ;; running under X Windows and start a new GNU Emacs process in the
0bc7e3b14f85 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 17
diff changeset
63 ;; background as an X client.
17
1e1bc0842996 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
64 ;; 4. Else if the WINDOW_PARENT environment variable is set, presume we
82
0bc7e3b14f85 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 17
diff changeset
65 ;; are running under SunView and start an emacstool process in the
0bc7e3b14f85 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 17
diff changeset
66 ;; background.
0bc7e3b14f85 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 17
diff changeset
67 ;; 5. Else start a regular Emacs process.
17
1e1bc0842996 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
68 ;;
1e1bc0842996 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
69 ;; Notes:
1e1bc0842996 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
70 ;; The output of the "jobs" command is not piped directly into "grep"
1e1bc0842996 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
71 ;; because that would run the "jobs" command in a subshell.
1e1bc0842996 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
72 ;; Before resuming a suspended emacs, the current directory and all
82
0bc7e3b14f85 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 17
diff changeset
73 ;; command line arguments are placed in a file name ~/.emacs_args.
0bc7e3b14f85 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 17
diff changeset
74 ;; The "-nw" switch to Emacs means no windowing system.
17
1e1bc0842996 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
75
82
0bc7e3b14f85 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 17
diff changeset
76 ;; Insert this in your .emacs file:
0bc7e3b14f85 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 17
diff changeset
77 ;;(setq suspend-resume-hook 'resume-process-args)
0bc7e3b14f85 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 17
diff changeset
78 ;;(setq suspend-hook 'empty-args-file)
0bc7e3b14f85 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 17
diff changeset
79 ;;(autoload 'empty-args-file "resume")
0bc7e3b14f85 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 17
diff changeset
80 ;;(autoload 'resume-process-args "resume")
0bc7e3b14f85 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 17
diff changeset
81
0bc7e3b14f85 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 17
diff changeset
82 ;; Finally, put the rest in a file named "resume.el" in a lisp library
0bc7e3b14f85 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 17
diff changeset
83 ;; directory.
0bc7e3b14f85 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 17
diff changeset
84
0bc7e3b14f85 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 17
diff changeset
85 (defvar emacs-args-file (expand-file-name "~/.emacs_args")
17
1e1bc0842996 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
86 "*This file is where arguments are placed for a suspended emacs job.")
1e1bc0842996 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
87
82
0bc7e3b14f85 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 17
diff changeset
88 (defvar emacs-args-buffer " *Command Line Args*"
0bc7e3b14f85 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 17
diff changeset
89 "Buffer that is used by resume-process-args.")
17
1e1bc0842996 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
90
1e1bc0842996 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
91 (defun resume-process-args ()
244
d6439d1d5d02 *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 82
diff changeset
92 "This should be called from inside of `suspend-resume-hook'.
d6439d1d5d02 *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 82
diff changeset
93 This grabs the contents of the file whose name is stored in `emacs-args-file',
d6439d1d5d02 *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 82
diff changeset
94 and processes these arguments like command line options."
82
0bc7e3b14f85 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 17
diff changeset
95 (let ((start-buffer (current-buffer))
0bc7e3b14f85 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 17
diff changeset
96 (args-buffer (get-buffer-create emacs-args-buffer))
0bc7e3b14f85 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 17
diff changeset
97 length args)
17
1e1bc0842996 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
98 (unwind-protect
1e1bc0842996 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
99 (progn
82
0bc7e3b14f85 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 17
diff changeset
100 (set-buffer args-buffer)
17
1e1bc0842996 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
101 (erase-buffer)
82
0bc7e3b14f85 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 17
diff changeset
102 ;; get the contents of emacs-args-file
17
1e1bc0842996 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
103 (condition-case ()
82
0bc7e3b14f85 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 17
diff changeset
104 (let ((result (insert-file-contents emacs-args-file)))
0bc7e3b14f85 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 17
diff changeset
105 (setq length (car (cdr result))))
0bc7e3b14f85 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 17
diff changeset
106 ;; the file doesn't exist, ergo no arguments
0bc7e3b14f85 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 17
diff changeset
107 (file-error
0bc7e3b14f85 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 17
diff changeset
108 (erase-buffer)
0bc7e3b14f85 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 17
diff changeset
109 (setq length 0)))
0bc7e3b14f85 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 17
diff changeset
110 (if (<= length 0)
0bc7e3b14f85 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 17
diff changeset
111 (setq args nil)
0bc7e3b14f85 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 17
diff changeset
112 ;; get the arguments from the buffer
0bc7e3b14f85 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 17
diff changeset
113 (goto-char (point-min))
0bc7e3b14f85 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 17
diff changeset
114 (while (not (eobp))
0bc7e3b14f85 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 17
diff changeset
115 (skip-chars-forward " \t\n")
0bc7e3b14f85 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 17
diff changeset
116 (let ((begin (point)))
0bc7e3b14f85 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 17
diff changeset
117 (skip-chars-forward "^ \t\n")
0bc7e3b14f85 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 17
diff changeset
118 (setq args (cons (buffer-substring begin (point)) args)))
0bc7e3b14f85 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 17
diff changeset
119 (skip-chars-forward " \t\n"))
0bc7e3b14f85 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 17
diff changeset
120 ;; arguments are now in reverse order
0bc7e3b14f85 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 17
diff changeset
121 (setq args (nreverse args))
0bc7e3b14f85 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 17
diff changeset
122 ;; make sure they're not read again
0bc7e3b14f85 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 17
diff changeset
123 (erase-buffer))
0bc7e3b14f85 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 17
diff changeset
124 (write-buffer-to-file (current-buffer) emacs-args-file)
0bc7e3b14f85 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 17
diff changeset
125 ;; if nothing was in buffer, args will be null
0bc7e3b14f85 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 17
diff changeset
126 (or (null args)
0bc7e3b14f85 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 17
diff changeset
127 (setq default-directory (file-name-as-directory (car args))
0bc7e3b14f85 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 17
diff changeset
128 args (cdr args)))
0bc7e3b14f85 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 17
diff changeset
129 ;; actually process the arguments
0bc7e3b14f85 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 17
diff changeset
130 (command-line-1 args))
17
1e1bc0842996 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
131 ;; If the command line args don't result in a find-file, the
82
0bc7e3b14f85 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 17
diff changeset
132 ;; buffer will be left in args-buffer. So we change back to the
17
1e1bc0842996 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
133 ;; original buffer. The reason I don't just use
1e1bc0842996 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
134 ;; (let ((default-directory foo))
1e1bc0842996 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
135 ;; (command-line-1 args))
1e1bc0842996 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
136 ;; in the context of the original buffer is because let does not
1e1bc0842996 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
137 ;; work properly with buffer-local variables.
82
0bc7e3b14f85 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 17
diff changeset
138 (if (eq (current-buffer) args-buffer)
0bc7e3b14f85 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 17
diff changeset
139 (set-buffer start-buffer)))))
0bc7e3b14f85 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 17
diff changeset
140
0bc7e3b14f85 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 17
diff changeset
141 (defun empty-args-file ()
0bc7e3b14f85 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 17
diff changeset
142 "This empties the contents of the file whose name is specified by
244
d6439d1d5d02 *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 82
diff changeset
143 `emacs-args-file'."
82
0bc7e3b14f85 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 17
diff changeset
144 (save-excursion
0bc7e3b14f85 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 17
diff changeset
145 (set-buffer (get-buffer-create emacs-args-buffer))
0bc7e3b14f85 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 17
diff changeset
146 (erase-buffer)
0bc7e3b14f85 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 17
diff changeset
147 (write-buffer-to-file (current-buffer) emacs-args-file)))
0bc7e3b14f85 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 17
diff changeset
148
0bc7e3b14f85 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 17
diff changeset
149 (defun write-buffer-to-file (buffer file)
0bc7e3b14f85 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 17
diff changeset
150 "Writes the contents of BUFFER into FILE, if permissions allow."
0bc7e3b14f85 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 17
diff changeset
151 (if (not (file-writable-p file))
0bc7e3b14f85 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 17
diff changeset
152 (error "No permission to write file %s" file))
0bc7e3b14f85 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 17
diff changeset
153 (save-excursion
0bc7e3b14f85 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 17
diff changeset
154 (set-buffer buffer)
0bc7e3b14f85 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 17
diff changeset
155 (clear-visited-file-modtime)
0bc7e3b14f85 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 17
diff changeset
156 (save-restriction
0bc7e3b14f85 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 17
diff changeset
157 (widen)
0bc7e3b14f85 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 17
diff changeset
158 (write-region (point-min) (point-max) file nil 'quiet))
0bc7e3b14f85 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 17
diff changeset
159 (set-buffer-modified-p nil)))