annotate lisp/paths.el @ 82453:d04e217671f9

(ada-create-syntax-table): Move set-syntax-table from here to ... (ada-mode): ... here. Do not change global value of comment-multi-line. Call new function ada-initialize-syntax-table-properties and add new function ada-handle-syntax-table-properties to font-lock-mode-hook. (ada-deactivate-properties, ada-initialize-properties): Replace by new functions ... (ada-handle-syntax-table-properties) (ada-initialize-syntax-table-properties) (ada-set-syntax-table-properties): ... to set up syntax-table properties uniformly, independently from whether font-lock-mode is enabled or not. Handle read-only buffers and do not change undo-list when setting syntax-table properties. (ada-after-change-function): Use ada-set-syntax-table-properties.
author Martin Rudalics <rudalics@gmx.at>
date Sat, 18 Aug 2007 08:37:41 +0000
parents 9355f9b7bbff
children 73661ddc7ac7 4c6c79916238 f55f9811f5d7
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
74442
b2e5081b9320 Update copyright years.
Glenn Morris <rgm@gnu.org>
parents: 72635
diff changeset
3 ;; Copyright (C) 1986, 1988, 1994, 1999, 2000, 2001, 2002, 2003,
75347
e3694f1cb928 Add 2007 to copyright years.
Glenn Morris <rgm@gnu.org>
parents: 75270
diff changeset
4 ;; 2004, 2005, 2006, 2007 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
807
4f28bd14272c *** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents: 659
diff changeset
8
88
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
9 ;; This file is part of GNU Emacs.
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
10
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
11 ;; GNU Emacs is free software; you can redistribute it and/or modify
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
12 ;; it under the terms of the GNU General Public License as published by
78236
9355f9b7bbff Switch license to GPLv3 or later.
Glenn Morris <rgm@gnu.org>
parents: 75347
diff changeset
13 ;; the Free Software Foundation; either version 3, or (at your option)
88
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
14 ;; any later version.
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
15
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
16 ;; GNU Emacs is distributed in the hope that it will be useful,
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
17 ;; but WITHOUT ANY WARRANTY; without even the implied warranty of
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
18 ;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
19 ;; GNU General Public License for more details.
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
20
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
21 ;; 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
22 ;; along with GNU Emacs; see the file COPYING. If not, write to the
64091
6fb026ad601f Update FSF's address.
Lute Kamstra <lute@gnu.org>
parents: 57584
diff changeset
23 ;; Free Software Foundation, Inc., 51 Franklin Street, Fifth Floor,
6fb026ad601f Update FSF's address.
Lute Kamstra <lute@gnu.org>
parents: 57584
diff changeset
24 ;; Boston, MA 02110-1301, USA.
88
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
25
807
4f28bd14272c *** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents: 659
diff changeset
26 ;;; Commentary:
88
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
27
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
28 ;; These are default settings for names of certain files and directories
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
29 ;; that Emacs needs to refer to from time to time.
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
30
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
31 ;; If these settings are not right, override them with `setq'
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
32 ;; in site-init.el. Do not change this file.
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
33
807
4f28bd14272c *** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents: 659
diff changeset
34 ;;; Code:
4f28bd14272c *** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents: 659
diff changeset
35
25538
d99b8e22ae79 Make some doc strings obey the make-docfile convention.
Dave Love <fx@gnu.org>
parents: 24195
diff changeset
36 ;; 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
37 ;; 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
38 ;; 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
39
30019
918a23f7ac93 (prune-directory-list): New function.
Miles Bader <miles@gnu.org>
parents: 29306
diff changeset
40 (defun prune-directory-list (dirs &optional keep reject)
64544
7a1446b50929 (prune-directory-list): Fix typos in docstring.
Juanma Barranquero <lekktu@gmail.com>
parents: 64091
diff changeset
41 "Returns 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
918a23f7ac93 (prune-directory-list): New function.
Miles Bader <miles@gnu.org>
parents: 29306
diff changeset
62 ;; so shouldn't be pruned based on existance.
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
13806
640ac6d840c1 (rmail-spool-directory): Try /var/spool/mail.
Karl Heuer <kwzh@gnu.org>
parents: 12560
diff changeset
106 (if (file-exists-p "/usr/spool/news/")
640ac6d840c1 (rmail-spool-directory): Try /var/spool/mail.
Karl Heuer <kwzh@gnu.org>
parents: 12560
diff changeset
107 "/usr/spool/news/"
640ac6d840c1 (rmail-spool-directory): Try /var/spool/mail.
Karl Heuer <kwzh@gnu.org>
parents: 12560
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
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
113 (cond ((file-exists-p "/usr/bin/inews") "/usr/bin/inews")
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
114 ((file-exists-p "/usr/local/inews") "/usr/local/inews")
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
115 ((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
116 ((file-exists-p "/usr/contrib/lib/news/inews") "/usr/contrib/lib/news/inews")
88
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
117 ((file-exists-p "/usr/lib/news/inews") "/usr/lib/news/inews")
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
118 (t "inews"))
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
119 "Program to post news.")
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
120
25538
d99b8e22ae79 Make some doc strings obey the make-docfile convention.
Dave Love <fx@gnu.org>
parents: 24195
diff changeset
121 ;; 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
122 (defvar gnus-default-nntp-server "" "\
d99b8e22ae79 Make some doc strings obey the make-docfile convention.
Dave Love <fx@gnu.org>
parents: 24195
diff changeset
123 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
124 The null string means use the local host as the server site.")
88
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
125
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
126 (defvar gnus-nntp-service "nntp"
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
127 "NNTP service name, usually \"nntp\" or 119).
89
a2753c39509b *** empty log message ***
root <root>
parents: 88
diff changeset
128 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
129 should be set to `(system-name)'.")
88
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
130
25538
d99b8e22ae79 Make some doc strings obey the make-docfile convention.
Dave Love <fx@gnu.org>
parents: 24195
diff changeset
131 (defvar gnus-local-organization nil "\
d99b8e22ae79 Make some doc strings obey the make-docfile convention.
Dave Love <fx@gnu.org>
parents: 24195
diff changeset
132 *The name of your organization, as a string.
88
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
133 The `ORGANIZATION' environment variable is used instead if defined.")
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
134
26233
5e437497b682 (rmail-file-name): Make it an option.
Gerd Moellmann <gerd@gnu.org>
parents: 25538
diff changeset
135 (defcustom rmail-file-name "~/RMAIL"
5e437497b682 (rmail-file-name): Make it an option.
Gerd Moellmann <gerd@gnu.org>
parents: 25538
diff changeset
136 "*Name of user's primary mail file."
5e437497b682 (rmail-file-name): Make it an option.
Gerd Moellmann <gerd@gnu.org>
parents: 25538
diff changeset
137 :type 'string
5e437497b682 (rmail-file-name): Make it an option.
Gerd Moellmann <gerd@gnu.org>
parents: 25538
diff changeset
138 :group 'rmail
5e437497b682 (rmail-file-name): Make it an option.
Gerd Moellmann <gerd@gnu.org>
parents: 25538
diff changeset
139 :version "21.1")
88
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
140
57553
6530172cc0bf (news-directory): Renamed from news-path. Old name alias.
Richard M. Stallman <rms@gnu.org>
parents: 52401
diff changeset
141 (defvar 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
142 (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
143 "/usr/spool/mail/")
49597
e88404e8f2cf Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents: 49121
diff changeset
144 ;; 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
145 ;; 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
146 ((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
147 "/usr/spool/mail/")
8146
a58ae7dfc8bd (rmail-spool-directory): Use /var/mail if it exists.
Richard M. Stallman <rms@gnu.org>
parents: 8138
diff changeset
148 ;; 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
149 ;; 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
150 ;; 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
151 ((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
152 "/var/mail/")
13806
640ac6d840c1 (rmail-spool-directory): Try /var/spool/mail.
Karl Heuer <kwzh@gnu.org>
parents: 12560
diff changeset
153 ;; Many GNU/Linux systems use this name.
640ac6d840c1 (rmail-spool-directory): Try /var/spool/mail.
Karl Heuer <kwzh@gnu.org>
parents: 12560
diff changeset
154 ((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
155 "/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
156 ((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
157 "/usr/mail/")
4d3426d8b92a (rmail-spool-directory): Use "/var/mail/" if system-type is netbsd.
Roland McGrath <roland@gnu.org>
parents: 4454
diff changeset
158 (t "/usr/spool/mail/"))
88
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
159 "Name of directory used by system mailer for delivering new mail.
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
160 Its name should end with a slash.")
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
161
57553
6530172cc0bf (news-directory): Renamed from news-path. Old name alias.
Richard M. Stallman <rms@gnu.org>
parents: 52401
diff changeset
162 (defcustom remote-shell-program
10450
830e201e9603 (remote-shell-program): New var.
Karl Heuer <kwzh@gnu.org>
parents: 10074
diff changeset
163 (cond
830e201e9603 (remote-shell-program): New var.
Karl Heuer <kwzh@gnu.org>
parents: 10074
diff changeset
164 ;; 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
165 ;; 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
166 ;; 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
167 ;; 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
168 ;; 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
169 ;; 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
170 ((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
171 ((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
172 ((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
173 ((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
174 ((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
175 ((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
176 ((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
177 ((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
178 ((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
179 ((file-exists-p "/bin/rcmd") "/bin/rcmd")
10484
08e1b7f85e5e (remote-shell-program): Reorder search path.
Karl Heuer <kwzh@gnu.org>
parents: 10450
diff changeset
180 ((file-exists-p "/bin/rsh") "/bin/rsh")
08e1b7f85e5e (remote-shell-program): Reorder search path.
Karl Heuer <kwzh@gnu.org>
parents: 10450
diff changeset
181 ((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
182 (t "rsh"))
57553
6530172cc0bf (news-directory): Renamed from news-path. Old name alias.
Richard M. Stallman <rms@gnu.org>
parents: 52401
diff changeset
183 "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
184 :group 'environment
6530172cc0bf (news-directory): Renamed from news-path. Old name alias.
Richard M. Stallman <rms@gnu.org>
parents: 52401
diff changeset
185 :type 'file)
10450
830e201e9603 (remote-shell-program): New var.
Karl Heuer <kwzh@gnu.org>
parents: 10074
diff changeset
186
57553
6530172cc0bf (news-directory): Renamed from news-path. Old name alias.
Richard M. Stallman <rms@gnu.org>
parents: 52401
diff changeset
187 (defvar term-file-prefix (if (eq system-type 'vax-vms) "[.term]" "term/") "\
25538
d99b8e22ae79 Make some doc strings obey the make-docfile convention.
Dave Love <fx@gnu.org>
parents: 24195
diff changeset
188 If non-nil, Emacs startup does (load (concat term-file-prefix (getenv \"TERM\")))
88
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
189 You may set this variable to nil in your `.emacs' file if you do not wish
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
190 the terminal-initialization file to be loaded.")
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
191
57553
6530172cc0bf (news-directory): Renamed from news-path. Old name alias.
Richard M. Stallman <rms@gnu.org>
parents: 52401
diff changeset
192 (defvar abbrev-file-name
88
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
193 (if (eq system-type 'vax-vms)
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
194 "~/abbrev.def"
13909
287e0b91a675 (abbrev-file-name): Use convert-standard-filename.
Richard M. Stallman <rms@gnu.org>
parents: 13817
diff changeset
195 (convert-standard-filename "~/.abbrev_defs"))
88
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
196 "*Default name of file to read abbrevs from.")
659
505130d1ddf8 *** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents: 444
diff changeset
197
52401
695cf19ef79e Add arch taglines
Miles Bader <miles@gnu.org>
parents: 49597
diff changeset
198 ;;; arch-tag: bae27ffb-9944-4c87-b569-30d4635a99e1
659
505130d1ddf8 *** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents: 444
diff changeset
199 ;;; paths.el ends here