annotate lisp/paths.el @ 112413:8f3d1f1cc05d

aclocal.m4: put this file back into repository
author Paul Eggert <eggert@cs.ucla.edu>
date Fri, 21 Jan 2011 23:19:54 -0800
parents ef719132ddfa
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
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,
112218
376148b31b5e Add 2011 to FSF/AIST copyright years.
Glenn Morris <rgm@gnu.org>
parents: 106837
diff changeset
4 ;; 2005, 2006, 2007, 2008, 2009, 2010, 2011 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
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
10 ;; This file is part of GNU Emacs.
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
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
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
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
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
16
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
17 ;; GNU Emacs is distributed in the hope that it will be useful,
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
18 ;; but WITHOUT ANY WARRANTY; without even the implied warranty of
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
19 ;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
20 ;; GNU General Public License for more details.
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
21
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
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
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
24
807
4f28bd14272c *** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents: 659
diff changeset
25 ;;; Commentary:
88
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
26
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
27 ;; These are default settings for names of certain files and directories
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
28 ;; that Emacs needs to refer to from time to time.
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
29
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
30 ;; If these settings are not right, override them with `setq'
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
31 ;; in site-init.el. Do not change this file.
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
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
4dfee0c58c2a *** empty log message ***
Roland McGrath <roland@gnu.org>
parents: 177
diff changeset
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
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
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
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
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
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
111
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
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
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
114 (cond ((file-exists-p "/usr/bin/inews") "/usr/bin/inews")
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
115 ((file-exists-p "/usr/local/inews") "/usr/local/inews")
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
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
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
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
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
120 "Program to post news.")
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
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
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
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
a2753c39509b *** empty log message ***
root <root>
parents: 88
diff changeset
129 Go to a local news spool if its value is nil, in which case `gnus-nntp-server'
a2753c39509b *** empty log message ***
root <root>
parents: 88
diff changeset
130 should be set to `(system-name)'.")
88
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
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
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
134 The `ORGANIZATION' environment variable is used instead if defined.")
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
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
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
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
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
155 "Name of directory used by system mailer for delivering new mail.
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
156 Its name should end with a slash.")
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
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
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
186 You may set this variable to nil in your `.emacs' file if you do not wish
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
187 the terminal-initialization file to be loaded.")
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
188
659
505130d1ddf8 *** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents: 444
diff changeset
189 ;;; paths.el ends here