Mercurial > emacs
annotate lisp/progmodes/executable.el @ 16079:7d48fc0d8a61
(Fencode_time): Remove NEXTSTEP workaround;
we now use our mktime instead.
author | Paul Eggert <eggert@twinsun.com> |
---|---|
date | Tue, 03 Sep 1996 05:24:22 +0000 |
parents | 347aa710b4a9 |
children | 7af77f490166 |
rev | line source |
---|---|
12504 | 1 ;;; executable.el --- base functionality for executable interpreter scripts |
14169 | 2 |
3 ;; Copyright (C) 1994, 1995, 1996 by Free Software Foundation, Inc. | |
12504 | 4 |
5 ;; Author: Daniel.Pfeiffer@Informatik.START.dbp.de, fax (+49 69) 7588-2389 | |
6 ;; Keywords: languages, unix | |
7 | |
8 ;; This file is part of GNU Emacs. | |
9 | |
10 ;; GNU Emacs is free software; you can redistribute it and/or modify | |
11 ;; it under the terms of the GNU General Public License as published by | |
12 ;; the Free Software Foundation; either version 2, or (at your option) | |
13 ;; any later version. | |
14 | |
15 ;; GNU Emacs is distributed in the hope that it will be useful, | |
16 ;; but WITHOUT ANY WARRANTY; without even the implied warranty of | |
17 ;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the | |
18 ;; GNU General Public License for more details. | |
19 | |
20 ;; You should have received a copy of the GNU General Public License | |
14169 | 21 ;; along with GNU Emacs; see the file COPYING. If not, write to the |
22 ;; Free Software Foundation, Inc., 59 Temple Place - Suite 330, | |
23 ;; Boston, MA 02111-1307, USA. | |
12504 | 24 |
25 ;;; Commentary: | |
12818 | 26 |
27 ;; executable.el is used by certain major modes to insert a suitable | |
28 ;; #! line at the beginning of the file, if the file does not already | |
29 ;; have one. | |
30 | |
14722 | 31 ;; Unless it has a magic number, a Unix file with executable mode is passed to |
32 ;; a new instance of the running shell (or to a Bourne shell if a csh is | |
33 ;; running and the file starts with `:'). Only a shell can start such a file, | |
34 ;; exec() cannot, which is why it is important to have a magic number in every | |
35 ;; executable script. Such a magic number is made up by the characters `#!' | |
36 ;; the filename of an interpreter (in COFF, ELF or somesuch format) and one | |
37 ;; optional argument. | |
38 | |
39 ;; This library is for certain major modes like sh-, awk-, perl-, tcl- or | |
40 ;; makefile-mode to insert or update a suitable #! line at the beginning of | |
41 ;; the file, if the file does not already have one and the file is not a | |
42 ;; default file of that interpreter (like .profile or makefile). It also | |
43 ;; makes the file executable if it wasn't, as soon as it's saved. | |
44 | |
45 ;; It also allows debugging scripts, with an adaptation of compile, as far | |
46 ;; as interpreters give out meaningful error messages. | |
47 | |
48 ;; Modes that use this should nconc `executable-map' to the end of their own | |
49 ;; keymap and `executable-font-lock-keywords' to the end of their own font | |
50 ;; lock keywords. Their mode-setting commands should call | |
51 ;; `executable-set-magic'. | |
12812
39e721f1681f
(interpreter-mode-alist): Delete autoload cookie.
Richard M. Stallman <rms@gnu.org>
parents:
12504
diff
changeset
|
52 |
12504 | 53 ;;; Code: |
54 | |
55 (defvar executable-insert 'not-modified | |
56 "*What to do when newly found file has no or wrong magic number: | |
57 nil do nothing | |
58 t insert or update magic number | |
59 other insert or update magic number, but mark as unmodified. | |
60 When the insertion is marked as unmodified, you can save it with \\[write-file] RET. | |
61 This variable is used when `executable-set-magic' is called as a function, | |
62 e.g. when Emacs sets some Un*x interpreter script mode. | |
63 With \\[executable-set-magic], this is always treated as if it were `t'.") | |
64 | |
65 | |
66 (defvar executable-query 'function | |
67 "*If non-`nil', ask user before inserting or changing magic number. | |
68 When this is `function', only ask when called non-interactively.") | |
69 | |
70 | |
71 (defvar executable-magicless-file-regexp "/[Mm]akefile$\\|/\\.\\(z?profile\\|bash_profile\\|z?login\\|bash_login\\|z?logout\\|bash_logout\\|.+shrc\\|esrc\\|rcrc\\|[kz]shenv\\)$" | |
72 "*On files with this kind of name no magic is inserted or changed.") | |
73 | |
74 | |
75 (defvar executable-prefix "#! " | |
76 "*Interpreter magic number prefix inserted when there was no magic number.") | |
77 | |
78 | |
79 | |
80 (defvar executable-chmod 73 | |
81 "*After saving, if the file is not executable, set this mode. | |
82 This mode passed to `set-file-modes' is taken absolutely when negative, or | |
83 relative to the files existing modes. Do nothing if this is nil. | |
84 Typical values are 73 (+x) or -493 (rwxr-xr-x).") | |
85 | |
86 | |
87 (defvar executable-command nil) | |
88 | |
89 (defvar executable-self-display "tail" | |
90 "*Command you use with argument `+2' to make text files self-display. | |
91 Note that the like of `more' doesn't work too well under Emacs \\[shell].") | |
92 | |
93 | |
94 (defvar executable-font-lock-keywords | |
95 '(("\\`#!.*/\\([^ \t\n]+\\)" 1 font-lock-keyword-face t)) | |
96 "*Rules for highlighting executable scripts' magic number. | |
97 This can be included in `font-lock-keywords' by modes that call `executable'.") | |
98 | |
99 | |
100 (defvar executable-error-regexp-alist | |
101 '(;; /bin/xyz: syntax error at line 14: `(' unexpected | |
102 ;; /bin/xyz[5]: syntax error at line 8 : ``' unmatched | |
103 ("^\\(.*[^[/]\\)\\(\\[[0-9]+\\]\\)?: .* error .* line \\([0-9]+\\)" 1 3) | |
104 ;; /bin/xyz[27]: ehco: not found | |
105 ("^\\(.*[^/]\\)\\[\\([0-9]+\\)\\]: .*: " 1 2) | |
106 ;; /bin/xyz: syntax error near unexpected token `)' | |
107 ;; /bin/xyz: /bin/xyz: line 2: `)' | |
108 ("^\\(.*[^/]\\): [^0-9\n]+\n\\1: \\1: line \\([0-9]+\\):" 1 2) | |
109 ;; /usr/bin/awk: syntax error at line 5 of file /bin/xyz | |
110 (" error .* line \\([0-9]+\\) of file \\(.+\\)$" 2 1) | |
111 ;; /usr/bin/awk: calling undefined function toto | |
112 ;; input record number 3, file awktestdata | |
113 ;; source line 4 of file /bin/xyz | |
114 ("^[^ ].+\n\\( .+\n\\)* line \\([0-9]+\\) of file \\(.+\\)$" 3 2) | |
115 ;; makefile:1: *** target pattern contains no `%'. Stop. | |
116 ("^\\(.+\\):\\([0-9]+\\): " 1 2)) | |
117 "Alist of regexps used to match script errors. | |
118 See `compilation-error-regexp-alist'.") | |
119 | |
14111
787061ad42ba
(executable-find): Renamed from `executable'.
Karl Heuer <kwzh@gnu.org>
parents:
14024
diff
changeset
|
120 ;; The C function openp slightly modified would do the trick fine |
787061ad42ba
(executable-find): Renamed from `executable'.
Karl Heuer <kwzh@gnu.org>
parents:
14024
diff
changeset
|
121 (defun executable-find (command) |
15744 | 122 "Search for COMMAND in exec-path and return the absolute file name. |
15750
347aa710b4a9
(executable-find): Doc fix.
Richard M. Stallman <rms@gnu.org>
parents:
15744
diff
changeset
|
123 Return nil if COMMAND is not found anywhere in `exec-path'." |
12504 | 124 (let ((list exec-path) |
14111
787061ad42ba
(executable-find): Renamed from `executable'.
Karl Heuer <kwzh@gnu.org>
parents:
14024
diff
changeset
|
125 file) |
12504 | 126 (while list |
14111
787061ad42ba
(executable-find): Renamed from `executable'.
Karl Heuer <kwzh@gnu.org>
parents:
14024
diff
changeset
|
127 (setq list (if (and (setq file (expand-file-name command (car list))) |
787061ad42ba
(executable-find): Renamed from `executable'.
Karl Heuer <kwzh@gnu.org>
parents:
14024
diff
changeset
|
128 (file-executable-p file) |
787061ad42ba
(executable-find): Renamed from `executable'.
Karl Heuer <kwzh@gnu.org>
parents:
14024
diff
changeset
|
129 (not (file-directory-p file))) |
12504 | 130 nil |
14111
787061ad42ba
(executable-find): Renamed from `executable'.
Karl Heuer <kwzh@gnu.org>
parents:
14024
diff
changeset
|
131 (setq file nil) |
12504 | 132 (cdr list)))) |
14111
787061ad42ba
(executable-find): Renamed from `executable'.
Karl Heuer <kwzh@gnu.org>
parents:
14024
diff
changeset
|
133 file)) |
12504 | 134 |
135 | |
136 (defun executable-chmod () | |
137 "This gets called after saving a file to assure that it be executable. | |
138 You can set the absolute or relative mode in variable `executable-chmod' for | |
139 non-executable files." | |
140 (and executable-chmod | |
141 buffer-file-name | |
142 (or (file-executable-p buffer-file-name) | |
143 (set-file-modes buffer-file-name | |
144 (if (< executable-chmod 0) | |
145 (- executable-chmod) | |
146 (logior executable-chmod | |
147 (file-modes buffer-file-name))))))) | |
148 | |
149 | |
150 (defun executable-interpret (command) | |
151 "Run script with user-specified args, and collect output in a buffer. | |
152 While script runs asynchronously, you can use the \\[next-error] command | |
153 to find the next error." | |
154 (interactive (list (read-string "Run script: " | |
155 (or executable-command | |
156 buffer-file-name)))) | |
157 (require 'compile) | |
158 (save-some-buffers (not compilation-ask-about-save)) | |
159 (make-local-variable 'executable-command) | |
160 (compile-internal (setq executable-command command) | |
161 "No more errors." "Interpretation" | |
162 ;; Give it a simpler regexp to match. | |
163 nil executable-error-regexp-alist)) | |
164 | |
165 | |
166 | |
167 ;;;###autoload | |
14111
787061ad42ba
(executable-find): Renamed from `executable'.
Karl Heuer <kwzh@gnu.org>
parents:
14024
diff
changeset
|
168 (defun executable-set-magic (interpreter &optional argument |
787061ad42ba
(executable-find): Renamed from `executable'.
Karl Heuer <kwzh@gnu.org>
parents:
14024
diff
changeset
|
169 no-query-flag insert-flag) |
12504 | 170 "Set this buffer's interpreter to INTERPRETER with optional ARGUMENT. |
171 The variables `executable-magicless-file-regexp', `executable-prefix', | |
172 `executable-insert', `executable-query' and `executable-chmod' control | |
173 when and how magic numbers are inserted or replaced and scripts made | |
174 executable." | |
14111
787061ad42ba
(executable-find): Renamed from `executable'.
Karl Heuer <kwzh@gnu.org>
parents:
14024
diff
changeset
|
175 (interactive |
787061ad42ba
(executable-find): Renamed from `executable'.
Karl Heuer <kwzh@gnu.org>
parents:
14024
diff
changeset
|
176 (let* ((name (read-string "Name or file name of interpreter: ")) |
787061ad42ba
(executable-find): Renamed from `executable'.
Karl Heuer <kwzh@gnu.org>
parents:
14024
diff
changeset
|
177 (arg (read-string (format "Argument for %s: " name)))) |
787061ad42ba
(executable-find): Renamed from `executable'.
Karl Heuer <kwzh@gnu.org>
parents:
14024
diff
changeset
|
178 (list name arg (eq executable-query 'function) t))) |
12504 | 179 (setq interpreter (if (file-name-absolute-p interpreter) |
180 interpreter | |
14111
787061ad42ba
(executable-find): Renamed from `executable'.
Karl Heuer <kwzh@gnu.org>
parents:
14024
diff
changeset
|
181 (or (executable-find interpreter) |
787061ad42ba
(executable-find): Renamed from `executable'.
Karl Heuer <kwzh@gnu.org>
parents:
14024
diff
changeset
|
182 (error "Interpreter %s not recognized" interpreter))) |
12504 | 183 argument (concat interpreter |
184 (and argument (string< "" argument) " ") | |
185 argument)) | |
186 (or buffer-read-only | |
187 (if buffer-file-name | |
188 (string-match executable-magicless-file-regexp | |
189 buffer-file-name)) | |
14111
787061ad42ba
(executable-find): Renamed from `executable'.
Karl Heuer <kwzh@gnu.org>
parents:
14024
diff
changeset
|
190 (not (or insert-flag executable-insert)) |
12504 | 191 (> (point-min) 1) |
14111
787061ad42ba
(executable-find): Renamed from `executable'.
Karl Heuer <kwzh@gnu.org>
parents:
14024
diff
changeset
|
192 (save-excursion |
787061ad42ba
(executable-find): Renamed from `executable'.
Karl Heuer <kwzh@gnu.org>
parents:
14024
diff
changeset
|
193 (let ((point (point-marker)) |
787061ad42ba
(executable-find): Renamed from `executable'.
Karl Heuer <kwzh@gnu.org>
parents:
14024
diff
changeset
|
194 (buffer-modified-p (buffer-modified-p))) |
787061ad42ba
(executable-find): Renamed from `executable'.
Karl Heuer <kwzh@gnu.org>
parents:
14024
diff
changeset
|
195 (goto-char (point-min)) |
787061ad42ba
(executable-find): Renamed from `executable'.
Karl Heuer <kwzh@gnu.org>
parents:
14024
diff
changeset
|
196 (make-local-hook 'after-save-hook) |
787061ad42ba
(executable-find): Renamed from `executable'.
Karl Heuer <kwzh@gnu.org>
parents:
14024
diff
changeset
|
197 (add-hook 'after-save-hook 'executable-chmod nil t) |
787061ad42ba
(executable-find): Renamed from `executable'.
Karl Heuer <kwzh@gnu.org>
parents:
14024
diff
changeset
|
198 (if (looking-at "#![ \t]*\\(.*\\)$") |
787061ad42ba
(executable-find): Renamed from `executable'.
Karl Heuer <kwzh@gnu.org>
parents:
14024
diff
changeset
|
199 (and (goto-char (match-beginning 1)) |
15560
0ce70615b9e9
(executable-set-magic): Add space at end of line
Richard M. Stallman <rms@gnu.org>
parents:
14722
diff
changeset
|
200 ;; If the line ends in a space, |
0ce70615b9e9
(executable-set-magic): Add space at end of line
Richard M. Stallman <rms@gnu.org>
parents:
14722
diff
changeset
|
201 ;; don't offer to change it. |
0ce70615b9e9
(executable-set-magic): Add space at end of line
Richard M. Stallman <rms@gnu.org>
parents:
14722
diff
changeset
|
202 (not (= (char-after (1- (match-end 1))) ?\ )) |
14111
787061ad42ba
(executable-find): Renamed from `executable'.
Karl Heuer <kwzh@gnu.org>
parents:
14024
diff
changeset
|
203 (not (string= argument |
787061ad42ba
(executable-find): Renamed from `executable'.
Karl Heuer <kwzh@gnu.org>
parents:
14024
diff
changeset
|
204 (buffer-substring (point) (match-end 1)))) |
15560
0ce70615b9e9
(executable-set-magic): Add space at end of line
Richard M. Stallman <rms@gnu.org>
parents:
14722
diff
changeset
|
205 (if (or (not executable-query) no-query-flag |
0ce70615b9e9
(executable-set-magic): Add space at end of line
Richard M. Stallman <rms@gnu.org>
parents:
14722
diff
changeset
|
206 (save-window-excursion |
0ce70615b9e9
(executable-set-magic): Add space at end of line
Richard M. Stallman <rms@gnu.org>
parents:
14722
diff
changeset
|
207 ;; Make buffer visible before question. |
0ce70615b9e9
(executable-set-magic): Add space at end of line
Richard M. Stallman <rms@gnu.org>
parents:
14722
diff
changeset
|
208 (switch-to-buffer (current-buffer)) |
0ce70615b9e9
(executable-set-magic): Add space at end of line
Richard M. Stallman <rms@gnu.org>
parents:
14722
diff
changeset
|
209 (y-or-n-p (concat "Replace magic number by `" |
0ce70615b9e9
(executable-set-magic): Add space at end of line
Richard M. Stallman <rms@gnu.org>
parents:
14722
diff
changeset
|
210 executable-prefix argument "'? ")))) |
0ce70615b9e9
(executable-set-magic): Add space at end of line
Richard M. Stallman <rms@gnu.org>
parents:
14722
diff
changeset
|
211 (progn |
0ce70615b9e9
(executable-set-magic): Add space at end of line
Richard M. Stallman <rms@gnu.org>
parents:
14722
diff
changeset
|
212 (replace-match argument t t nil 1) |
0ce70615b9e9
(executable-set-magic): Add space at end of line
Richard M. Stallman <rms@gnu.org>
parents:
14722
diff
changeset
|
213 (message "Magic number changed to `%s'" |
15678
7a25ca1a7d7d
(executable-set-magic): Don't put a space at end
Karl Heuer <kwzh@gnu.org>
parents:
15560
diff
changeset
|
214 (concat executable-prefix argument))))) |
14111
787061ad42ba
(executable-find): Renamed from `executable'.
Karl Heuer <kwzh@gnu.org>
parents:
14024
diff
changeset
|
215 (insert executable-prefix argument ?\n) |
787061ad42ba
(executable-find): Renamed from `executable'.
Karl Heuer <kwzh@gnu.org>
parents:
14024
diff
changeset
|
216 (message "Magic number changed to `%s'" |
787061ad42ba
(executable-find): Renamed from `executable'.
Karl Heuer <kwzh@gnu.org>
parents:
14024
diff
changeset
|
217 (concat executable-prefix argument))) |
15560
0ce70615b9e9
(executable-set-magic): Add space at end of line
Richard M. Stallman <rms@gnu.org>
parents:
14722
diff
changeset
|
218 ;;; (or insert-flag |
0ce70615b9e9
(executable-set-magic): Add space at end of line
Richard M. Stallman <rms@gnu.org>
parents:
14722
diff
changeset
|
219 ;;; (eq executable-insert t) |
0ce70615b9e9
(executable-set-magic): Add space at end of line
Richard M. Stallman <rms@gnu.org>
parents:
14722
diff
changeset
|
220 ;;; (set-buffer-modified-p buffer-modified-p)) |
0ce70615b9e9
(executable-set-magic): Add space at end of line
Richard M. Stallman <rms@gnu.org>
parents:
14722
diff
changeset
|
221 ))) |
12504 | 222 interpreter) |
223 | |
224 | |
225 | |
226 ;;;###autoload | |
227 (defun executable-self-display () | |
228 "Turn a text file into a self-displaying Un*x command. | |
229 The magic number of such a command displays all lines but itself." | |
230 (interactive) | |
231 (if (eq this-command 'executable-self-display) | |
232 (setq this-command 'executable-set-magic)) | |
233 (executable-set-magic executable-self-display "+2")) | |
234 | |
235 | |
236 | |
237 (provide 'executable) | |
238 | |
239 ;; executable.el ends here |