annotate lisp/paths.el @ 52957:a4241f6b64e7

(tex-compile-commands): Add `yap' and `ps2pdf'. (tex-main-file): Don't add .tex if the extension is already present. (tex-uptodate-p): Don't recurse indefinitely in the presence of symlinks.
author Stefan Monnier <monnier@iro.umontreal.ca>
date Thu, 30 Oct 2003 22:27:32 +0000
parents 695cf19ef79e
children 6530172cc0bf 375f2633d815
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
30019
918a23f7ac93 (prune-directory-list): New function.
Miles Bader <miles@gnu.org>
parents: 29306
diff changeset
3 ;; Copyright (C) 1986, 1988, 1994, 1999, 2000 Free Software Foundation, Inc.
846
20674ae6bf52 *** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents: 814
diff changeset
4
807
4f28bd14272c *** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents: 659
diff changeset
5 ;; Maintainer: FSF
814
38b2499cb3e9 *** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents: 807
diff changeset
6 ;; Keywords: internal
807
4f28bd14272c *** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents: 659
diff changeset
7
88
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
8 ;; This file is part of GNU Emacs.
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
9
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
10 ;; GNU Emacs is free software; you can redistribute it and/or modify
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
11 ;; it under the terms of the GNU General Public License as published by
807
4f28bd14272c *** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents: 659
diff changeset
12 ;; the Free Software Foundation; either version 2, or (at your option)
88
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
13 ;; any later version.
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
14
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
15 ;; GNU Emacs is distributed in the hope that it will be useful,
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
16 ;; but WITHOUT ANY WARRANTY; without even the implied warranty of
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
17 ;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
18 ;; GNU General Public License for more details.
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
19
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
20 ;; You should have received a copy of the GNU General Public License
14169
83f275dcd93a Update FSF's address.
Erik Naggum <erik@naggum.no>
parents: 13909
diff changeset
21 ;; along with GNU Emacs; see the file COPYING. If not, write to the
83f275dcd93a Update FSF's address.
Erik Naggum <erik@naggum.no>
parents: 13909
diff changeset
22 ;; Free Software Foundation, Inc., 59 Temple Place - Suite 330,
83f275dcd93a Update FSF's address.
Erik Naggum <erik@naggum.no>
parents: 13909
diff changeset
23 ;; Boston, MA 02111-1307, USA.
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
d99b8e22ae79 Make some doc strings obey the make-docfile convention.
Dave Love <fx@gnu.org>
parents: 24195
diff changeset
36 ;; conventions described in bindings.el, so that they get put in the
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)
918a23f7ac93 (prune-directory-list): New function.
Miles Bader <miles@gnu.org>
parents: 29306
diff changeset
40 "Returns a copy of DIRS with all non-existant directories removed.
918a23f7ac93 (prune-directory-list): New function.
Miles Bader <miles@gnu.org>
parents: 29306
diff changeset
41 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
42 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
43 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
44
918a23f7ac93 (prune-directory-list): New function.
Miles Bader <miles@gnu.org>
parents: 29306
diff changeset
45 Note that membership in REJECT and KEEP is checked using simple string
918a23f7ac93 (prune-directory-list): New function.
Miles Bader <miles@gnu.org>
parents: 29306
diff changeset
46 comparision."
918a23f7ac93 (prune-directory-list): New function.
Miles Bader <miles@gnu.org>
parents: 29306
diff changeset
47 (apply #'nconc
918a23f7ac93 (prune-directory-list): New function.
Miles Bader <miles@gnu.org>
parents: 29306
diff changeset
48 (mapcar (lambda (dir)
918a23f7ac93 (prune-directory-list): New function.
Miles Bader <miles@gnu.org>
parents: 29306
diff changeset
49 (and (not (member dir reject))
918a23f7ac93 (prune-directory-list): New function.
Miles Bader <miles@gnu.org>
parents: 29306
diff changeset
50 (or (member dir keep) (file-directory-p dir))
918a23f7ac93 (prune-directory-list): New function.
Miles Bader <miles@gnu.org>
parents: 29306
diff changeset
51 (list dir)))
918a23f7ac93 (prune-directory-list): New function.
Miles Bader <miles@gnu.org>
parents: 29306
diff changeset
52 dirs)))
918a23f7ac93 (prune-directory-list): New function.
Miles Bader <miles@gnu.org>
parents: 29306
diff changeset
53
390
4dfee0c58c2a *** empty log message ***
Roland McGrath <roland@gnu.org>
parents: 177
diff changeset
54 (defvar Info-default-directory-list
34573
6620d0fff158 (Info-default-directory-list): If
Eli Zaretskii <eliz@gnu.org>
parents: 30019
diff changeset
55 (let* ((config-dir
6620d0fff158 (Info-default-directory-list): If
Eli Zaretskii <eliz@gnu.org>
parents: 30019
diff changeset
56 (file-name-as-directory configure-info-directory))
6620d0fff158 (Info-default-directory-list): If
Eli Zaretskii <eliz@gnu.org>
parents: 30019
diff changeset
57 (config
6620d0fff158 (Info-default-directory-list): If
Eli Zaretskii <eliz@gnu.org>
parents: 30019
diff changeset
58 (list config-dir))
30019
918a23f7ac93 (prune-directory-list): New function.
Miles Bader <miles@gnu.org>
parents: 29306
diff changeset
59 (unpruned-prefixes
918a23f7ac93 (prune-directory-list): New function.
Miles Bader <miles@gnu.org>
parents: 29306
diff changeset
60 ;; Directory trees that may not exist at installation time, and
918a23f7ac93 (prune-directory-list): New function.
Miles Bader <miles@gnu.org>
parents: 29306
diff changeset
61 ;; so shouldn't be pruned based on existance.
918a23f7ac93 (prune-directory-list): New function.
Miles Bader <miles@gnu.org>
parents: 29306
diff changeset
62 '("/usr/local/"))
918a23f7ac93 (prune-directory-list): New function.
Miles Bader <miles@gnu.org>
parents: 29306
diff changeset
63 (prefixes
918a23f7ac93 (prune-directory-list): New function.
Miles Bader <miles@gnu.org>
parents: 29306
diff changeset
64 ;; Directory trees in which to look for info subdirectories
918a23f7ac93 (prune-directory-list): New function.
Miles Bader <miles@gnu.org>
parents: 29306
diff changeset
65 (prune-directory-list '("/usr/local/" "/usr/" "/opt/" "/")
918a23f7ac93 (prune-directory-list): New function.
Miles Bader <miles@gnu.org>
parents: 29306
diff changeset
66 unpruned-prefixes))
918a23f7ac93 (prune-directory-list): New function.
Miles Bader <miles@gnu.org>
parents: 29306
diff changeset
67 (suffixes
918a23f7ac93 (prune-directory-list): New function.
Miles Bader <miles@gnu.org>
parents: 29306
diff changeset
68 ;; Subdirectories in each directory tree that may contain info
918a23f7ac93 (prune-directory-list): New function.
Miles Bader <miles@gnu.org>
parents: 29306
diff changeset
69 ;; directories.
918a23f7ac93 (prune-directory-list): New function.
Miles Bader <miles@gnu.org>
parents: 29306
diff changeset
70 '("" "share/" "gnu/" "gnu/lib/" "gnu/lib/emacs/"
34573
6620d0fff158 (Info-default-directory-list): If
Eli Zaretskii <eliz@gnu.org>
parents: 30019
diff changeset
71 "emacs/" "lib/" "lib/emacs/"))
6620d0fff158 (Info-default-directory-list): If
Eli Zaretskii <eliz@gnu.org>
parents: 30019
diff changeset
72 (standard-info-dirs
6620d0fff158 (Info-default-directory-list): If
Eli Zaretskii <eliz@gnu.org>
parents: 30019
diff changeset
73 (apply #'nconc
6620d0fff158 (Info-default-directory-list): If
Eli Zaretskii <eliz@gnu.org>
parents: 30019
diff changeset
74 (mapcar (lambda (pfx)
6620d0fff158 (Info-default-directory-list): If
Eli Zaretskii <eliz@gnu.org>
parents: 30019
diff changeset
75 (let ((dirs
6620d0fff158 (Info-default-directory-list): If
Eli Zaretskii <eliz@gnu.org>
parents: 30019
diff changeset
76 (mapcar (lambda (sfx)
6620d0fff158 (Info-default-directory-list): If
Eli Zaretskii <eliz@gnu.org>
parents: 30019
diff changeset
77 (concat pfx sfx "info/"))
6620d0fff158 (Info-default-directory-list): If
Eli Zaretskii <eliz@gnu.org>
parents: 30019
diff changeset
78 suffixes)))
6620d0fff158 (Info-default-directory-list): If
Eli Zaretskii <eliz@gnu.org>
parents: 30019
diff changeset
79 (if (member pfx unpruned-prefixes)
6620d0fff158 (Info-default-directory-list): If
Eli Zaretskii <eliz@gnu.org>
parents: 30019
diff changeset
80 dirs
6620d0fff158 (Info-default-directory-list): If
Eli Zaretskii <eliz@gnu.org>
parents: 30019
diff changeset
81 (prune-directory-list dirs config))))
6620d0fff158 (Info-default-directory-list): If
Eli Zaretskii <eliz@gnu.org>
parents: 30019
diff changeset
82 prefixes))))
6620d0fff158 (Info-default-directory-list): If
Eli Zaretskii <eliz@gnu.org>
parents: 30019
diff changeset
83 ;; If $(prefix)/info is not one of the standard info directories,
6620d0fff158 (Info-default-directory-list): If
Eli Zaretskii <eliz@gnu.org>
parents: 30019
diff changeset
84 ;; they are probably installing an experimental version of Emacs,
6620d0fff158 (Info-default-directory-list): If
Eli Zaretskii <eliz@gnu.org>
parents: 30019
diff changeset
85 ;; so make sure that experimental version's Info files override
6620d0fff158 (Info-default-directory-list): If
Eli Zaretskii <eliz@gnu.org>
parents: 30019
diff changeset
86 ;; the ones in standard directories.
6620d0fff158 (Info-default-directory-list): If
Eli Zaretskii <eliz@gnu.org>
parents: 30019
diff changeset
87 (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
88 (nconc standard-info-dirs config)
34573
6620d0fff158 (Info-default-directory-list): If
Eli Zaretskii <eliz@gnu.org>
parents: 30019
diff changeset
89 (cons config-dir standard-info-dirs)))
15458
d4dceb1eaf56 (Info-default-directory-list): Doc fix.
Richard M. Stallman <rms@gnu.org>
parents: 14169
diff changeset
90 "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
91 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
92 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
93 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
94 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
95 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
96 first in this list.
15458
d4dceb1eaf56 (Info-default-directory-list): Doc fix.
Richard M. Stallman <rms@gnu.org>
parents: 14169
diff changeset
97
d4dceb1eaf56 (Info-default-directory-list): Doc fix.
Richard M. Stallman <rms@gnu.org>
parents: 14169
diff changeset
98 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
99 comes from the variable `Info-directory-list'.
d4dceb1eaf56 (Info-default-directory-list): Doc fix.
Richard M. Stallman <rms@gnu.org>
parents: 14169
diff changeset
100 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
101 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
102 the environment variable INFOPATH is set.")
88
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
103
13806
640ac6d840c1 (rmail-spool-directory): Try /var/spool/mail.
Karl Heuer <kwzh@gnu.org>
parents: 12560
diff changeset
104 (defvar news-path
640ac6d840c1 (rmail-spool-directory): Try /var/spool/mail.
Karl Heuer <kwzh@gnu.org>
parents: 12560
diff changeset
105 (if (file-exists-p "/usr/spool/news/")
640ac6d840c1 (rmail-spool-directory): Try /var/spool/mail.
Karl Heuer <kwzh@gnu.org>
parents: 12560
diff changeset
106 "/usr/spool/news/"
640ac6d840c1 (rmail-spool-directory): Try /var/spool/mail.
Karl Heuer <kwzh@gnu.org>
parents: 12560
diff changeset
107 "/var/spool/news/")
88
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
108 "The root directory below which all news files are stored.")
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
109
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
110 (defvar news-inews-program
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
111 (cond ((file-exists-p "/usr/bin/inews") "/usr/bin/inews")
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
112 ((file-exists-p "/usr/local/inews") "/usr/local/inews")
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
113 ((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
114 ((file-exists-p "/usr/contrib/lib/news/inews") "/usr/contrib/lib/news/inews")
88
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
115 ((file-exists-p "/usr/lib/news/inews") "/usr/lib/news/inews")
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
116 (t "inews"))
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
117 "Program to post news.")
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
118
25538
d99b8e22ae79 Make some doc strings obey the make-docfile convention.
Dave Love <fx@gnu.org>
parents: 24195
diff changeset
119 ;; set this to your local server
d99b8e22ae79 Make some doc strings obey the make-docfile convention.
Dave Love <fx@gnu.org>
parents: 24195
diff changeset
120 (defvar gnus-default-nntp-server "" "\
d99b8e22ae79 Make some doc strings obey the make-docfile convention.
Dave Love <fx@gnu.org>
parents: 24195
diff changeset
121 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
122 The null string means use the local host as the server site.")
88
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
123
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
124 (defvar gnus-nntp-service "nntp"
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
125 "NNTP service name, usually \"nntp\" or 119).
89
a2753c39509b *** empty log message ***
root <root>
parents: 88
diff changeset
126 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
127 should be set to `(system-name)'.")
88
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
128
25538
d99b8e22ae79 Make some doc strings obey the make-docfile convention.
Dave Love <fx@gnu.org>
parents: 24195
diff changeset
129 (defvar gnus-local-organization nil "\
d99b8e22ae79 Make some doc strings obey the make-docfile convention.
Dave Love <fx@gnu.org>
parents: 24195
diff changeset
130 *The name of your organization, as a string.
88
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
131 The `ORGANIZATION' environment variable is used instead if defined.")
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
132
26233
5e437497b682 (rmail-file-name): Make it an option.
Gerd Moellmann <gerd@gnu.org>
parents: 25538
diff changeset
133 (defcustom rmail-file-name "~/RMAIL"
5e437497b682 (rmail-file-name): Make it an option.
Gerd Moellmann <gerd@gnu.org>
parents: 25538
diff changeset
134 "*Name of user's primary mail file."
5e437497b682 (rmail-file-name): Make it an option.
Gerd Moellmann <gerd@gnu.org>
parents: 25538
diff changeset
135 :type 'string
5e437497b682 (rmail-file-name): Make it an option.
Gerd Moellmann <gerd@gnu.org>
parents: 25538
diff changeset
136 :group 'rmail
5e437497b682 (rmail-file-name): Make it an option.
Gerd Moellmann <gerd@gnu.org>
parents: 25538
diff changeset
137 :version "21.1")
88
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
138
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
139 (defconst rmail-spool-directory
7376
53c6cc0ccd30 (rmail-spool-directory): On SCO 3.2v4, use /usr/spool/mail.
Richard M. Stallman <rms@gnu.org>
parents: 7300
diff changeset
140 (cond ((string-match "^[^-]+-[^-]+-sco3.2v4" system-configuration)
53c6cc0ccd30 (rmail-spool-directory): On SCO 3.2v4, use /usr/spool/mail.
Richard M. Stallman <rms@gnu.org>
parents: 7300
diff changeset
141 "/usr/spool/mail/")
49597
e88404e8f2cf Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents: 49121
diff changeset
142 ;; On The Bull DPX/2 /usr/spool/mail is used although
9587
4d94983ab156 (rmail-spool-directory): Add a condition to test the Bull DPX/2.
Richard M. Stallman <rms@gnu.org>
parents: 8146
diff changeset
143 ;; it is usg-unix-v.
4d94983ab156 (rmail-spool-directory): Add a condition to test the Bull DPX/2.
Richard M. Stallman <rms@gnu.org>
parents: 8146
diff changeset
144 ((string-match "^m68k-bull-sysv3" system-configuration)
4d94983ab156 (rmail-spool-directory): Add a condition to test the Bull DPX/2.
Richard M. Stallman <rms@gnu.org>
parents: 8146
diff changeset
145 "/usr/spool/mail/")
8146
a58ae7dfc8bd (rmail-spool-directory): Use /var/mail if it exists.
Richard M. Stallman <rms@gnu.org>
parents: 8138
diff changeset
146 ;; SVR4 and recent BSD are said to use this.
a58ae7dfc8bd (rmail-spool-directory): Use /var/mail if it exists.
Richard M. Stallman <rms@gnu.org>
parents: 8138
diff changeset
147 ;; Rather than trying to know precisely which systems use it,
a58ae7dfc8bd (rmail-spool-directory): Use /var/mail if it exists.
Richard M. Stallman <rms@gnu.org>
parents: 8138
diff changeset
148 ;; let's assume this dir is never used for anything else.
a58ae7dfc8bd (rmail-spool-directory): Use /var/mail if it exists.
Richard M. Stallman <rms@gnu.org>
parents: 8138
diff changeset
149 ((file-exists-p "/var/mail")
8138
f7f20bbe4ca7 (rmail-spool-directory): Use /var/mail for bsd386.
Richard M. Stallman <rms@gnu.org>
parents: 7754
diff changeset
150 "/var/mail/")
13806
640ac6d840c1 (rmail-spool-directory): Try /var/spool/mail.
Karl Heuer <kwzh@gnu.org>
parents: 12560
diff changeset
151 ;; Many GNU/Linux systems use this name.
640ac6d840c1 (rmail-spool-directory): Try /var/spool/mail.
Karl Heuer <kwzh@gnu.org>
parents: 12560
diff changeset
152 ((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
153 "/var/spool/mail/")
7376
53c6cc0ccd30 (rmail-spool-directory): On SCO 3.2v4, use /usr/spool/mail.
Richard M. Stallman <rms@gnu.org>
parents: 7300
diff changeset
154 ((memq system-type '(dgux hpux usg-unix-v unisoft-unix rtu irix))
4691
4d3426d8b92a (rmail-spool-directory): Use "/var/mail/" if system-type is netbsd.
Roland McGrath <roland@gnu.org>
parents: 4454
diff changeset
155 "/usr/mail/")
4d3426d8b92a (rmail-spool-directory): Use "/var/mail/" if system-type is netbsd.
Roland McGrath <roland@gnu.org>
parents: 4454
diff changeset
156 (t "/usr/spool/mail/"))
88
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
157 "Name of directory used by system mailer for delivering new mail.
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
158 Its name should end with a slash.")
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
159
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
160 (defconst sendmail-program
4454
5acc13b477c7 (sendmail-program): Try /usr/sbin/sendmail.el also.
Richard M. Stallman <rms@gnu.org>
parents: 3252
diff changeset
161 (cond
18453
d001394d1a2e (sendmail-program): Look first in /usr/sbin.
Richard M. Stallman <rms@gnu.org>
parents: 16023
diff changeset
162 ((file-exists-p "/usr/sbin/sendmail") "/usr/sbin/sendmail")
4454
5acc13b477c7 (sendmail-program): Try /usr/sbin/sendmail.el also.
Richard M. Stallman <rms@gnu.org>
parents: 3252
diff changeset
163 ((file-exists-p "/usr/lib/sendmail") "/usr/lib/sendmail")
5acc13b477c7 (sendmail-program): Try /usr/sbin/sendmail.el also.
Richard M. Stallman <rms@gnu.org>
parents: 3252
diff changeset
164 ((file-exists-p "/usr/ucblib/sendmail") "/usr/ucblib/sendmail")
5acc13b477c7 (sendmail-program): Try /usr/sbin/sendmail.el also.
Richard M. Stallman <rms@gnu.org>
parents: 3252
diff changeset
165 (t "fakemail")) ;In ../etc, to interface to /bin/mail.
88
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
166 "Program used to send messages.")
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
167
10450
830e201e9603 (remote-shell-program): New var.
Karl Heuer <kwzh@gnu.org>
parents: 10074
diff changeset
168 (defconst remote-shell-program
830e201e9603 (remote-shell-program): New var.
Karl Heuer <kwzh@gnu.org>
parents: 10074
diff changeset
169 (cond
830e201e9603 (remote-shell-program): New var.
Karl Heuer <kwzh@gnu.org>
parents: 10074
diff changeset
170 ;; 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
171 ;; 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
172 ;; 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
173 ;; 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
174 ;; 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
175 ;; 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
176 ((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
177 ((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
178 ((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
179 ((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
180 ((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
181 ((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
182 ((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
183 ((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
184 ((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
185 ((file-exists-p "/bin/rcmd") "/bin/rcmd")
10484
08e1b7f85e5e (remote-shell-program): Reorder search path.
Karl Heuer <kwzh@gnu.org>
parents: 10450
diff changeset
186 ((file-exists-p "/bin/rsh") "/bin/rsh")
08e1b7f85e5e (remote-shell-program): Reorder search path.
Karl Heuer <kwzh@gnu.org>
parents: 10450
diff changeset
187 ((file-exists-p "/usr/bin/rsh") "/usr/bin/rsh")
43570
d83b8cb2d62a (remote-shell-program): Add doc string.
Richard M. Stallman <rms@gnu.org>
parents: 38412
diff changeset
188 (t "rsh"))
d83b8cb2d62a (remote-shell-program): Add doc string.
Richard M. Stallman <rms@gnu.org>
parents: 38412
diff changeset
189 "File name for remote-shell program (often rsh or remsh).")
10450
830e201e9603 (remote-shell-program): New var.
Karl Heuer <kwzh@gnu.org>
parents: 10074
diff changeset
190
25538
d99b8e22ae79 Make some doc strings obey the make-docfile convention.
Dave Love <fx@gnu.org>
parents: 24195
diff changeset
191 (defconst term-file-prefix (if (eq system-type 'vax-vms) "[.term]" "term/") "\
d99b8e22ae79 Make some doc strings obey the make-docfile convention.
Dave Love <fx@gnu.org>
parents: 24195
diff changeset
192 If non-nil, Emacs startup does (load (concat term-file-prefix (getenv \"TERM\")))
88
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
193 You may set this variable to nil in your `.emacs' file if you do not wish
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
194 the terminal-initialization file to be loaded.")
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
195
49597
e88404e8f2cf Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents: 49121
diff changeset
196 (defconst abbrev-file-name
88
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
197 (if (eq system-type 'vax-vms)
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
198 "~/abbrev.def"
13909
287e0b91a675 (abbrev-file-name): Use convert-standard-filename.
Richard M. Stallman <rms@gnu.org>
parents: 13817
diff changeset
199 (convert-standard-filename "~/.abbrev_defs"))
88
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
200 "*Default name of file to read abbrevs from.")
659
505130d1ddf8 *** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents: 444
diff changeset
201
52401
695cf19ef79e Add arch taglines
Miles Bader <miles@gnu.org>
parents: 49597
diff changeset
202 ;;; arch-tag: bae27ffb-9944-4c87-b569-30d4635a99e1
659
505130d1ddf8 *** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents: 444
diff changeset
203 ;;; paths.el ends here