annotate lisp/paths.el @ 1285:d50533e23dff

* editfns.c (make_buffer_string): Call copy_intervals_to_string(). (Finsert_buffer_substring): Call graft_intervals_into_buffer(). #include "intervals.h".
author Joseph Arceneaux <jla@gnu.org>
date Thu, 01 Oct 1992 00:56:11 +0000
parents a3068bc219cf
children c3d069d83cc6
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
846
20674ae6bf52 *** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents: 814
diff changeset
3 ;; Copyright (C) 1986, 1988 Free Software Foundation, Inc.
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
177
7de1e620fb6b *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 89
diff changeset
35 (list "/usr/local/lib/info/"
444
4cec2e6d4f9e *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 390
diff changeset
36 (expand-file-name "../info/" data-directory))
88
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
37 "List of directories to search for Info documentation files.")
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
38
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
39 (defvar news-path "/usr/spool/news/"
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
40 "The root directory below which all news files are stored.")
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
41
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
42 (defvar news-inews-program
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
43 (cond ((file-exists-p "/usr/bin/inews") "/usr/bin/inews")
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
44 ((file-exists-p "/usr/local/inews") "/usr/local/inews")
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
45 ((file-exists-p "/usr/local/bin/inews") "/usr/local/bin/inews")
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
46 ((file-exists-p "/usr/lib/news/inews") "/usr/lib/news/inews")
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
47 (t "inews"))
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
48 "Program to post news.")
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
49
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
50 (defvar gnus-default-nntp-server ""
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
51 ;; set this to your local server
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
52 "The name of the host running an NNTP server.
89
a2753c39509b *** empty log message ***
root <root>
parents: 88
diff changeset
53 If it is a string such as \":DIRECTORY\", then ~/DIRECTORY
a2753c39509b *** empty log message ***
root <root>
parents: 88
diff changeset
54 is used as a news spool. `gnus-nntp-server' is initialised from NNTPSERVER
88
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
55 environment variable or, if none, this value.")
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
56
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
57 (defvar gnus-nntp-service "nntp"
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
58 "NNTP service name, usually \"nntp\" or 119).
89
a2753c39509b *** empty log message ***
root <root>
parents: 88
diff changeset
59 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
60 should be set to `(system-name)'.")
88
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
61
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
62 (defvar gnus-your-domain nil
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
63 "Your domain name without your host name like: \"stars.flab.Fujitsu.CO.JP\"
89
a2753c39509b *** empty log message ***
root <root>
parents: 88
diff changeset
64 The DOMAINNAME environment variable is used instead if defined. If
a2753c39509b *** empty log message ***
root <root>
parents: 88
diff changeset
65 the function `system-name' returns a fully qualified domain name, there is no
88
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
66 need to define the name.")
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
67
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
68 (defvar gnus-your-organization ""
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
69 "Your organization like: \"Fujitsu Laboratories Ltd., Kawasaki, Japan.\"
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
70 The `ORGANIZATION' environment variable is used instead if defined.")
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
71
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
72 (defvar mh-progs
855
a3068bc219cf entered into RCS
Richard M. Stallman <rms@gnu.org>
parents: 846
diff changeset
73 (cond ((file-directory-p "/usr/bin/mh/") "/usr/bin/mh/") ;Ultrix 4.2
a3068bc219cf entered into RCS
Richard M. Stallman <rms@gnu.org>
parents: 846
diff changeset
74 ((file-directory-p "/usr/new/mh/") "/usr/new/mh/") ;Ultrix <4.2
a3068bc219cf entered into RCS
Richard M. Stallman <rms@gnu.org>
parents: 846
diff changeset
75 ((file-directory-p "/usr/local/bin/mh/") "/usr/local/bin/mh/")
a3068bc219cf entered into RCS
Richard M. Stallman <rms@gnu.org>
parents: 846
diff changeset
76 ((file-directory-p "/usr/local/mh/") "/usr/local/mh/")
a3068bc219cf entered into RCS
Richard M. Stallman <rms@gnu.org>
parents: 846
diff changeset
77 (t "/usr/local/bin/"))
a3068bc219cf entered into RCS
Richard M. Stallman <rms@gnu.org>
parents: 846
diff changeset
78 "Directory containing MH commands.")
88
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
79
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
80 (defvar mh-lib
855
a3068bc219cf entered into RCS
Richard M. Stallman <rms@gnu.org>
parents: 846
diff changeset
81 (cond ((file-directory-p "/usr/lib/mh/") "/usr/lib/mh/") ;Ultrix 4.2
a3068bc219cf entered into RCS
Richard M. Stallman <rms@gnu.org>
parents: 846
diff changeset
82 ((file-directory-p "/usr/new/lib/mh/") "/usr/new/lib/mh/") ;Ultrix <4.2
a3068bc219cf entered into RCS
Richard M. Stallman <rms@gnu.org>
parents: 846
diff changeset
83 ((file-directory-p "/usr/local/lib/mh/") "/usr/local/lib/mh/")
a3068bc219cf entered into RCS
Richard M. Stallman <rms@gnu.org>
parents: 846
diff changeset
84 (t "/usr/local/bin/mh/"))
a3068bc219cf entered into RCS
Richard M. Stallman <rms@gnu.org>
parents: 846
diff changeset
85 "Directory of MH library.")
88
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
86
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
87 (defvar rmail-file-name "~/RMAIL"
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
88 "Name of user's primary mail file.")
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
89
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
90 (defvar gnus-startup-file "~/.newsrc"
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
91 "The file listing groups to which user is subscribed.
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
92 Will use `gnus-startup-file'-SERVER instead if exists.")
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
93
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
94 (defconst rmail-spool-directory
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
95 (if (memq system-type '(hpux usg-unix-v unisoft-unix rtu irix))
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
96 "/usr/mail/"
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
97 "/usr/spool/mail/")
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
98 "Name of directory used by system mailer for delivering new mail.
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
99 Its name should end with a slash.")
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
100
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
101 (defconst sendmail-program
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
102 (if (file-exists-p "/usr/lib/sendmail")
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
103 "/usr/lib/sendmail"
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
104 "fakemail") ;In ../etc, to interface to /bin/mail.
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
105 "Program used to send messages.")
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
106
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
107 (defconst term-file-prefix (if (eq system-type 'vax-vms) "[.term]" "term/")
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
108 "If non-nil, Emacs startup does (load (concat term-file-prefix (getenv \"TERM\")))
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
109 You may set this variable to nil in your `.emacs' file if you do not wish
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
110 the terminal-initialization file to be loaded.")
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
111
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
112 (defconst manual-program (if (eq system-type 'berkeley-unix)
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
113 "/usr/ucb/man" "/usr/bin/man")
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
114 "Program to run to print man pages.")
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
115
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
116 ;; Note that /usr/man/cat is not really right for this on sysV; nothing is,
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
117 ;; judging by the list of directories below. You can't get the dir
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
118 ;; for a section by appending the section number to any one prefix.
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
119 ;; But it turns out that a string that's wrong does no harm here.
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
120 (defconst manual-formatted-dir-prefix
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
121 (if (file-exists-p "/usr/man/cat.C") ;; Check for Xenix.
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
122 "/usr/man/cat." "/usr/man/cat")
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
123 "Prefix for directories containing formatted manual pages.
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
124 Append a section-number or section-name to get a directory name.")
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
125
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
126 (defconst manual-formatted-dirlist
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
127 (cond ((eq system-type 'hpux)
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
128 '("/usr/man/cat1" "/usr/man/cat2" "/usr/man/cat3"
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
129 "/usr/man/cat4" "/usr/man/cat5" "/usr/man/cat6"
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
130 "/usr/man/cat7" "/usr/man/cat1m" "/usr/man/cat8"
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
131 "/usr/local/man/cat1" "/usr/local/man/cat2" "/usr/local/man/cat3"
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
132 "/usr/local/man/cat4" "/usr/local/man/cat5" "/usr/local/man/cat6"
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
133 "/usr/local/man/cat7" "/usr/local/man/cat1m" "/usr/local/man/cat8"
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
134 "/usr/contrib/man/cat1" "/usr/contrib/man/cat2"
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
135 "/usr/contrib/man/cat3" "/usr/contrib/man/cat4"
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
136 "/usr/contrib/man/cat5" "/usr/contrib/man/cat6"
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
137 "/usr/contrib/man/cat7" "/usr/contrib/man/cat1m"
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
138 "/usr/contrib/man/cat8"))
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
139 ((file-exists-p "/usr/man/cat.C") ; Xenix
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
140 '("/usr/man/cat.C" "/usr/man/cat.CP" "/usr/man/cat.CT"
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
141 "/usr/man/cat.DOS/" "/usr/man/cat.F" "/usr/man/cat.HW"
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
142 "/usr/man/cat.M/" "/usr/man/cat.S" "/usr/man/cat.LOCAL"))
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
143 ((file-exists-p "/usr/man/cat3/cat3")
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
144 ;; This is for UMAX.
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
145 '("/usr/man/cat1" "/usr/man/cat2"
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
146 "/usr/man/cat3" "/usr/man/cat3/cat3"
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
147 "/usr/man/cat3/cat3b" "/usr/man/cat3/cat3c"
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
148 "/usr/man/cat3/cat3f" "/usr/man/cat3/cat3m"
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
149 "/usr/man/cat3/cat3n" "/usr/man/cat3/cat3p"
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
150 "/usr/man/cat3/cat3s" "/usr/man/cat3/cat3u"
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
151 "/usr/man/cat3/cat3x" "/usr/man/cat4"
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
152 "/usr/man/cat5" "/usr/man/cat6"
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
153 "/usr/man/cat7" "/usr/man/cat8"
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
154 "/usr/man/catl" "/usr/man/catn"))
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
155 ((file-exists-p "/usr/man/cat1")
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
156 '("/usr/man/cat1" "/usr/man/cat2" "/usr/man/cat3"
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
157 "/usr/man/cat4" "/usr/man/cat5" "/usr/man/cat6"
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
158 "/usr/man/cat7" "/usr/man/cat8" "/usr/man/catl" "/usr/man/catn"))
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
159 (t
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
160 '("/usr/catman/u_man/man1" "/usr/catman/u_man/man6"
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
161 "/usr/catman/p_man/man2" "/usr/catman/p_man/man3"
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
162 "/usr/catman/p_man/man4" "/usr/catman/p_man/man5"
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
163 "/usr/catman/a_man/man1" "/usr/catman/a_man/man7"
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
164 "/usr/catman/a_man/man8" "/usr/catman/local"
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
165 "/usr/catman/a_man/man8" "/usr/catman/local/man1"
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
166 "/usr/catman/local/man2" "/usr/catman/local/man3"
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
167 "/usr/catman/local/man4" "/usr/catman/local/man5"
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
168 "/usr/catman/local/man6" "/usr/catman/local/man7"
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
169 "/usr/catman/local/man8")))
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
170 "List of directories containing formatted manual pages.")
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
171
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
172 (defconst abbrev-file-name
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
173 (if (eq system-type 'vax-vms)
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
174 "~/abbrev.def"
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
175 "~/.abbrev_defs")
b3c75acda8a8 Initial revision
root <root>
parents:
diff changeset
176 "*Default name of file to read abbrevs from.")
659
505130d1ddf8 *** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents: 444
diff changeset
177
505130d1ddf8 *** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents: 444
diff changeset
178 ;;; paths.el ends here