Mercurial > emacs
annotate lisp/paths.el @ 110035:619b4d494232
Use with-silent-modifications.
* lisp/composite.el (save-buffer-state): Delete, unused.
* lisp/font-lock.el (save-buffer-state): Use with-silent-modifications.
(font-lock-default-fontify-region): Use with-syntax-table.
* lisp/jit-lock.el (with-buffer-unmodified): Remove.
(with-buffer-prepared-for-jit-lock): Use with-silent-modifications.
author | Stefan Monnier <monnier@iro.umontreal.ca> |
---|---|
date | Mon, 30 Aug 2010 15:57:42 +0200 |
parents | 280c8ae2476d |
children | 417b1e4d63cd |
rev | line source |
---|---|
47726
33d53d287ee4
Add "no-byte-compile: t" in first line.
Juanma Barranquero <lekktu@gmail.com>
parents:
43570
diff
changeset
|
1 ;;; paths.el --- define pathnames for use by various Emacs commands -*- no-byte-compile: t -*- |
659
505130d1ddf8
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
444
diff
changeset
|
2 |
96703
eb82d5b4c278
(rmail-spool-directory): Remove settings for systems that are no
Glenn Morris <rgm@gnu.org>
parents:
94678
diff
changeset
|
3 ;; Copyright (C) 1986, 1988, 1994, 1999, 2000, 2001, 2002, 2003, 2004, |
106815 | 4 ;; 2005, 2006, 2007, 2008, 2009, 2010 Free Software Foundation, Inc. |
846
20674ae6bf52
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
814
diff
changeset
|
5 |
807
4f28bd14272c
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
659
diff
changeset
|
6 ;; Maintainer: FSF |
814
38b2499cb3e9
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
807
diff
changeset
|
7 ;; Keywords: internal |
110015
280c8ae2476d
Add "Package:" file headers to denote built-in packages.
Chong Yidong <cyd@stupidchicken.com>
parents:
106837
diff
changeset
|
8 ;; Package: emacs |
807
4f28bd14272c
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
659
diff
changeset
|
9 |
88 | 10 ;; This file is part of GNU Emacs. |
11 | |
94678
ee5932bf781d
Switch to recommended form of GPLv3 permissions notice.
Glenn Morris <rgm@gnu.org>
parents:
93975
diff
changeset
|
12 ;; GNU Emacs is free software: you can redistribute it and/or modify |
88 | 13 ;; it under the terms of the GNU General Public License as published by |
94678
ee5932bf781d
Switch to recommended form of GPLv3 permissions notice.
Glenn Morris <rgm@gnu.org>
parents:
93975
diff
changeset
|
14 ;; the Free Software Foundation, either version 3 of the License, or |
ee5932bf781d
Switch to recommended form of GPLv3 permissions notice.
Glenn Morris <rgm@gnu.org>
parents:
93975
diff
changeset
|
15 ;; (at your option) any later version. |
88 | 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 | |
94678
ee5932bf781d
Switch to recommended form of GPLv3 permissions notice.
Glenn Morris <rgm@gnu.org>
parents:
93975
diff
changeset
|
23 ;; along with GNU Emacs. If not, see <http://www.gnu.org/licenses/>. |
88 | 24 |
807
4f28bd14272c
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
659
diff
changeset
|
25 ;;; Commentary: |
88 | 26 |
27 ;; These are default settings for names of certain files and directories | |
28 ;; that Emacs needs to refer to from time to time. | |
29 | |
30 ;; If these settings are not right, override them with `setq' | |
31 ;; in site-init.el. Do not change this file. | |
32 | |
807
4f28bd14272c
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
659
diff
changeset
|
33 ;;; Code: |
4f28bd14272c
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
659
diff
changeset
|
34 |
25538
d99b8e22ae79
Make some doc strings obey the make-docfile convention.
Dave Love <fx@gnu.org>
parents:
24195
diff
changeset
|
35 ;; Docstrings in this file should, where reasonable, follow the |
104939
82d9b29c48c5
Reformat doc-strings for make-docfile.
Glenn Morris <rgm@gnu.org>
parents:
104712
diff
changeset
|
36 ;; conventions described in make-docfile, so that they get put in the |
25538
d99b8e22ae79
Make some doc strings obey the make-docfile convention.
Dave Love <fx@gnu.org>
parents:
24195
diff
changeset
|
37 ;; DOC file rather than in memory. |
d99b8e22ae79
Make some doc strings obey the make-docfile convention.
Dave Love <fx@gnu.org>
parents:
24195
diff
changeset
|
38 |
30019
918a23f7ac93
(prune-directory-list): New function.
Miles Bader <miles@gnu.org>
parents:
29306
diff
changeset
|
39 (defun prune-directory-list (dirs &optional keep reject) |
104939
82d9b29c48c5
Reformat doc-strings for make-docfile.
Glenn Morris <rgm@gnu.org>
parents:
104712
diff
changeset
|
40 "\ |
82d9b29c48c5
Reformat doc-strings for make-docfile.
Glenn Morris <rgm@gnu.org>
parents:
104712
diff
changeset
|
41 Return a copy of DIRS with all non-existent directories removed. |
30019
918a23f7ac93
(prune-directory-list): New function.
Miles Bader <miles@gnu.org>
parents:
29306
diff
changeset
|
42 The optional argument KEEP is a list of directories to retain even if |
918a23f7ac93
(prune-directory-list): New function.
Miles Bader <miles@gnu.org>
parents:
29306
diff
changeset
|
43 they don't exist, and REJECT is a list of directories to remove from |
918a23f7ac93
(prune-directory-list): New function.
Miles Bader <miles@gnu.org>
parents:
29306
diff
changeset
|
44 DIRS, even if they exist; REJECT takes precedence over KEEP. |
918a23f7ac93
(prune-directory-list): New function.
Miles Bader <miles@gnu.org>
parents:
29306
diff
changeset
|
45 |
918a23f7ac93
(prune-directory-list): New function.
Miles Bader <miles@gnu.org>
parents:
29306
diff
changeset
|
46 Note that membership in REJECT and KEEP is checked using simple string |
64544
7a1446b50929
(prune-directory-list): Fix typos in docstring.
Juanma Barranquero <lekktu@gmail.com>
parents:
64091
diff
changeset
|
47 comparison." |
30019
918a23f7ac93
(prune-directory-list): New function.
Miles Bader <miles@gnu.org>
parents:
29306
diff
changeset
|
48 (apply #'nconc |
918a23f7ac93
(prune-directory-list): New function.
Miles Bader <miles@gnu.org>
parents:
29306
diff
changeset
|
49 (mapcar (lambda (dir) |
918a23f7ac93
(prune-directory-list): New function.
Miles Bader <miles@gnu.org>
parents:
29306
diff
changeset
|
50 (and (not (member dir reject)) |
918a23f7ac93
(prune-directory-list): New function.
Miles Bader <miles@gnu.org>
parents:
29306
diff
changeset
|
51 (or (member dir keep) (file-directory-p dir)) |
918a23f7ac93
(prune-directory-list): New function.
Miles Bader <miles@gnu.org>
parents:
29306
diff
changeset
|
52 (list dir))) |
918a23f7ac93
(prune-directory-list): New function.
Miles Bader <miles@gnu.org>
parents:
29306
diff
changeset
|
53 dirs))) |
918a23f7ac93
(prune-directory-list): New function.
Miles Bader <miles@gnu.org>
parents:
29306
diff
changeset
|
54 |
390 | 55 (defvar Info-default-directory-list |
34573
6620d0fff158
(Info-default-directory-list): If
Eli Zaretskii <eliz@gnu.org>
parents:
30019
diff
changeset
|
56 (let* ((config-dir |
6620d0fff158
(Info-default-directory-list): If
Eli Zaretskii <eliz@gnu.org>
parents:
30019
diff
changeset
|
57 (file-name-as-directory configure-info-directory)) |
6620d0fff158
(Info-default-directory-list): If
Eli Zaretskii <eliz@gnu.org>
parents:
30019
diff
changeset
|
58 (config |
6620d0fff158
(Info-default-directory-list): If
Eli Zaretskii <eliz@gnu.org>
parents:
30019
diff
changeset
|
59 (list config-dir)) |
30019
918a23f7ac93
(prune-directory-list): New function.
Miles Bader <miles@gnu.org>
parents:
29306
diff
changeset
|
60 (unpruned-prefixes |
918a23f7ac93
(prune-directory-list): New function.
Miles Bader <miles@gnu.org>
parents:
29306
diff
changeset
|
61 ;; Directory trees that may not exist at installation time, and |
106837
855f55740303
Fix typos in comments.
Juanma Barranquero <lekktu@gmail.com>
parents:
106815
diff
changeset
|
62 ;; so shouldn't be pruned based on existence. |
30019
918a23f7ac93
(prune-directory-list): New function.
Miles Bader <miles@gnu.org>
parents:
29306
diff
changeset
|
63 '("/usr/local/")) |
918a23f7ac93
(prune-directory-list): New function.
Miles Bader <miles@gnu.org>
parents:
29306
diff
changeset
|
64 (prefixes |
918a23f7ac93
(prune-directory-list): New function.
Miles Bader <miles@gnu.org>
parents:
29306
diff
changeset
|
65 ;; Directory trees in which to look for info subdirectories |
918a23f7ac93
(prune-directory-list): New function.
Miles Bader <miles@gnu.org>
parents:
29306
diff
changeset
|
66 (prune-directory-list '("/usr/local/" "/usr/" "/opt/" "/") |
918a23f7ac93
(prune-directory-list): New function.
Miles Bader <miles@gnu.org>
parents:
29306
diff
changeset
|
67 unpruned-prefixes)) |
918a23f7ac93
(prune-directory-list): New function.
Miles Bader <miles@gnu.org>
parents:
29306
diff
changeset
|
68 (suffixes |
918a23f7ac93
(prune-directory-list): New function.
Miles Bader <miles@gnu.org>
parents:
29306
diff
changeset
|
69 ;; Subdirectories in each directory tree that may contain info |
918a23f7ac93
(prune-directory-list): New function.
Miles Bader <miles@gnu.org>
parents:
29306
diff
changeset
|
70 ;; directories. |
75270
8a31ac700630
(Info-default-directory-list): Change default info dir to
Chong Yidong <cyd@stupidchicken.com>
parents:
74442
diff
changeset
|
71 '("share/" "" "gnu/" "gnu/lib/" "gnu/lib/emacs/" |
34573
6620d0fff158
(Info-default-directory-list): If
Eli Zaretskii <eliz@gnu.org>
parents:
30019
diff
changeset
|
72 "emacs/" "lib/" "lib/emacs/")) |
6620d0fff158
(Info-default-directory-list): If
Eli Zaretskii <eliz@gnu.org>
parents:
30019
diff
changeset
|
73 (standard-info-dirs |
6620d0fff158
(Info-default-directory-list): If
Eli Zaretskii <eliz@gnu.org>
parents:
30019
diff
changeset
|
74 (apply #'nconc |
6620d0fff158
(Info-default-directory-list): If
Eli Zaretskii <eliz@gnu.org>
parents:
30019
diff
changeset
|
75 (mapcar (lambda (pfx) |
6620d0fff158
(Info-default-directory-list): If
Eli Zaretskii <eliz@gnu.org>
parents:
30019
diff
changeset
|
76 (let ((dirs |
6620d0fff158
(Info-default-directory-list): If
Eli Zaretskii <eliz@gnu.org>
parents:
30019
diff
changeset
|
77 (mapcar (lambda (sfx) |
6620d0fff158
(Info-default-directory-list): If
Eli Zaretskii <eliz@gnu.org>
parents:
30019
diff
changeset
|
78 (concat pfx sfx "info/")) |
6620d0fff158
(Info-default-directory-list): If
Eli Zaretskii <eliz@gnu.org>
parents:
30019
diff
changeset
|
79 suffixes))) |
6620d0fff158
(Info-default-directory-list): If
Eli Zaretskii <eliz@gnu.org>
parents:
30019
diff
changeset
|
80 (if (member pfx unpruned-prefixes) |
6620d0fff158
(Info-default-directory-list): If
Eli Zaretskii <eliz@gnu.org>
parents:
30019
diff
changeset
|
81 dirs |
6620d0fff158
(Info-default-directory-list): If
Eli Zaretskii <eliz@gnu.org>
parents:
30019
diff
changeset
|
82 (prune-directory-list dirs config)))) |
6620d0fff158
(Info-default-directory-list): If
Eli Zaretskii <eliz@gnu.org>
parents:
30019
diff
changeset
|
83 prefixes)))) |
75270
8a31ac700630
(Info-default-directory-list): Change default info dir to
Chong Yidong <cyd@stupidchicken.com>
parents:
74442
diff
changeset
|
84 ;; If $(prefix)/share/info is not one of the standard info |
8a31ac700630
(Info-default-directory-list): Change default info dir to
Chong Yidong <cyd@stupidchicken.com>
parents:
74442
diff
changeset
|
85 ;; directories, they are probably installing an experimental |
8a31ac700630
(Info-default-directory-list): Change default info dir to
Chong Yidong <cyd@stupidchicken.com>
parents:
74442
diff
changeset
|
86 ;; version of Emacs, so make sure that experimental version's Info |
8a31ac700630
(Info-default-directory-list): Change default info dir to
Chong Yidong <cyd@stupidchicken.com>
parents:
74442
diff
changeset
|
87 ;; files override the ones in standard directories. |
34573
6620d0fff158
(Info-default-directory-list): If
Eli Zaretskii <eliz@gnu.org>
parents:
30019
diff
changeset
|
88 (if (member config-dir standard-info-dirs) |
34588
55d48e214744
(Info-default-directory-list): Don't delete configure-info-directory
Miles Bader <miles@gnu.org>
parents:
34573
diff
changeset
|
89 (nconc standard-info-dirs config) |
34573
6620d0fff158
(Info-default-directory-list): If
Eli Zaretskii <eliz@gnu.org>
parents:
30019
diff
changeset
|
90 (cons config-dir standard-info-dirs))) |
15458
d4dceb1eaf56
(Info-default-directory-list): Doc fix.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
91 "Default list of directories to search for Info documentation files. |
d4dceb1eaf56
(Info-default-directory-list): Doc fix.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
92 They are searched in the order they are given in the list. |
5405
b8b672fe2075
(Info-default-directory-list): Doc fix.
Richard M. Stallman <rms@gnu.org>
parents:
5396
diff
changeset
|
93 Therefore, the directory of Info files that come with Emacs |
34573
6620d0fff158
(Info-default-directory-list): If
Eli Zaretskii <eliz@gnu.org>
parents:
30019
diff
changeset
|
94 normally should come last (so that local files override standard ones), |
6620d0fff158
(Info-default-directory-list): If
Eli Zaretskii <eliz@gnu.org>
parents:
30019
diff
changeset
|
95 unless Emacs is installed into a non-standard directory. In the latter |
6620d0fff158
(Info-default-directory-list): If
Eli Zaretskii <eliz@gnu.org>
parents:
30019
diff
changeset
|
96 case, the directory of Info files that come with Emacs should be |
6620d0fff158
(Info-default-directory-list): If
Eli Zaretskii <eliz@gnu.org>
parents:
30019
diff
changeset
|
97 first in this list. |
15458
d4dceb1eaf56
(Info-default-directory-list): Doc fix.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
98 |
d4dceb1eaf56
(Info-default-directory-list): Doc fix.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
99 Once Info is started, the list of directories to search |
d4dceb1eaf56
(Info-default-directory-list): Doc fix.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
100 comes from the variable `Info-directory-list'. |
d4dceb1eaf56
(Info-default-directory-list): Doc fix.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
101 This variable `Info-default-directory-list' is used as the default |
29306
6fd90e67194f
(Info-default-directory-list): Doc fix.
Gerd Moellmann <gerd@gnu.org>
parents:
26233
diff
changeset
|
102 for initializing `Info-directory-list' when Info is started, unless |
6fd90e67194f
(Info-default-directory-list): Doc fix.
Gerd Moellmann <gerd@gnu.org>
parents:
26233
diff
changeset
|
103 the environment variable INFOPATH is set.") |
88 | 104 |
57553
6530172cc0bf
(news-directory): Renamed from news-path. Old name alias.
Richard M. Stallman <rms@gnu.org>
parents:
52401
diff
changeset
|
105 (defvar news-directory |
105870
26baacb565b0
* textmodes/tex-mode.el (tex-alt-dvi-print-command)
Dan Nicolaescu <dann@ics.uci.edu>
parents:
105798
diff
changeset
|
106 (purecopy (if (file-exists-p "/usr/spool/news/") |
13806
640ac6d840c1
(rmail-spool-directory): Try /var/spool/mail.
Karl Heuer <kwzh@gnu.org>
parents:
12560
diff
changeset
|
107 "/usr/spool/news/" |
105870
26baacb565b0
* textmodes/tex-mode.el (tex-alt-dvi-print-command)
Dan Nicolaescu <dann@ics.uci.edu>
parents:
105798
diff
changeset
|
108 "/var/spool/news/")) |
88 | 109 "The root directory below which all news files are stored.") |
57584
695a041acf6f
(news-path): Fix previous change.
Richard M. Stallman <rms@gnu.org>
parents:
57553
diff
changeset
|
110 (defvaralias 'news-path 'news-directory) |
88 | 111 |
112 (defvar news-inews-program | |
105870
26baacb565b0
* textmodes/tex-mode.el (tex-alt-dvi-print-command)
Dan Nicolaescu <dann@ics.uci.edu>
parents:
105798
diff
changeset
|
113 (purecopy |
88 | 114 (cond ((file-exists-p "/usr/bin/inews") "/usr/bin/inews") |
115 ((file-exists-p "/usr/local/inews") "/usr/local/inews") | |
116 ((file-exists-p "/usr/local/bin/inews") "/usr/local/bin/inews") | |
15868
6d13c67eb868
(news-inews-program): Look for /usr/contrib/lib/news/inews.
Richard M. Stallman <rms@gnu.org>
parents:
15458
diff
changeset
|
117 ((file-exists-p "/usr/contrib/lib/news/inews") "/usr/contrib/lib/news/inews") |
88 | 118 ((file-exists-p "/usr/lib/news/inews") "/usr/lib/news/inews") |
105870
26baacb565b0
* textmodes/tex-mode.el (tex-alt-dvi-print-command)
Dan Nicolaescu <dann@ics.uci.edu>
parents:
105798
diff
changeset
|
119 (t "inews"))) |
88 | 120 "Program to post news.") |
121 | |
25538
d99b8e22ae79
Make some doc strings obey the make-docfile convention.
Dave Love <fx@gnu.org>
parents:
24195
diff
changeset
|
122 ;; set this to your local server |
105870
26baacb565b0
* textmodes/tex-mode.el (tex-alt-dvi-print-command)
Dan Nicolaescu <dann@ics.uci.edu>
parents:
105798
diff
changeset
|
123 (defvar gnus-default-nntp-server (purecopy "") "\ |
25538
d99b8e22ae79
Make some doc strings obey the make-docfile convention.
Dave Love <fx@gnu.org>
parents:
24195
diff
changeset
|
124 The name of the host running an NNTP server. |
10074
309352e06d3a
(gnus-default-nntp-server): Doc fix.
Richard M. Stallman <rms@gnu.org>
parents:
9587
diff
changeset
|
125 The null string means use the local host as the server site.") |
88 | 126 |
105798
0ad1fc06bfc8
* puresize.h (BASE_PURESIZE): Increase to 1470000.
Dan Nicolaescu <dann@ics.uci.edu>
parents:
104939
diff
changeset
|
127 (defvar gnus-nntp-service (purecopy "nntp") "\ |
104939
82d9b29c48c5
Reformat doc-strings for make-docfile.
Glenn Morris <rgm@gnu.org>
parents:
104712
diff
changeset
|
128 NNTP service name, usually \"nntp\" or 119. |
89 | 129 Go to a local news spool if its value is nil, in which case `gnus-nntp-server' |
130 should be set to `(system-name)'.") | |
88 | 131 |
25538
d99b8e22ae79
Make some doc strings obey the make-docfile convention.
Dave Love <fx@gnu.org>
parents:
24195
diff
changeset
|
132 (defvar gnus-local-organization nil "\ |
d99b8e22ae79
Make some doc strings obey the make-docfile convention.
Dave Love <fx@gnu.org>
parents:
24195
diff
changeset
|
133 *The name of your organization, as a string. |
88 | 134 The `ORGANIZATION' environment variable is used instead if defined.") |
135 | |
105965
3f64b8380468
* textmodes/ispell.el (ispell-skip-region-alist):
Dan Nicolaescu <dann@ics.uci.edu>
parents:
105870
diff
changeset
|
136 (defcustom rmail-file-name (purecopy "~/RMAIL") "\ |
104939
82d9b29c48c5
Reformat doc-strings for make-docfile.
Glenn Morris <rgm@gnu.org>
parents:
104712
diff
changeset
|
137 Name of user's primary mail file." |
26233
5e437497b682
(rmail-file-name): Make it an option.
Gerd Moellmann <gerd@gnu.org>
parents:
25538
diff
changeset
|
138 :type 'string |
5e437497b682
(rmail-file-name): Make it an option.
Gerd Moellmann <gerd@gnu.org>
parents:
25538
diff
changeset
|
139 :group 'rmail |
5e437497b682
(rmail-file-name): Make it an option.
Gerd Moellmann <gerd@gnu.org>
parents:
25538
diff
changeset
|
140 :version "21.1") |
88 | 141 |
57553
6530172cc0bf
(news-directory): Renamed from news-path. Old name alias.
Richard M. Stallman <rms@gnu.org>
parents:
52401
diff
changeset
|
142 (defvar rmail-spool-directory |
105798
0ad1fc06bfc8
* puresize.h (BASE_PURESIZE): Increase to 1470000.
Dan Nicolaescu <dann@ics.uci.edu>
parents:
104939
diff
changeset
|
143 (purecopy |
96703
eb82d5b4c278
(rmail-spool-directory): Remove settings for systems that are no
Glenn Morris <rgm@gnu.org>
parents:
94678
diff
changeset
|
144 (cond ((file-exists-p "/var/mail") |
eb82d5b4c278
(rmail-spool-directory): Remove settings for systems that are no
Glenn Morris <rgm@gnu.org>
parents:
94678
diff
changeset
|
145 ;; SVR4 and recent BSD are said to use this. |
eb82d5b4c278
(rmail-spool-directory): Remove settings for systems that are no
Glenn Morris <rgm@gnu.org>
parents:
94678
diff
changeset
|
146 ;; Rather than trying to know precisely which systems use it, |
eb82d5b4c278
(rmail-spool-directory): Remove settings for systems that are no
Glenn Morris <rgm@gnu.org>
parents:
94678
diff
changeset
|
147 ;; let's assume this dir is never used for anything else. |
8138
f7f20bbe4ca7
(rmail-spool-directory): Use /var/mail for bsd386.
Richard M. Stallman <rms@gnu.org>
parents:
7754
diff
changeset
|
148 "/var/mail/") |
13806
640ac6d840c1
(rmail-spool-directory): Try /var/spool/mail.
Karl Heuer <kwzh@gnu.org>
parents:
12560
diff
changeset
|
149 ;; Many GNU/Linux systems use this name. |
640ac6d840c1
(rmail-spool-directory): Try /var/spool/mail.
Karl Heuer <kwzh@gnu.org>
parents:
12560
diff
changeset
|
150 ((file-exists-p "/var/spool/mail") |
13817
ec73462ad90c
(rmail-spool-directory): Append slash to all pathnames.
Erik Naggum <erik@naggum.no>
parents:
13806
diff
changeset
|
151 "/var/spool/mail/") |
96703
eb82d5b4c278
(rmail-spool-directory): Remove settings for systems that are no
Glenn Morris <rgm@gnu.org>
parents:
94678
diff
changeset
|
152 ((memq system-type '(hpux usg-unix-v irix)) |
4691
4d3426d8b92a
(rmail-spool-directory): Use "/var/mail/" if system-type is netbsd.
Roland McGrath <roland@gnu.org>
parents:
4454
diff
changeset
|
153 "/usr/mail/") |
105798
0ad1fc06bfc8
* puresize.h (BASE_PURESIZE): Increase to 1470000.
Dan Nicolaescu <dann@ics.uci.edu>
parents:
104939
diff
changeset
|
154 (t "/usr/spool/mail/"))) |
88 | 155 "Name of directory used by system mailer for delivering new mail. |
156 Its name should end with a slash.") | |
157 | |
57553
6530172cc0bf
(news-directory): Renamed from news-path. Old name alias.
Richard M. Stallman <rms@gnu.org>
parents:
52401
diff
changeset
|
158 (defcustom remote-shell-program |
105870
26baacb565b0
* textmodes/tex-mode.el (tex-alt-dvi-print-command)
Dan Nicolaescu <dann@ics.uci.edu>
parents:
105798
diff
changeset
|
159 (purecopy |
10450
830e201e9603
(remote-shell-program): New var.
Karl Heuer <kwzh@gnu.org>
parents:
10074
diff
changeset
|
160 (cond |
830e201e9603
(remote-shell-program): New var.
Karl Heuer <kwzh@gnu.org>
parents:
10074
diff
changeset
|
161 ;; Some systems use rsh for the remote shell; others use that name for the |
830e201e9603
(remote-shell-program): New var.
Karl Heuer <kwzh@gnu.org>
parents:
10074
diff
changeset
|
162 ;; restricted shell and use remsh for the remote shell. Let's try to guess |
830e201e9603
(remote-shell-program): New var.
Karl Heuer <kwzh@gnu.org>
parents:
10074
diff
changeset
|
163 ;; based on what we actually find out there. The restricted shell is |
830e201e9603
(remote-shell-program): New var.
Karl Heuer <kwzh@gnu.org>
parents:
10074
diff
changeset
|
164 ;; almost certainly in /bin or /usr/bin, so it's probably safe to assume |
10484
08e1b7f85e5e
(remote-shell-program): Reorder search path.
Karl Heuer <kwzh@gnu.org>
parents:
10450
diff
changeset
|
165 ;; that an rsh found elsewhere is the remote shell program. The converse |
08e1b7f85e5e
(remote-shell-program): Reorder search path.
Karl Heuer <kwzh@gnu.org>
parents:
10450
diff
changeset
|
166 ;; is not true: /usr/bin/rsh could be either one, so check that last. |
10450
830e201e9603
(remote-shell-program): New var.
Karl Heuer <kwzh@gnu.org>
parents:
10074
diff
changeset
|
167 ((file-exists-p "/usr/ucb/remsh") "/usr/ucb/remsh") |
10484
08e1b7f85e5e
(remote-shell-program): Reorder search path.
Karl Heuer <kwzh@gnu.org>
parents:
10450
diff
changeset
|
168 ((file-exists-p "/usr/bsd/remsh") "/usr/bsd/remsh") |
10450
830e201e9603
(remote-shell-program): New var.
Karl Heuer <kwzh@gnu.org>
parents:
10074
diff
changeset
|
169 ((file-exists-p "/bin/remsh") "/bin/remsh") |
12392
76541e773672
(remote-shell-program): Fix typo checking /usr/bin/remsh.
Richard M. Stallman <rms@gnu.org>
parents:
10484
diff
changeset
|
170 ((file-exists-p "/usr/bin/remsh") "/usr/bin/remsh") |
10484
08e1b7f85e5e
(remote-shell-program): Reorder search path.
Karl Heuer <kwzh@gnu.org>
parents:
10450
diff
changeset
|
171 ((file-exists-p "/usr/local/bin/remsh") "/usr/local/bin/remsh") |
08e1b7f85e5e
(remote-shell-program): Reorder search path.
Karl Heuer <kwzh@gnu.org>
parents:
10450
diff
changeset
|
172 ((file-exists-p "/usr/ucb/rsh") "/usr/ucb/rsh") |
08e1b7f85e5e
(remote-shell-program): Reorder search path.
Karl Heuer <kwzh@gnu.org>
parents:
10450
diff
changeset
|
173 ((file-exists-p "/usr/bsd/rsh") "/usr/bsd/rsh") |
10450
830e201e9603
(remote-shell-program): New var.
Karl Heuer <kwzh@gnu.org>
parents:
10074
diff
changeset
|
174 ((file-exists-p "/usr/local/bin/rsh") "/usr/local/bin/rsh") |
12560
fc8171b983be
(remote-shell-program): Try rcmd also.
Karl Heuer <kwzh@gnu.org>
parents:
12392
diff
changeset
|
175 ((file-exists-p "/usr/bin/rcmd") "/usr/bin/rcmd") |
fc8171b983be
(remote-shell-program): Try rcmd also.
Karl Heuer <kwzh@gnu.org>
parents:
12392
diff
changeset
|
176 ((file-exists-p "/bin/rcmd") "/bin/rcmd") |
10484
08e1b7f85e5e
(remote-shell-program): Reorder search path.
Karl Heuer <kwzh@gnu.org>
parents:
10450
diff
changeset
|
177 ((file-exists-p "/bin/rsh") "/bin/rsh") |
08e1b7f85e5e
(remote-shell-program): Reorder search path.
Karl Heuer <kwzh@gnu.org>
parents:
10450
diff
changeset
|
178 ((file-exists-p "/usr/bin/rsh") "/usr/bin/rsh") |
105870
26baacb565b0
* textmodes/tex-mode.el (tex-alt-dvi-print-command)
Dan Nicolaescu <dann@ics.uci.edu>
parents:
105798
diff
changeset
|
179 (t "rsh"))) |
57553
6530172cc0bf
(news-directory): Renamed from news-path. Old name alias.
Richard M. Stallman <rms@gnu.org>
parents:
52401
diff
changeset
|
180 "File name for remote-shell program (often rsh or remsh)." |
6530172cc0bf
(news-directory): Renamed from news-path. Old name alias.
Richard M. Stallman <rms@gnu.org>
parents:
52401
diff
changeset
|
181 :group 'environment |
6530172cc0bf
(news-directory): Renamed from news-path. Old name alias.
Richard M. Stallman <rms@gnu.org>
parents:
52401
diff
changeset
|
182 :type 'file) |
10450
830e201e9603
(remote-shell-program): New var.
Karl Heuer <kwzh@gnu.org>
parents:
10074
diff
changeset
|
183 |
105798
0ad1fc06bfc8
* puresize.h (BASE_PURESIZE): Increase to 1470000.
Dan Nicolaescu <dann@ics.uci.edu>
parents:
104939
diff
changeset
|
184 (defvar term-file-prefix (purecopy "term/") "\ |
25538
d99b8e22ae79
Make some doc strings obey the make-docfile convention.
Dave Love <fx@gnu.org>
parents:
24195
diff
changeset
|
185 If non-nil, Emacs startup does (load (concat term-file-prefix (getenv \"TERM\"))) |
88 | 186 You may set this variable to nil in your `.emacs' file if you do not wish |
187 the terminal-initialization file to be loaded.") | |
188 | |
93975
1e3a407766b9
Fix up comment convention on the arch-tag lines.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
87649
diff
changeset
|
189 ;; arch-tag: bae27ffb-9944-4c87-b569-30d4635a99e1 |
659
505130d1ddf8
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
444
diff
changeset
|
190 ;;; paths.el ends here |