Mercurial > emacs
annotate lisp/rcompile.el @ 24222:8b2cecc76fe3
(tex-mode-map): Replace validate-tex-buffer by
tex-validate-buffer.
(plain-tex-mode, latex-mode, slitex-mode): Likewise.
(tex-validate-buffer): Renamed from validate-tex-buffer. Works
now with recent occur-mode.
(tex-validate-region): Really walk through all Sexps.
(tex-region): Bind shell-dirtrack-verbose.
(tex-file, tex-bibtex-file): Likewise.
author | Markus Rost <rost@math.uni-bielefeld.de> |
---|---|
date | Fri, 29 Jan 1999 22:06:31 +0000 |
parents | 695a4e25eb89 |
children |
rev | line source |
---|---|
13337 | 1 ;;; rcompile.el --- run a compilation on a remote machine |
5813 | 2 |
14169 | 3 ;; Copyright (C) 1993, 1994 Free Software Foundation, Inc. |
5813 | 4 |
5814 | 5 ;; Author: Albert <alon@milcse.rtsg.mot.com> |
6 ;; Maintainer: FSF | |
7 ;; Created: 1993 Oct 6 | |
8 ;; Keywords: tools, processes | |
5813 | 9 |
10 ;; This file is part of GNU Emacs. | |
11 | |
12 ;; GNU Emacs is free software; you can redistribute it and/or modify | |
13 ;; it under the terms of the GNU General Public License as published by | |
14 ;; the Free Software Foundation; either version 2, or (at your option) | |
15 ;; any later version. | |
16 | |
17 ;; GNU Emacs is distributed in the hope that it will be useful, | |
18 ;; but WITHOUT ANY WARRANTY; without even the implied warranty of | |
19 ;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the | |
20 ;; GNU General Public License for more details. | |
21 | |
22 ;; You should have received a copy of the GNU General Public License | |
14169 | 23 ;; along with GNU Emacs; see the file COPYING. If not, write to the |
24 ;; Free Software Foundation, Inc., 59 Temple Place - Suite 330, | |
25 ;; Boston, MA 02111-1307, USA. | |
5813 | 26 |
27 ;;; Commentary: | |
28 | |
14169 | 29 ;; This package is for running a remote compilation and using emacs to parse |
30 ;; the error messages. It works by rsh'ing the compilation to a remote host | |
31 ;; and parsing the output. If the file visited at the time remote-compile was | |
32 ;; called was loaded remotely (ange-ftp), the host and user name are obtained | |
33 ;; by the calling ange-ftp-ftp-name on the current directory. In this case the | |
34 ;; next-error command will also ange-ftp the files over. This is achieved | |
35 ;; automatically because the compilation-parse-errors function uses | |
16427 | 36 ;; default-directory to build its file names. If however the file visited was |
14169 | 37 ;; loaded locally, remote-compile prompts for a host and user and assumes the |
38 ;; files mounted locally (otherwise, how was the visited file loaded). | |
5813 | 39 |
14169 | 40 ;; See the user defined variables section for more info. |
5813 | 41 |
14169 | 42 ;; I was contemplating redefining "compile" to "remote-compile" automatically |
43 ;; if the file visited was ange-ftp'ed but decided against it for now. If you | |
44 ;; feel this is a good idea, let me know and I'll consider it again. | |
5813 | 45 |
14169 | 46 ;; Installation: |
5813 | 47 |
14169 | 48 ;; To use rcompile, you also need to give yourself permission to connect to |
49 ;; the remote host. You do this by putting lines like: | |
5813 | 50 |
14169 | 51 ;; monopoly alon |
52 ;; vme33 | |
53 ;; | |
54 ;; in a file named .rhosts in the home directory (of the remote machine). | |
55 ;; Be careful what you put in this file. A line like: | |
56 ;; | |
57 ;; + | |
58 ;; | |
59 ;; Will allow anyone access to your account without a password. I suggest you | |
60 ;; read the rhosts(5) manual page before you edit this file (if you are not | |
61 ;; familiar with it already) | |
5813 | 62 |
63 ;;; Code: | |
64 | |
65 (provide 'rcompile) | |
66 (require 'compile) | |
67 ;;; The following should not be needed. | |
68 ;;; (eval-when-compile (require 'ange-ftp)) | |
69 | |
70 ;;;; user defined variables | |
71 | |
17414
f967f12c8ec8
Add defgroup's; use defcustom for user vars.
Richard M. Stallman <rms@gnu.org>
parents:
16427
diff
changeset
|
72 (defgroup remote-compile nil |
f967f12c8ec8
Add defgroup's; use defcustom for user vars.
Richard M. Stallman <rms@gnu.org>
parents:
16427
diff
changeset
|
73 "Run a compilation on a remote machine" |
f967f12c8ec8
Add defgroup's; use defcustom for user vars.
Richard M. Stallman <rms@gnu.org>
parents:
16427
diff
changeset
|
74 :group 'processes |
f967f12c8ec8
Add defgroup's; use defcustom for user vars.
Richard M. Stallman <rms@gnu.org>
parents:
16427
diff
changeset
|
75 :group 'tools) |
f967f12c8ec8
Add defgroup's; use defcustom for user vars.
Richard M. Stallman <rms@gnu.org>
parents:
16427
diff
changeset
|
76 |
5813 | 77 |
17414
f967f12c8ec8
Add defgroup's; use defcustom for user vars.
Richard M. Stallman <rms@gnu.org>
parents:
16427
diff
changeset
|
78 (defcustom remote-compile-host nil |
f967f12c8ec8
Add defgroup's; use defcustom for user vars.
Richard M. Stallman <rms@gnu.org>
parents:
16427
diff
changeset
|
79 "*Host for remote compilations." |
f967f12c8ec8
Add defgroup's; use defcustom for user vars.
Richard M. Stallman <rms@gnu.org>
parents:
16427
diff
changeset
|
80 :type '(choice string (const nil)) |
f967f12c8ec8
Add defgroup's; use defcustom for user vars.
Richard M. Stallman <rms@gnu.org>
parents:
16427
diff
changeset
|
81 :group 'remote-compile) |
f967f12c8ec8
Add defgroup's; use defcustom for user vars.
Richard M. Stallman <rms@gnu.org>
parents:
16427
diff
changeset
|
82 |
f967f12c8ec8
Add defgroup's; use defcustom for user vars.
Richard M. Stallman <rms@gnu.org>
parents:
16427
diff
changeset
|
83 (defcustom remote-compile-user nil |
5813 | 84 "User for remote compilations. |
17414
f967f12c8ec8
Add defgroup's; use defcustom for user vars.
Richard M. Stallman <rms@gnu.org>
parents:
16427
diff
changeset
|
85 nil means use the value returned by \\[user-login-name]." |
f967f12c8ec8
Add defgroup's; use defcustom for user vars.
Richard M. Stallman <rms@gnu.org>
parents:
16427
diff
changeset
|
86 :type '(choice string (const nil)) |
f967f12c8ec8
Add defgroup's; use defcustom for user vars.
Richard M. Stallman <rms@gnu.org>
parents:
16427
diff
changeset
|
87 :group 'remote-compile) |
5813 | 88 |
17414
f967f12c8ec8
Add defgroup's; use defcustom for user vars.
Richard M. Stallman <rms@gnu.org>
parents:
16427
diff
changeset
|
89 (defcustom remote-compile-run-before nil |
5813 | 90 "*Command to run before compilation. |
14001
be4f869af091
(remote-compile-run-before): Doc fix.
Karl Heuer <kwzh@gnu.org>
parents:
13337
diff
changeset
|
91 This can be used for setting up environment variables, |
5813 | 92 since rsh does not invoke the shell as a login shell and files like .login |
93 \(tcsh\) and .bash_profile \(bash\) are not run. | |
17414
f967f12c8ec8
Add defgroup's; use defcustom for user vars.
Richard M. Stallman <rms@gnu.org>
parents:
16427
diff
changeset
|
94 nil means run no commands." |
f967f12c8ec8
Add defgroup's; use defcustom for user vars.
Richard M. Stallman <rms@gnu.org>
parents:
16427
diff
changeset
|
95 :type '(choice string (const nil)) |
f967f12c8ec8
Add defgroup's; use defcustom for user vars.
Richard M. Stallman <rms@gnu.org>
parents:
16427
diff
changeset
|
96 :group 'remote-compile) |
5813 | 97 |
17414
f967f12c8ec8
Add defgroup's; use defcustom for user vars.
Richard M. Stallman <rms@gnu.org>
parents:
16427
diff
changeset
|
98 (defcustom remote-compile-prompt-for-host nil |
f967f12c8ec8
Add defgroup's; use defcustom for user vars.
Richard M. Stallman <rms@gnu.org>
parents:
16427
diff
changeset
|
99 "*Non-nil means prompt for host if not available from filename." |
f967f12c8ec8
Add defgroup's; use defcustom for user vars.
Richard M. Stallman <rms@gnu.org>
parents:
16427
diff
changeset
|
100 :type 'boolean |
f967f12c8ec8
Add defgroup's; use defcustom for user vars.
Richard M. Stallman <rms@gnu.org>
parents:
16427
diff
changeset
|
101 :group 'remote-compile) |
5813 | 102 |
17414
f967f12c8ec8
Add defgroup's; use defcustom for user vars.
Richard M. Stallman <rms@gnu.org>
parents:
16427
diff
changeset
|
103 (defcustom remote-compile-prompt-for-user nil |
f967f12c8ec8
Add defgroup's; use defcustom for user vars.
Richard M. Stallman <rms@gnu.org>
parents:
16427
diff
changeset
|
104 "*Non-nil means prompt for user if not available from filename." |
f967f12c8ec8
Add defgroup's; use defcustom for user vars.
Richard M. Stallman <rms@gnu.org>
parents:
16427
diff
changeset
|
105 :type 'boolean |
f967f12c8ec8
Add defgroup's; use defcustom for user vars.
Richard M. Stallman <rms@gnu.org>
parents:
16427
diff
changeset
|
106 :group 'remote-compile) |
5813 | 107 |
108 ;;;; internal variables | |
109 | |
110 ;; History of remote compile hosts and users | |
111 (defvar remote-compile-host-history nil) | |
112 (defvar remote-compile-user-history nil) | |
113 | |
114 | |
115 ;;;; entry point | |
116 | |
117 ;;;###autoload | |
118 (defun remote-compile (host user command) | |
119 "Compile the the current buffer's directory on HOST. Log in as USER. | |
120 See \\[compile]." | |
121 (interactive | |
122 (let ((parsed (or (and (featurep 'ange-ftp) | |
123 (ange-ftp-ftp-name default-directory)))) | |
124 host user command prompt) | |
125 (if parsed | |
126 (setq host (nth 0 parsed) | |
127 user (nth 1 parsed)) | |
128 (setq prompt (if (stringp remote-compile-host) | |
129 (format "Compile on host (default %s): " | |
130 remote-compile-host) | |
131 "Compile on host: ") | |
132 host (if (or remote-compile-prompt-for-host | |
133 (null remote-compile-host)) | |
134 (read-from-minibuffer prompt | |
135 "" nil nil | |
136 'remote-compile-host-history) | |
137 remote-compile-host) | |
138 user (if remote-compile-prompt-for-user | |
139 (read-from-minibuffer (format | |
140 "Compile by user (default %s)" | |
141 (or remote-compile-user | |
142 (user-login-name))) | |
143 "" nil nil | |
144 'remote-compile-user-history) | |
145 remote-compile-user))) | |
146 (setq command (read-from-minibuffer "Compile command: " | |
147 compile-command nil nil | |
148 '(compile-history . 1))) | |
149 (list (if (string= host "") remote-compile-host host) | |
150 (if (string= user "") remote-compile-user user) | |
151 command))) | |
152 (setq compile-command command) | |
153 (cond (user | |
154 (setq remote-compile-user user)) | |
155 ((null remote-compile-user) | |
156 (setq remote-compile-user (user-login-name)))) | |
157 (let* ((parsed (and (featurep 'ange-ftp) | |
158 (ange-ftp-ftp-name default-directory))) | |
159 (compile-command | |
160 (format "%s %s -l %s \"(%scd %s; %s)\"" | |
10453
05e7543bbb96
(remote-compile): Use new global remote-shell-program.
Karl Heuer <kwzh@gnu.org>
parents:
5828
diff
changeset
|
161 remote-shell-program |
5813 | 162 host |
163 remote-compile-user | |
164 (if remote-compile-run-before | |
165 (concat remote-compile-run-before "; ") | |
166 "") | |
167 (if parsed (nth 2 parsed) default-directory) | |
168 compile-command))) | |
169 (setq remote-compile-host host) | |
170 (save-some-buffers nil nil) | |
5827
982503548902
(remote-compile): Set comint-file-name-prefix in the compilation buffer.
Roland McGrath <roland@gnu.org>
parents:
5814
diff
changeset
|
171 (compile-internal compile-command "No more errors") |
982503548902
(remote-compile): Set comint-file-name-prefix in the compilation buffer.
Roland McGrath <roland@gnu.org>
parents:
5814
diff
changeset
|
172 ;; Set comint-file-name-prefix in the compilation buffer so |
982503548902
(remote-compile): Set comint-file-name-prefix in the compilation buffer.
Roland McGrath <roland@gnu.org>
parents:
5814
diff
changeset
|
173 ;; compilation-parse-errors will find referenced files by ange-ftp. |
982503548902
(remote-compile): Set comint-file-name-prefix in the compilation buffer.
Roland McGrath <roland@gnu.org>
parents:
5814
diff
changeset
|
174 (save-excursion |
982503548902
(remote-compile): Set comint-file-name-prefix in the compilation buffer.
Roland McGrath <roland@gnu.org>
parents:
5814
diff
changeset
|
175 (set-buffer compilation-last-buffer) |
17538
695a4e25eb89
(remote-compile): Make comint-file-name-prefix local
Richard M. Stallman <rms@gnu.org>
parents:
17414
diff
changeset
|
176 (make-variable-buffer-local 'comint-file-name-prefix) |
5827
982503548902
(remote-compile): Set comint-file-name-prefix in the compilation buffer.
Roland McGrath <roland@gnu.org>
parents:
5814
diff
changeset
|
177 (setq comint-file-name-prefix (concat "/" host ":"))))) |
5813 | 178 |
179 ;;; rcompile.el ends here |