annotate lisp/paths.el @ 11831:7e5af94d9527

Add provide call.
author Karl Heuer <kwzh@gnu.org>
date Tue, 16 May 1995 21:58:47 +0000
parents 08e1b7f85e5e
children 76541e773672
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
659
505130d1ddf8 *** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents: 444
diff changeset
1 ;;; paths.el --- define pathnames for use by various Emacs commands.
505130d1ddf8 *** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents: 444
diff changeset
2
7300
cc7cd83ccf3f Update copyright.
Karl Heuer <kwzh@gnu.org>
parents: 6436
diff changeset
3 ;; Copyright (C) 1986, 1988, 1994 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
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
21 ;; along with GNU Emacs; see the file COPYING. If not, write to
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
22 ;; the Free Software Foundation, 675 Mass Ave, Cambridge, MA 02139, USA.
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
23
807
4f28bd14272c *** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents: 659
diff changeset
24 ;;; Commentary:
88
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
25
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
26 ;; These are default settings for names of certain files and directories
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
27 ;; that Emacs needs to refer to from time to time.
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
28
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
29 ;; If these settings are not right, override them with `setq'
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
30 ;; in site-init.el. Do not change this file.
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
31
807
4f28bd14272c *** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents: 659
diff changeset
32 ;;; Code:
4f28bd14272c *** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents: 659
diff changeset
33
390
4dfee0c58c2a *** empty log message ***
Roland McGrath <roland@gnu.org>
parents: 177
diff changeset
34 (defvar Info-default-directory-list
7754
d02006c4ac42 (Info-default-directory-list): Don't attach ../info.
Richard M. Stallman <rms@gnu.org>
parents: 7634
diff changeset
35 (let ((start (list "/usr/local/lib/info/"
d02006c4ac42 (Info-default-directory-list): Don't attach ../info.
Richard M. Stallman <rms@gnu.org>
parents: 7634
diff changeset
36 ;; This comes second so that, if it is the same
d02006c4ac42 (Info-default-directory-list): Don't attach ../info.
Richard M. Stallman <rms@gnu.org>
parents: 7634
diff changeset
37 ;; as configure-info-directory (which is usually true)
d02006c4ac42 (Info-default-directory-list): Don't attach ../info.
Richard M. Stallman <rms@gnu.org>
parents: 7634
diff changeset
38 ;; and Emacs has been installed (also usually true)
d02006c4ac42 (Info-default-directory-list): Don't attach ../info.
Richard M. Stallman <rms@gnu.org>
parents: 7634
diff changeset
39 ;; then the list will end with two copies of this;
d02006c4ac42 (Info-default-directory-list): Don't attach ../info.
Richard M. Stallman <rms@gnu.org>
parents: 7634
diff changeset
40 ;; which means that the last dir file Info-insert-dir
d02006c4ac42 (Info-default-directory-list): Don't attach ../info.
Richard M. Stallman <rms@gnu.org>
parents: 7634
diff changeset
41 ;; finds will be the one in this directory.
d02006c4ac42 (Info-default-directory-list): Don't attach ../info.
Richard M. Stallman <rms@gnu.org>
parents: 7634
diff changeset
42 "/usr/local/info/"))
3214
7fb1204b22de Fix up previous change.
Richard M. Stallman <rms@gnu.org>
parents: 3213
diff changeset
43 (configdir (file-name-as-directory configure-info-directory)))
7754
d02006c4ac42 (Info-default-directory-list): Don't attach ../info.
Richard M. Stallman <rms@gnu.org>
parents: 7634
diff changeset
44 (setq start (nconc start (list configdir)))
3211
4a1a003ded62 (Info-default-directory-list): Take out ../../info.
Richard M. Stallman <rms@gnu.org>
parents: 3132
diff changeset
45 start)
5405
b8b672fe2075 (Info-default-directory-list): Doc fix.
Richard M. Stallman <rms@gnu.org>
parents: 5396
diff changeset
46 "List of directories to search for Info documentation files.
b8b672fe2075 (Info-default-directory-list): Doc fix.
Richard M. Stallman <rms@gnu.org>
parents: 5396
diff changeset
47 They are searched in the order they are given in this list.
b8b672fe2075 (Info-default-directory-list): Doc fix.
Richard M. Stallman <rms@gnu.org>
parents: 5396
diff changeset
48 Therefore, the directory of Info files that come with Emacs
b8b672fe2075 (Info-default-directory-list): Doc fix.
Richard M. Stallman <rms@gnu.org>
parents: 5396
diff changeset
49 normally should come last (so that local files override standard ones).")
88
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
50
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
51 (defvar news-path "/usr/spool/news/"
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
52 "The root directory below which all news files are stored.")
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
53
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
54 (defvar news-inews-program
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
55 (cond ((file-exists-p "/usr/bin/inews") "/usr/bin/inews")
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
56 ((file-exists-p "/usr/local/inews") "/usr/local/inews")
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
57 ((file-exists-p "/usr/local/bin/inews") "/usr/local/bin/inews")
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
58 ((file-exists-p "/usr/lib/news/inews") "/usr/lib/news/inews")
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
59 (t "inews"))
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
60 "Program to post news.")
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
61
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
62 (defvar gnus-default-nntp-server ""
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
63 ;; set this to your local server
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
64 "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
65 The null string means use the local host as the server site.")
88
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
66
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
67 (defvar gnus-nntp-service "nntp"
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
68 "NNTP service name, usually \"nntp\" or 119).
89
a2753c39509b *** empty log message ***
root <root>
parents: 88
diff changeset
69 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
70 should be set to `(system-name)'.")
88
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
71
3132
e32cef1a19b7 (gnus-local-organization): Renamed from ...-your-...
Richard M. Stallman <rms@gnu.org>
parents: 3110
diff changeset
72 (defvar gnus-local-domain nil
3252
4728125f5873 (gnus-local-organization): Initially nil.
Richard M. Stallman <rms@gnu.org>
parents: 3214
diff changeset
73 "*Your domain name without a host name: for example, \"ai.mit.edu\".
4728125f5873 (gnus-local-organization): Initially nil.
Richard M. Stallman <rms@gnu.org>
parents: 3214
diff changeset
74 The DOMAINNAME environment variable is used instead if defined.
4728125f5873 (gnus-local-organization): Initially nil.
Richard M. Stallman <rms@gnu.org>
parents: 3214
diff changeset
75 If the function `system-name' returns a fully qualified domain name,
4728125f5873 (gnus-local-organization): Initially nil.
Richard M. Stallman <rms@gnu.org>
parents: 3214
diff changeset
76 there is no need to set this variable.")
88
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
77
3252
4728125f5873 (gnus-local-organization): Initially nil.
Richard M. Stallman <rms@gnu.org>
parents: 3214
diff changeset
78 (defvar gnus-local-organization nil
4728125f5873 (gnus-local-organization): Initially nil.
Richard M. Stallman <rms@gnu.org>
parents: 3214
diff changeset
79 "*The name of your organization, as a string.
88
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
80 The `ORGANIZATION' environment variable is used instead if defined.")
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
81
6436
722cd14b5f94 (mh-progs, mh-lib): Deleted.
Richard M. Stallman <rms@gnu.org>
parents: 5405
diff changeset
82 (defvar gnus-startup-file "~/.newsrc"
722cd14b5f94 (mh-progs, mh-lib): Deleted.
Richard M. Stallman <rms@gnu.org>
parents: 5405
diff changeset
83 "The file listing groups to which user is subscribed.
722cd14b5f94 (mh-progs, mh-lib): Deleted.
Richard M. Stallman <rms@gnu.org>
parents: 5405
diff changeset
84 Will use `gnus-startup-file'-SERVER instead if exists.")
88
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
85
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
86 (defvar rmail-file-name "~/RMAIL"
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
87 "Name of user's primary mail file.")
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
88
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
89 (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
90 (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
91 "/usr/spool/mail/")
9587
4d94983ab156 (rmail-spool-directory): Add a condition to test the Bull DPX/2.
Richard M. Stallman <rms@gnu.org>
parents: 8146
diff changeset
92 ;; On The Bull DPX/2 /usr/spool/mail is used although
4d94983ab156 (rmail-spool-directory): Add a condition to test the Bull DPX/2.
Richard M. Stallman <rms@gnu.org>
parents: 8146
diff changeset
93 ;; 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
94 ((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
95 "/usr/spool/mail/")
8146
a58ae7dfc8bd (rmail-spool-directory): Use /var/mail if it exists.
Richard M. Stallman <rms@gnu.org>
parents: 8138
diff changeset
96 ;; 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
97 ;; 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
98 ;; 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
99 ((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
100 "/var/mail/")
7376
53c6cc0ccd30 (rmail-spool-directory): On SCO 3.2v4, use /usr/spool/mail.
Richard M. Stallman <rms@gnu.org>
parents: 7300
diff changeset
101 ((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
102 "/usr/mail/")
4d3426d8b92a (rmail-spool-directory): Use "/var/mail/" if system-type is netbsd.
Roland McGrath <roland@gnu.org>
parents: 4454
diff changeset
103 (t "/usr/spool/mail/"))
88
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
104 "Name of directory used by system mailer for delivering new mail.
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
105 Its name should end with a slash.")
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
106
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
107 (defconst sendmail-program
4454
5acc13b477c7 (sendmail-program): Try /usr/sbin/sendmail.el also.
Richard M. Stallman <rms@gnu.org>
parents: 3252
diff changeset
108 (cond
5acc13b477c7 (sendmail-program): Try /usr/sbin/sendmail.el also.
Richard M. Stallman <rms@gnu.org>
parents: 3252
diff changeset
109 ((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
110 ((file-exists-p "/usr/sbin/sendmail") "/usr/sbin/sendmail")
5acc13b477c7 (sendmail-program): Try /usr/sbin/sendmail.el also.
Richard M. Stallman <rms@gnu.org>
parents: 3252
diff changeset
111 ((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
112 (t "fakemail")) ;In ../etc, to interface to /bin/mail.
88
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
113 "Program used to send messages.")
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
114
10450
830e201e9603 (remote-shell-program): New var.
Karl Heuer <kwzh@gnu.org>
parents: 10074
diff changeset
115 (defconst remote-shell-program
830e201e9603 (remote-shell-program): New var.
Karl Heuer <kwzh@gnu.org>
parents: 10074
diff changeset
116 (cond
830e201e9603 (remote-shell-program): New var.
Karl Heuer <kwzh@gnu.org>
parents: 10074
diff changeset
117 ;; 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
118 ;; 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
119 ;; 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
120 ;; 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
121 ;; 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
122 ;; 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
123 ((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
124 ((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
125 ((file-exists-p "/bin/remsh") "/bin/remsh")
830e201e9603 (remote-shell-program): New var.
Karl Heuer <kwzh@gnu.org>
parents: 10074
diff changeset
126 ((file-exists-p "/usr/bin/remsh") "/bin/remsh")
10484
08e1b7f85e5e (remote-shell-program): Reorder search path.
Karl Heuer <kwzh@gnu.org>
parents: 10450
diff changeset
127 ((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
128 ((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
129 ((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
130 ((file-exists-p "/usr/local/bin/rsh") "/usr/local/bin/rsh")
10484
08e1b7f85e5e (remote-shell-program): Reorder search path.
Karl Heuer <kwzh@gnu.org>
parents: 10450
diff changeset
131 ((file-exists-p "/bin/rsh") "/bin/rsh")
08e1b7f85e5e (remote-shell-program): Reorder search path.
Karl Heuer <kwzh@gnu.org>
parents: 10450
diff changeset
132 ((file-exists-p "/usr/bin/rsh") "/usr/bin/rsh")
10450
830e201e9603 (remote-shell-program): New var.
Karl Heuer <kwzh@gnu.org>
parents: 10074
diff changeset
133 (t "rsh")))
830e201e9603 (remote-shell-program): New var.
Karl Heuer <kwzh@gnu.org>
parents: 10074
diff changeset
134
88
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
135 (defconst term-file-prefix (if (eq system-type 'vax-vms) "[.term]" "term/")
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
136 "If non-nil, Emacs startup does (load (concat term-file-prefix (getenv \"TERM\")))
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
137 You may set this variable to nil in your `.emacs' file if you do not wish
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
138 the terminal-initialization file to be loaded.")
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
139
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
140 (defconst abbrev-file-name
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
141 (if (eq system-type 'vax-vms)
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
142 "~/abbrev.def"
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
143 "~/.abbrev_defs")
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
144 "*Default name of file to read abbrevs from.")
659
505130d1ddf8 *** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents: 444
diff changeset
145
505130d1ddf8 *** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents: 444
diff changeset
146 ;;; paths.el ends here