Mercurial > emacs
annotate lisp/paths.el @ 13964:4de229297f1f
(outline-primary-bullet, outline-numbered-bullet,
outline-override-protect, outline-explicitly-deactivated,
outline-init, outline-chart-subtree, outline-chart-spec,
outline-make-topic-prefix, outline-open-topic,
outline-reindent-body, outline-yank-processing, outline-yank,
outlineify-sticky): Doc fix.
author | Karl Heuer <kwzh@gnu.org> |
---|---|
date | Thu, 04 Jan 1996 23:26:20 +0000 |
parents | 287e0b91a675 |
children | 83f275dcd93a |
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 | 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 | 8 ;; This file is part of GNU Emacs. |
9 | |
10 ;; GNU Emacs is free software; you can redistribute it and/or modify | |
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 | 13 ;; any later version. |
14 | |
15 ;; GNU Emacs is distributed in the hope that it will be useful, | |
16 ;; but WITHOUT ANY WARRANTY; without even the implied warranty of | |
17 ;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the | |
18 ;; GNU General Public License for more details. | |
19 | |
20 ;; You should have received a copy of the GNU General Public License | |
21 ;; along with GNU Emacs; see the file COPYING. If not, write to | |
22 ;; the Free Software Foundation, 675 Mass Ave, Cambridge, MA 02139, USA. | |
23 | |
807
4f28bd14272c
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
659
diff
changeset
|
24 ;;; Commentary: |
88 | 25 |
26 ;; These are default settings for names of certain files and directories | |
27 ;; that Emacs needs to refer to from time to time. | |
28 | |
29 ;; If these settings are not right, override them with `setq' | |
30 ;; in site-init.el. Do not change this file. | |
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 | 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 | 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 | 50 |
13806
640ac6d840c1
(rmail-spool-directory): Try /var/spool/mail.
Karl Heuer <kwzh@gnu.org>
parents:
12560
diff
changeset
|
51 (defvar news-path |
640ac6d840c1
(rmail-spool-directory): Try /var/spool/mail.
Karl Heuer <kwzh@gnu.org>
parents:
12560
diff
changeset
|
52 (if (file-exists-p "/usr/spool/news/") |
640ac6d840c1
(rmail-spool-directory): Try /var/spool/mail.
Karl Heuer <kwzh@gnu.org>
parents:
12560
diff
changeset
|
53 "/usr/spool/news/" |
640ac6d840c1
(rmail-spool-directory): Try /var/spool/mail.
Karl Heuer <kwzh@gnu.org>
parents:
12560
diff
changeset
|
54 "/var/spool/news/") |
88 | 55 "The root directory below which all news files are stored.") |
56 | |
57 (defvar news-inews-program | |
58 (cond ((file-exists-p "/usr/bin/inews") "/usr/bin/inews") | |
59 ((file-exists-p "/usr/local/inews") "/usr/local/inews") | |
60 ((file-exists-p "/usr/local/bin/inews") "/usr/local/bin/inews") | |
61 ((file-exists-p "/usr/lib/news/inews") "/usr/lib/news/inews") | |
62 (t "inews")) | |
63 "Program to post news.") | |
64 | |
65 (defvar gnus-default-nntp-server "" | |
66 ;; set this to your local server | |
67 "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
|
68 The null string means use the local host as the server site.") |
88 | 69 |
70 (defvar gnus-nntp-service "nntp" | |
71 "NNTP service name, usually \"nntp\" or 119). | |
89 | 72 Go to a local news spool if its value is nil, in which case `gnus-nntp-server' |
73 should be set to `(system-name)'.") | |
88 | 74 |
3132
e32cef1a19b7
(gnus-local-organization): Renamed from ...-your-...
Richard M. Stallman <rms@gnu.org>
parents:
3110
diff
changeset
|
75 (defvar gnus-local-domain nil |
3252
4728125f5873
(gnus-local-organization): Initially nil.
Richard M. Stallman <rms@gnu.org>
parents:
3214
diff
changeset
|
76 "*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
|
77 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
|
78 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
|
79 there is no need to set this variable.") |
88 | 80 |
3252
4728125f5873
(gnus-local-organization): Initially nil.
Richard M. Stallman <rms@gnu.org>
parents:
3214
diff
changeset
|
81 (defvar gnus-local-organization nil |
4728125f5873
(gnus-local-organization): Initially nil.
Richard M. Stallman <rms@gnu.org>
parents:
3214
diff
changeset
|
82 "*The name of your organization, as a string. |
88 | 83 The `ORGANIZATION' environment variable is used instead if defined.") |
84 | |
6436
722cd14b5f94
(mh-progs, mh-lib): Deleted.
Richard M. Stallman <rms@gnu.org>
parents:
5405
diff
changeset
|
85 (defvar gnus-startup-file "~/.newsrc" |
722cd14b5f94
(mh-progs, mh-lib): Deleted.
Richard M. Stallman <rms@gnu.org>
parents:
5405
diff
changeset
|
86 "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
|
87 Will use `gnus-startup-file'-SERVER instead if exists.") |
88 | 88 |
89 (defvar rmail-file-name "~/RMAIL" | |
90 "Name of user's primary mail file.") | |
91 | |
92 (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
|
93 (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
|
94 "/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
|
95 ;; 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
|
96 ;; 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
|
97 ((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
|
98 "/usr/spool/mail/") |
8146
a58ae7dfc8bd
(rmail-spool-directory): Use /var/mail if it exists.
Richard M. Stallman <rms@gnu.org>
parents:
8138
diff
changeset
|
99 ;; 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
|
100 ;; 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
|
101 ;; 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
|
102 ((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
|
103 "/var/mail/") |
13806
640ac6d840c1
(rmail-spool-directory): Try /var/spool/mail.
Karl Heuer <kwzh@gnu.org>
parents:
12560
diff
changeset
|
104 ;; Many GNU/Linux systems use this name. |
640ac6d840c1
(rmail-spool-directory): Try /var/spool/mail.
Karl Heuer <kwzh@gnu.org>
parents:
12560
diff
changeset
|
105 ((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
|
106 "/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
|
107 ((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
|
108 "/usr/mail/") |
4d3426d8b92a
(rmail-spool-directory): Use "/var/mail/" if system-type is netbsd.
Roland McGrath <roland@gnu.org>
parents:
4454
diff
changeset
|
109 (t "/usr/spool/mail/")) |
88 | 110 "Name of directory used by system mailer for delivering new mail. |
111 Its name should end with a slash.") | |
112 | |
113 (defconst sendmail-program | |
4454
5acc13b477c7
(sendmail-program): Try /usr/sbin/sendmail.el also.
Richard M. Stallman <rms@gnu.org>
parents:
3252
diff
changeset
|
114 (cond |
5acc13b477c7
(sendmail-program): Try /usr/sbin/sendmail.el also.
Richard M. Stallman <rms@gnu.org>
parents:
3252
diff
changeset
|
115 ((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
|
116 ((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
|
117 ((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
|
118 (t "fakemail")) ;In ../etc, to interface to /bin/mail. |
88 | 119 "Program used to send messages.") |
120 | |
10450
830e201e9603
(remote-shell-program): New var.
Karl Heuer <kwzh@gnu.org>
parents:
10074
diff
changeset
|
121 (defconst remote-shell-program |
830e201e9603
(remote-shell-program): New var.
Karl Heuer <kwzh@gnu.org>
parents:
10074
diff
changeset
|
122 (cond |
830e201e9603
(remote-shell-program): New var.
Karl Heuer <kwzh@gnu.org>
parents:
10074
diff
changeset
|
123 ;; 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
|
124 ;; 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
|
125 ;; 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
|
126 ;; 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
|
127 ;; 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
|
128 ;; 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
|
129 ((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
|
130 ((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
|
131 ((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
|
132 ((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
|
133 ((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
|
134 ((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
|
135 ((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
|
136 ((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
|
137 ((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
|
138 ((file-exists-p "/bin/rcmd") "/bin/rcmd") |
10484
08e1b7f85e5e
(remote-shell-program): Reorder search path.
Karl Heuer <kwzh@gnu.org>
parents:
10450
diff
changeset
|
139 ((file-exists-p "/bin/rsh") "/bin/rsh") |
08e1b7f85e5e
(remote-shell-program): Reorder search path.
Karl Heuer <kwzh@gnu.org>
parents:
10450
diff
changeset
|
140 ((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
|
141 (t "rsh"))) |
830e201e9603
(remote-shell-program): New var.
Karl Heuer <kwzh@gnu.org>
parents:
10074
diff
changeset
|
142 |
88 | 143 (defconst term-file-prefix (if (eq system-type 'vax-vms) "[.term]" "term/") |
144 "If non-nil, Emacs startup does (load (concat term-file-prefix (getenv \"TERM\"))) | |
145 You may set this variable to nil in your `.emacs' file if you do not wish | |
146 the terminal-initialization file to be loaded.") | |
147 | |
148 (defconst abbrev-file-name | |
149 (if (eq system-type 'vax-vms) | |
150 "~/abbrev.def" | |
13909
287e0b91a675
(abbrev-file-name): Use convert-standard-filename.
Richard M. Stallman <rms@gnu.org>
parents:
13817
diff
changeset
|
151 (convert-standard-filename "~/.abbrev_defs")) |
88 | 152 "*Default name of file to read abbrevs from.") |
659
505130d1ddf8
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
444
diff
changeset
|
153 |
505130d1ddf8
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
444
diff
changeset
|
154 ;;; paths.el ends here |