annotate doc/misc/url.texi @ 96420:1105c35fc424

*** empty log message ***
author Juri Linkov <juri@jurta.org>
date Sun, 29 Jun 2008 16:10:11 +0000
parents 0080e1e64a78
children 2f876106ada2
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
84321
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1 \input texinfo
84329
3d431f1997d8 (setfilename): Go up one more level to ../../info.
Glenn Morris <rgm@gnu.org>
parents: 84321
diff changeset
2 @setfilename ../../info/url
84321
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
3 @settitle URL Programmer's Manual
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
4
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
5 @iftex
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
6 @c @finalout
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
7 @end iftex
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
8 @c @setchapternewpage odd
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
9 @c @smallbook
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
10
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
11 @tex
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
12 \overfullrule=0pt
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
13 %\global\baselineskip 30pt % for printing in double space
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
14 @end tex
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
15 @dircategory World Wide Web
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
16 @dircategory GNU Emacs Lisp
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
17 @direntry
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
18 * URL: (url). URL loading package.
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
19 @end direntry
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
20
95935
ef5e07e42359 Use @copying, @title, @subtitle, @author.
Glenn Morris <rgm@gnu.org>
parents: 87903
diff changeset
21 @copying
84321
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
22 This file documents the URL loading package.
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
23
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
24 Copyright @copyright{} 1993, 1994, 1995, 1996, 1997, 1998, 1999, 2002,
87903
5d58981e6690 Merge from emacs--rel--22
Miles Bader <miles@gnu.org>
parents: 84329
diff changeset
25 2004, 2005, 2006, 2007, 2008 Free Software Foundation, Inc.
84321
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
26
95935
ef5e07e42359 Use @copying, @title, @subtitle, @author.
Glenn Morris <rgm@gnu.org>
parents: 87903
diff changeset
27 @quotation
84321
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
28 Permission is granted to copy, distribute and/or modify this document
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
29 under the terms of the GNU Free Documentation License, Version 1.2 or
95935
ef5e07e42359 Use @copying, @title, @subtitle, @author.
Glenn Morris <rgm@gnu.org>
parents: 87903
diff changeset
30 any later version published by the Free Software Foundation; with no
95981
0080e1e64a78 Add Cover-Texts.
Glenn Morris <rgm@gnu.org>
parents: 95935
diff changeset
31 Invariant Sections, with the Front-Cover texts being ``A GNU Manual,''
0080e1e64a78 Add Cover-Texts.
Glenn Morris <rgm@gnu.org>
parents: 95935
diff changeset
32 and with the Back-Cover Texts as in (a) below. A copy of the license
0080e1e64a78 Add Cover-Texts.
Glenn Morris <rgm@gnu.org>
parents: 95935
diff changeset
33 is included in the section entitled ``GNU Free Documentation License''.
0080e1e64a78 Add Cover-Texts.
Glenn Morris <rgm@gnu.org>
parents: 95935
diff changeset
34
0080e1e64a78 Add Cover-Texts.
Glenn Morris <rgm@gnu.org>
parents: 95935
diff changeset
35 (a) The FSF's Back-Cover Text is: ``You have the freedom to copy and
0080e1e64a78 Add Cover-Texts.
Glenn Morris <rgm@gnu.org>
parents: 95935
diff changeset
36 modify this GNU manual. Buying copies from the FSF supports it in
0080e1e64a78 Add Cover-Texts.
Glenn Morris <rgm@gnu.org>
parents: 95935
diff changeset
37 developing GNU and promoting software freedom.''
95935
ef5e07e42359 Use @copying, @title, @subtitle, @author.
Glenn Morris <rgm@gnu.org>
parents: 87903
diff changeset
38 @end quotation
ef5e07e42359 Use @copying, @title, @subtitle, @author.
Glenn Morris <rgm@gnu.org>
parents: 87903
diff changeset
39 @end copying
84321
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
40
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
41 @c
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
42 @titlepage
95935
ef5e07e42359 Use @copying, @title, @subtitle, @author.
Glenn Morris <rgm@gnu.org>
parents: 87903
diff changeset
43 @title URL Programmer's Manual
ef5e07e42359 Use @copying, @title, @subtitle, @author.
Glenn Morris <rgm@gnu.org>
parents: 87903
diff changeset
44 @subtitle First Edition, URL Version 2.0
ef5e07e42359 Use @copying, @title, @subtitle, @author.
Glenn Morris <rgm@gnu.org>
parents: 87903
diff changeset
45 @author William M. Perry @email{wmperry@@gnu.org}
ef5e07e42359 Use @copying, @title, @subtitle, @author.
Glenn Morris <rgm@gnu.org>
parents: 87903
diff changeset
46 @author David Love @email{fx@@gnu.org}
84321
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
47 @page
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
48 @vskip 0pt plus 1filll
95935
ef5e07e42359 Use @copying, @title, @subtitle, @author.
Glenn Morris <rgm@gnu.org>
parents: 87903
diff changeset
49 @insertcopying
ef5e07e42359 Use @copying, @title, @subtitle, @author.
Glenn Morris <rgm@gnu.org>
parents: 87903
diff changeset
50 @end titlepage
84321
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
51
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
52 @page
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
53 @node Top
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
54 @top URL
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
55
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
56
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
57 @menu
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
58 * Getting Started:: Preparing your program to use URLs.
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
59 * Retrieving URLs:: How to use this package to retrieve a URL.
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
60 * Supported URL Types:: Descriptions of URL types currently supported.
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
61 * Defining New URLs:: How to define a URL loader for a new protocol.
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
62 * General Facilities:: URLs can be cached, accessed via a gateway
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
63 and tracked in a history list.
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
64 * Customization:: Variables you can alter.
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
65 * GNU Free Documentation License:: The license for this documentation.
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
66 * Function Index::
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
67 * Variable Index::
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
68 * Concept Index::
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
69 @end menu
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
70
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
71 @node Getting Started
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
72 @chapter Getting Started
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
73 @cindex URLs, definition
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
74 @cindex URIs
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
75
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
76 @dfn{Uniform Resource Locators} (URLs) are a specific form of
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
77 @dfn{Uniform Resource Identifiers} (URI) described in RFC 2396 which
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
78 updates RFC 1738 and RFC 1808. RFC 2016 defines uniform resource
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
79 agents.
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
80
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
81 URIs have the form @var{scheme}:@var{scheme-specific-part}, where the
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
82 @var{scheme}s supported by this library are described below.
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
83 @xref{Supported URL Types}.
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
84
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
85 FTP, NFS, HTTP, HTTPS, @code{rlogin}, @code{telnet}, tn3270,
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
86 IRC and gopher URLs all have the form
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
87
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
88 @example
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
89 @var{scheme}://@r{[}@var{userinfo}@@@r{]}@var{hostname}@r{[}:@var{port}@r{]}@r{[}/@var{path}@r{]}
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
90 @end example
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
91 @noindent
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
92 where @samp{@r{[}} and @samp{@r{]}} delimit optional parts.
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
93 @var{userinfo} sometimes takes the form @var{username}:@var{password}
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
94 but you should beware of the security risks of sending cleartext
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
95 passwords. @var{hostname} may be a domain name or a dotted decimal
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
96 address. If the @samp{:@var{port}} is omitted then the library will
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
97 use the `well known' port for that service when accessing URLs. With
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
98 the possible exception of @code{telnet}, it is rare for ports to be
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
99 specified, and it is possible using a non-standard port may have
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
100 undesired consequences if a different service is listening on that
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
101 port (e.g., an HTTP URL specifying the SMTP port can cause mail to be
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
102 sent). @c , but @xref{Other Variables, url-bad-port-list}.
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
103 The meaning of the @var{path} component depends on the service.
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
104
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
105 @menu
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
106 * Configuration::
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
107 * Parsed URLs:: URLs are parsed into vector structures.
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
108 @end menu
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
109
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
110 @node Configuration
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
111 @section Configuration
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
112
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
113 @defvar url-configuration-directory
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
114 @cindex @file{~/.url}
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
115 @cindex configuration files
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
116 The directory in which URL configuration files, the cache etc.,
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
117 reside. Default @file{~/.url}.
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
118 @end defvar
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
119
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
120 @node Parsed URLs
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
121 @section Parsed URLs
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
122 @cindex parsed URLs
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
123 The library functions typically operate on @dfn{parsed} versions of
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
124 URLs. These are actually vectors of the form:
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
125
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
126 @example
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
127 [@var{type} @var{user} @var{password} @var{host} @var{port} @var{file} @var{target} @var{attributes} @var{full}]
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
128 @end example
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
129
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
130 @noindent where
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
131 @table @var
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
132 @item type
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
133 is the type of the URL scheme, e.g., @code{http}
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
134 @item user
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
135 is the username associated with it, or @code{nil};
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
136 @item password
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
137 is the user password associated with it, or @code{nil};
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
138 @item host
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
139 is the host name associated with it, or @code{nil};
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
140 @item port
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
141 is the port number associated with it, or @code{nil};
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
142 @item file
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
143 is the `file' part of it, or @code{nil}. This doesn't necessarily
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
144 actually refer to a file;
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
145 @item target
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
146 is the target part, or @code{nil};
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
147 @item attributes
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
148 is the attributes associated with it, or @code{nil};
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
149 @item full
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
150 is @code{t} for a fully-specified URL, with a host part indicated by
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
151 @samp{//} after the scheme part.
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
152 @end table
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
153
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
154 @findex url-type
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
155 @findex url-user
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
156 @findex url-password
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
157 @findex url-host
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
158 @findex url-port
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
159 @findex url-file
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
160 @findex url-target
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
161 @findex url-attributes
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
162 @findex url-full
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
163 @findex url-set-type
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
164 @findex url-set-user
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
165 @findex url-set-password
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
166 @findex url-set-host
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
167 @findex url-set-port
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
168 @findex url-set-file
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
169 @findex url-set-target
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
170 @findex url-set-attributes
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
171 @findex url-set-full
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
172 These attributes have accessors named @code{url-@var{part}}, where
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
173 @var{part} is the name of one of the elements above, e.g.,
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
174 @code{url-host}. Similarly, there are setters of the form
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
175 @code{url-set-@var{part}}.
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
176
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
177 There are functions for parsing and unparsing between the string and
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
178 vector forms.
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
179
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
180 @defun url-generic-parse-url url
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
181 Return a parsed version of the string @var{url}.
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
182 @end defun
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
183
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
184 @defun url-recreate-url url
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
185 @cindex unparsing URLs
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
186 Recreates a URL string from the parsed @var{url}.
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
187 @end defun
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
188
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
189 @node Retrieving URLs
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
190 @chapter Retrieving URLs
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
191
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
192 @defun url-retrieve-synchronously url
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
193 Retrieve @var{url} synchronously and return a buffer containing the
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
194 data. @var{url} is either a string or a parsed URL structure. Return
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
195 @code{nil} if there are no data associated with it (the case for dired,
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
196 info, or mailto URLs that need no further processing).
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
197 @end defun
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
198
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
199 @defun url-retrieve url callback &optional cbargs
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
200 Retrieve @var{url} asynchronously and call @var{callback} with args
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
201 @var{cbargs} when finished. The callback is called when the object
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
202 has been completely retrieved, with the current buffer containing the
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
203 object and any MIME headers associated with it. @var{url} is either a
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
204 string or a parsed URL structure. Returns the buffer @var{url} will
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
205 load into, or @code{nil} if the process has already completed.
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
206 @end defun
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
207
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
208 @node Supported URL Types
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
209 @chapter Supported URL Types
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
210
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
211 @menu
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
212 * http/https:: Hypertext Transfer Protocol.
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
213 * file/ftp:: Local files and FTP archives.
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
214 * info:: Emacs `Info' pages.
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
215 * mailto:: Sending email.
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
216 * news/nntp/snews:: Usenet news.
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
217 * rlogin/telnet/tn3270:: Remote host connectivity.
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
218 * irc:: Internet Relay Chat.
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
219 * data:: Embedded data URLs.
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
220 * nfs:: Networked File System
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
221 @c * finger::
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
222 @c * gopher::
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
223 @c * netrek::
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
224 @c * prospero::
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
225 * cid:: Content-ID.
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
226 * about::
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
227 * ldap:: Lightweight Directory Access Protocol
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
228 * imap:: IMAP mailboxes.
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
229 * man:: Unix man pages.
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
230 @end menu
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
231
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
232 @node http/https
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
233 @section @code{http} and @code{https}
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
234
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
235 The scheme @code{http} is Hypertext Transfer Protocol. The library
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
236 supports version 1.1, specified in RFC 2616. (This supersedes 1.0,
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
237 defined in RFC 1945) HTTP URLs have the following form, where most of
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
238 the parts are optional:
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
239 @example
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
240 http://@var{user}:@var{password}@@@var{host}:@var{port}/@var{path}?@var{searchpart}#@var{fragment}
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
241 @end example
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
242 @c The @code{:@var{port}} part is optional, and @var{port} defaults to
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
243 @c 80. The @code{/@var{path}} part, if present, is a slash-separated
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
244 @c series elements. The @code{?@var{searchpart}}, if present, is the
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
245 @c query for a search or the content of a form submission. The
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
246 @c @code{#fragment} part, if present, is a location in the document.
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
247
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
248 The scheme @code{https} is a secure version of @code{http}, with
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
249 transmission via SSL. It is defined in RFC 2069. Its default port is
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
250 443. This scheme depends on SSL support in Emacs via the
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
251 @file{ssl.el} library and is actually implemented by forcing the
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
252 @code{ssl} gateway method to be used. @xref{Gateways in general}.
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
253
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
254 @defopt url-honor-refresh-requests
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
255 This controls honouring of HTTP @samp{Refresh} headers by which
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
256 servers can direct clients to reload documents from the same URL or a
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
257 or different one. @code{nil} means they will not be honoured,
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
258 @code{t} (the default) means they will always be honoured, and
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
259 otherwise the user will be asked on each request.
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
260 @end defopt
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
261
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
262
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
263 @menu
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
264 * Cookies::
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
265 * HTTP language/coding::
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
266 * HTTP URL Options::
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
267 * Dealing with HTTP documents::
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
268 @end menu
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
269
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
270 @node Cookies
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
271 @subsection Cookies
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
272
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
273 @defopt url-cookie-file
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
274 The file in which cookies are stored, defaulting to @file{cookies} in
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
275 the directory specified by @code{url-configuration-directory}.
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
276 @end defopt
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
277
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
278 @defopt url-cookie-confirmation
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
279 Specifies whether confirmation is require to accept cookies.
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
280 @end defopt
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
281
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
282 @defopt url-cookie-multiple-line
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
283 Specifies whether to put all cookies for the server on one line in the
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
284 HTTP request to satisfy broken servers like
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
285 @url{http://www.hotmail.com}.
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
286 @end defopt
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
287
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
288 @defopt url-cookie-trusted-urls
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
289 A list of regular expressions matching URLs from which to accept
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
290 cookies always.
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
291 @end defopt
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
292
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
293 @defopt url-cookie-untrusted-urls
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
294 A list of regular expressions matching URLs from which to reject
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
295 cookies always.
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
296 @end defopt
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
297
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
298 @defopt url-cookie-save-interval
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
299 The number of seconds between automatic saves of cookies to disk.
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
300 Default is one hour.
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
301 @end defopt
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
302
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
303
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
304 @node HTTP language/coding
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
305 @subsection Language and Encoding Preferences
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
306
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
307 HTTP allows clients to express preferences for the language and
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
308 encoding of documents which servers may honour. For each of these
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
309 variables, the value is a string; it can specify a single choice, or
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
310 it can be a comma-separated list.
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
311
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
312 Normally this list ordered by descending preference. However, each
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
313 element can be followed by @samp{;q=@var{priority}} to specify its
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
314 preference level, a decimal number from 0 to 1; e.g., for
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
315 @code{url-mime-language-string}, @w{@code{"de, en-gb;q=0.8,
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
316 en;q=0.7"}}. An element that has no @samp{;q} specification has
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
317 preference level 1.
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
318
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
319 @defopt url-mime-charset-string
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
320 @cindex character sets
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
321 @cindex coding systems
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
322 This variable specifies a preference for character sets when documents
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
323 can be served in more than one encoding.
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
324
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
325 HTTP allows specifying a series of MIME charsets which indicate your
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
326 preferred character set encodings, e.g., Latin-9 or Big5, and these
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
327 can be weighted. The default series is generated automatically from
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
328 the associated MIME types of all defined coding systems, sorted by the
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
329 coding system priority specified in Emacs. @xref{Recognize Coding, ,
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
330 Recognizing Coding Systems, emacs, The GNU Emacs Manual}.
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
331 @end defopt
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
332
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
333 @defopt url-mime-language-string
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
334 @cindex language preferences
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
335 A string specifying the preferred language when servers can serve
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
336 files in several languages. Use RFC 1766 abbreviations, e.g.,
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
337 @samp{en} for English, @samp{de} for German.
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
338
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
339 The string can be @code{"*"} to get the first available language (as
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
340 opposed to the default).
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
341 @end defopt
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
342
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
343 @node HTTP URL Options
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
344 @subsection HTTP URL Options
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
345
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
346 HTTP supports an @samp{OPTIONS} method describing things supported by
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
347 the URL@.
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
348
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
349 @defun url-http-options url
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
350 Returns a property list describing options available for URL. The
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
351 property list members are:
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
352
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
353 @table @code
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
354 @item methods
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
355 A list of symbols specifying what HTTP methods the resource
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
356 supports.
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
357
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
358 @item dav
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
359 @cindex DAV
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
360 A list of numbers specifying what DAV protocol/schema versions are
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
361 supported.
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
362
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
363 @item dasl
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
364 @cindex DASL
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
365 A list of supported DASL search types supported (string form).
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
366
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
367 @item ranges
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
368 A list of the units available for use in partial document fetches.
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
369
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
370 @item p3p
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
371 @cindex P3P
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
372 The @dfn{Platform For Privacy Protection} description for the resource.
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
373 Currently this is just the raw header contents.
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
374 @end table
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
375
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
376 @end defun
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
377
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
378 @node Dealing with HTTP documents
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
379 @subsection Dealing with HTTP documents
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
380
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
381 HTTP URLs are retrieved into a buffer containing the HTTP headers
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
382 followed by the body. Since the headers are quasi-MIME, they may be
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
383 processed using the MIME library. @xref{Top,, Emacs MIME,
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
384 emacs-mime, The Emacs MIME Manual}. The URL package provides a
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
385 function to do this in general:
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
386
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
387 @defun url-decode-text-part handle &optional coding
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
388 This function decodes charset-encoded text in the current buffer. In
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
389 Emacs, the buffer is expected to be unibyte initially and is set to
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
390 multibyte after decoding.
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
391 HANDLE is the MIME handle of the original part. CODING is an explicit
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
392 coding to use, overriding what the MIME headers specify.
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
393 The coding system used for the decoding is returned.
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
394
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
395 Note that this function doesn't deal with @samp{http-equiv} charset
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
396 specifications in HTML @samp{<meta>} elements.
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
397 @end defun
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
398
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
399 @node file/ftp
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
400 @section file and ftp
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
401 @cindex files
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
402 @cindex FTP
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
403 @cindex File Transfer Protocol
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
404 @cindex compressed files
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
405 @cindex dired
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
406
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
407 @example
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
408 ftp://@var{user}:@var{password}@@@var{host}:@var{port}/@var{file}
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
409 file://@var{user}:@var{password}@@@var{host}:@var{port}/@var{file}
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
410 @end example
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
411
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
412 These schemes are defined in RFC 1808.
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
413 @samp{ftp:} and @samp{file:} are synonymous in this library. They
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
414 allow reading arbitrary files from hosts. Either @samp{ange-ftp}
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
415 (Emacs) or @samp{efs} (XEmacs) is used to retrieve them from remote
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
416 hosts. Local files are accessed directly.
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
417
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
418 Compressed files are handled, but support is hard-coded so that
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
419 @code{jka-compr-compression-info-list} and so on have no affect.
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
420 Suffixes recognized are @samp{.z}, @samp{.gz}, @samp{.Z} and
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
421 @samp{.bz2}.
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
422
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
423 @defopt url-directory-index-file
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
424 The filename to look for when indexing a directory, default
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
425 @samp{"index.html"}. If this file exists, and is readable, then it
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
426 will be viewed instead of using @code{dired} to view the directory.
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
427 @end defopt
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
428
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
429 @node info
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
430 @section info
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
431 @cindex Info
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
432 @cindex Texinfo
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
433 @findex Info-goto-node
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
434
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
435 @example
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
436 info:@var{file}#@var{node}
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
437 @end example
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
438
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
439 Info URLs are not officially defined. They invoke
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
440 @code{Info-goto-node} with argument @samp{(@var{file})@var{node}}.
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
441 @samp{#@var{node}} is optional, defaulting to @samp{Top}.
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
442
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
443 @node mailto
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
444 @section mailto
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
445
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
446 @cindex mailto
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
447 @cindex email
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
448 A mailto URL will send an email message to the address in the
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
449 URL, for example @samp{mailto:foo@@bar.com} would compose a
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
450 message to @samp{foo@@bar.com}.
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
451
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
452 @defopt url-mail-command
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
453 @vindex mail-user-agent
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
454 The function called whenever url needs to send mail. This should
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
455 normally be left to default from @var{mail-user-agent}. @xref{Mail
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
456 Methods, , Mail-Composition Methods, emacs, The GNU Emacs Manual}.
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
457 @end defopt
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
458
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
459 An @samp{X-Url-From} header field containing the URL of the document
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
460 that contained the mailto URL is added if that URL is known.
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
461
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
462 RFC 2368 extends the definition of mailto URLs in RFC 1738.
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
463 The form of a mailto URL is
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
464 @example
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
465 @samp{mailto:@var{mailbox}[?@var{header}=@var{contents}[&@var{header}=@var{contents}]]}
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
466 @end example
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
467 @noindent where an arbitrary number of @var{header}s can be added. If the
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
468 @var{header} is @samp{body}, then @var{contents} is put in the body
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
469 otherwise a @var{header} header field is created with @var{contents}
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
470 as its contents. Note that the URL library does not consider any
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
471 headers `dangerous' so you should check them before sending the
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
472 message.
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
473
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
474 @c Fixme: update
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
475 Email messages are defined in @sc{rfc}822.
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
476
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
477 @node news/nntp/snews
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
478 @section @code{news}, @code{nntp} and @code{snews}
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
479 @cindex news
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
480 @cindex network news
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
481 @cindex usenet
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
482 @cindex NNTP
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
483 @cindex snews
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
484
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
485 @c draft-gilman-news-url-01
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
486 The network news URL scheme take the following forms following RFC
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
487 1738 except that for compatibility with other clients, host and port
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
488 fields may be included in news URLs though they are properly only
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
489 allowed for nntp an snews.
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
490
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
491 @table @samp
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
492 @item news:@var{newsgroup}
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
493 Retrieves a list of messages in @var{newsgroup};
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
494 @item news:@var{message-id}
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
495 Retrieves the message with the given @var{message-id};
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
496 @item news:*
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
497 Retrieves a list of all available newsgroups;
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
498 @item nntp://@var{host}:@var{port}/@var{newsgroup}
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
499 @itemx nntp://@var{host}:@var{port}/@var{message-id}
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
500 @itemx nntp://@var{host}:@var{port}/*
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
501 Similar to the @samp{news} versions.
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
502 @end table
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
503
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
504 @samp{:@var{port}} is optional and defaults to :119.
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
505
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
506 @samp{snews} is the same as @samp{nntp} except that the default port
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
507 is :563.
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
508 @cindex SSL
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
509 (It is tunneled through SSL.)
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
510
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
511 An @samp{nntp} URL is the same as a news URL, except that the URL may
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
512 specify an article by its number.
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
513
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
514 @defopt url-news-server
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
515 This variable can be used to override the default news server.
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
516 Usually this will be set by the Gnus package, which is used to fetch
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
517 news.
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
518 @cindex environment variable
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
519 @vindex NNTPSERVER
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
520 It may be set from the conventional environment variable
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
521 @code{NNTPSERVER}.
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
522 @end defopt
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
523
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
524 @node rlogin/telnet/tn3270
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
525 @section rlogin, telnet and tn3270
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
526 @cindex rlogin
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
527 @cindex telnet
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
528 @cindex tn3270
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
529 @cindex terminal emulation
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
530 @findex terminal-emulator
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
531
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
532 These URL schemes from RFC 1738 for logon via a terminal emulator have
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
533 the form
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
534 @example
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
535 telnet://@var{user}:@var{password}@@@var{host}:@var{port}
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
536 @end example
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
537 but the @code{:@var{password}} component is ignored.
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
538
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
539 To handle rlogin, telnet and tn3270 URLs, a @code{rlogin},
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
540 @code{telnet} or @code{tn3270} (the program names and arguments are
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
541 hardcoded) session is run in a @code{terminal-emulator} buffer.
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
542 Well-known ports are used if the URL does not specify a port.
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
543
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
544 @node irc
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
545 @section irc
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
546 @cindex IRC
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
547 @cindex Internet Relay Chat
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
548 @cindex ZEN IRC
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
549 @cindex ERC
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
550 @cindex rcirc
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
551 @c Fixme: reference (was http://www.w3.org/Addressing/draft-mirashi-url-irc-01.txt)
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
552 @dfn{Internet Relay Chat} (IRC) is handled by handing off the @sc{irc}
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
553 session to a function named in @code{url-irc-function}.
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
554
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
555 @defopt url-irc-function
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
556 A function to actually open an IRC connection.
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
557 This function
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
558 must take five arguments, @var{host}, @var{port}, @var{channel},
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
559 @var{user} and @var{password}. The @var{channel} argument specifies the
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
560 channel to join immediately, this can be @code{nil}. By default this is
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
561 @code{url-irc-rcirc}.
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
562 @end defopt
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
563 @defun url-irc-rcirc host port channel user password
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
564 Processes the arguments and lets @code{rcirc} handle the session.
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
565 @end defun
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
566 @defun url-irc-erc host port channel user password
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
567 Processes the arguments and lets @code{ERC} handle the session.
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
568 @end defun
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
569 @defun url-irc-zenirc host port channel user password
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
570 Processes the arguments and lets @code{zenirc} handle the session.
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
571 @end defun
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
572
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
573 @node data
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
574 @section data
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
575 @cindex data URLs
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
576
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
577 @example
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
578 data:@r{[}@var{media-type}@r{]}@r{[};@var{base64}@r{]},@var{data}
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
579 @end example
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
580
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
581 Data URLs contain MIME data in the URL itself. They are defined in
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
582 RFC 2397.
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
583
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
584 @var{media-type} is a MIME @samp{Content-Type} string, possibly
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
585 including parameters. It defaults to
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
586 @samp{text/plain;charset=US-ASCII}. The @samp{text/plain} can be
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
587 omitted but the charset parameter supplied. If @samp{;base64} is
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
588 present, the @var{data} are base64-encoded.
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
589
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
590 @node nfs
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
591 @section nfs
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
592 @cindex NFS
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
593 @cindex Network File System
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
594 @cindex automounter
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
595
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
596 @example
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
597 nfs://@var{user}:@var{password}@@@var{host}:@var{port}/@var{file}
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
598 @end example
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
599
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
600 The @samp{nfs:} scheme is defined in RFC 2224. It is similar to
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
601 @samp{ftp:} except that it points to a file on a remote host that is
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
602 handled by the automounter on the local host.
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
603
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
604 @defvar url-nfs-automounter-directory-spec
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
605 @end defvar
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
606 A string saying how to invoke the NFS automounter. Certain @samp{%}
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
607 sequences are recognized:
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
608
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
609 @table @samp
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
610 @item %h
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
611 The hostname of the NFS server;
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
612 @item %n
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
613 The port number of the NFS server;
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
614 @item %u
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
615 The username to use to authenticate;
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
616 @item %p
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
617 The password to use to authenticate;
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
618 @item %f
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
619 The filename on the remote server;
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
620 @item %%
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
621 A literal @samp{%}.
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
622 @end table
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
623
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
624 Each can be used any number of times.
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
625
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
626 @node cid
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
627 @section cid
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
628 @cindex Content-ID
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
629
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
630 RFC 2111
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
631
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
632 @node about
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
633 @section about
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
634
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
635 @node ldap
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
636 @section ldap
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
637 @cindex LDAP
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
638 @cindex Lightweight Directory Access Protocol
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
639
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
640 The LDAP scheme is defined in RFC 2255.
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
641
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
642 @node imap
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
643 @section imap
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
644 @cindex IMAP
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
645
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
646 RFC 2192
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
647
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
648 @node man
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
649 @section man
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
650 @cindex @command{man}
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
651 @cindex Unix man pages
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
652 @findex man
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
653
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
654 @example
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
655 @samp{man:@var{page-spec}}
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
656 @end example
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
657
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
658 This is a non-standard scheme. @var{page-spec} is passed directly to
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
659 the Lisp @code{man} function.
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
660
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
661 @node Defining New URLs
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
662 @chapter Defining New URLs
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
663
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
664 @menu
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
665 * Naming conventions::
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
666 * Required functions::
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
667 * Optional functions::
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
668 * Asynchronous fetching::
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
669 * Supporting file-name-handlers::
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
670 @end menu
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
671
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
672 @node Naming conventions
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
673 @section Naming conventions
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
674
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
675 @node Required functions
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
676 @section Required functions
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
677
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
678 @node Optional functions
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
679 @section Optional functions
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
680
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
681 @node Asynchronous fetching
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
682 @section Asynchronous fetching
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
683
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
684 @node Supporting file-name-handlers
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
685 @section Supporting file-name-handlers
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
686
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
687 @node General Facilities
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
688 @chapter General Facilities
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
689
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
690 @menu
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
691 * Disk Caching::
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
692 * Proxies::
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
693 * Gateways in general::
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
694 * History::
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
695 @end menu
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
696
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
697 @node Disk Caching
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
698 @section Disk Caching
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
699 @cindex Caching
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
700 @cindex Persistent Cache
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
701 @cindex Disk Cache
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
702
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
703 The disk cache stores retrieved documents locally, whence they can be
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
704 retrieved more quickly. When requesting a URL that is in the cache,
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
705 the library checks to see if the page has changed since it was last
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
706 retrieved from the remote machine. If not, the local copy is used,
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
707 saving the transmission over the network.
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
708 @cindex Cleaning the cache
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
709 @cindex Clearing the cache
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
710 @cindex Cache cleaning
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
711 Currently the cache isn't cleared automatically.
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
712 @c Running the @code{clean-cache} shell script
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
713 @c fist is recommended, to allow for future cleaning of the cache. This
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
714 @c shell script will remove all files that have not been accessed since it
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
715 @c was last run. To keep the cache pared down, it is recommended that this
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
716 @c script be run from @i{at} or @i{cron} (see the manual pages for
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
717 @c crontab(5) or at(1) for more information)
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
718
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
719 @defopt url-automatic-caching
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
720 Setting this variable non-@code{nil} causes documents to be cached
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
721 automatically.
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
722 @end defopt
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
723
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
724 @defopt url-cache-directory
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
725 This variable specifies the
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
726 directory to store the cache files. It defaults to sub-directory
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
727 @file{cache} of @code{url-configuration-directory}.
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
728 @end defopt
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
729
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
730 @c Fixme: function v. option, but neither used.
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
731 @c @findex url-cache-expired
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
732 @c @defopt url-cache-expired
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
733 @c This is a function to decide whether or not a cache entry has expired.
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
734 @c It takes two times as it parameters and returns non-@code{nil} if the
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
735 @c second time is ``too old'' when compared with the first time.
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
736 @c @end defopt
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
737
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
738 @defopt url-cache-creation-function
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
739 The cache relies on a scheme for mapping URLs to files in the cache.
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
740 This variable names a function which sets the type of cache to use.
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
741 It takes a URL as argument and returns the absolute file name of the
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
742 corresponding cache file. The two supplied possibilities are
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
743 @code{url-cache-create-filename-using-md5} and
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
744 @code{url-cache-create-filename-human-readable}.
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
745 @end defopt
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
746
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
747 @defun url-cache-create-filename-using-md5 url
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
748 Creates a cache file name from @var{url} using MD5 hashing.
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
749 This is creates entries with very few cache collisions and is fast.
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
750 @cindex MD5
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
751 @smallexample
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
752 (url-cache-create-filename-using-md5 "http://www.example.com/foo/bar")
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
753 @result{} "/home/fx/.url/cache/fx/http/com/example/www/b8a35774ad20db71c7c3409a5410e74f"
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
754 @end smallexample
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
755 @end defun
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
756
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
757 @defun url-cache-create-filename-human-readable url
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
758 Creates a cache file name from @var{url} more obviously connected to
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
759 @var{url} than for @code{url-cache-create-filename-using-md5}, but
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
760 more likely to conflict with other files.
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
761 @smallexample
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
762 (url-cache-create-filename-human-readable "http://www.example.com/foo/bar")
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
763 @result{} "/home/fx/.url/cache/fx/http/com/example/www/foo/bar"
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
764 @end smallexample
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
765 @end defun
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
766
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
767 @c Fixme: never actually used currently?
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
768 @c @defopt url-standalone-mode
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
769 @c @cindex Relying on cache
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
770 @c @cindex Cache only mode
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
771 @c @cindex Standalone mode
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
772 @c If this variable is non-@code{nil}, the library relies solely on the
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
773 @c cache for fetching documents and avoids checking if they have changed
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
774 @c on remote servers.
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
775 @c @end defopt
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
776
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
777 @c With a large cache of documents on the local disk, it can be very handy
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
778 @c when traveling, or any other time the network connection is not active
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
779 @c (a laptop with a dial-on-demand PPP connection, etc). Emacs/W3 can rely
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
780 @c solely on its cache, and avoid checking to see if the page has changed
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
781 @c on the remote server. In the case of a dial-on-demand PPP connection,
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
782 @c this will keep the phone line free as long as possible, only bringing up
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
783 @c the PPP connection when asking for a page that is not located in the
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
784 @c cache. This is very useful for demonstrations as well.
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
785
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
786 @node Proxies
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
787 @section Proxies and Gatewaying
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
788
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
789 @c fixme: check/document url-ns stuff
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
790 @cindex proxy servers
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
791 @cindex proxies
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
792 @cindex environment variables
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
793 @vindex HTTP_PROXY
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
794 Proxy servers are commonly used to provide gateways through firewalls
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
795 or as caches serving some more-or-less local network. Each protocol
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
796 (HTTP, FTP, etc.)@: can have a different gateway server. Proxying is
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
797 conventionally configured commonly amongst different programs through
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
798 environment variables of the form @code{@var{protocol}_proxy}, where
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
799 @var{protocol} is one of the supported network protocols (@code{http},
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
800 @code{ftp} etc.). The library recognizes such variables in either
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
801 upper or lower case. Their values are of one of the forms:
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
802 @itemize @bullet
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
803 @item @code{@var{host}:@var{port}}
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
804 @item A full URL;
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
805 @item Simply a host name.
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
806 @end itemize
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
807
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
808 @vindex NO_PROXY
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
809 The @code{NO_PROXY} environment variable specifies URLs that should be
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
810 excluded from proxying (on servers that should be contacted directly).
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
811 This should be a comma-separated list of hostnames, domain names, or a
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
812 mixture of both. Asterisks can be used as wildcards, but other
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
813 clients may not support that. Domain names may be indicated by a
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
814 leading dot. For example:
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
815 @example
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
816 NO_PROXY="*.aventail.com,home.com,.seanet.com"
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
817 @end example
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
818 @noindent says to contact all machines in the @samp{aventail.com} and
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
819 @samp{seanet.com} domains directly, as well as the machine named
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
820 @samp{home.com}. If @code{NO_PROXY} isn't defined, @code{no_PROXY}
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
821 and @code{no_proxy} are also tried, in that order.
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
822
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
823 Proxies may also be specified directly in Lisp.
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
824
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
825 @defopt url-proxy-services
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
826 This variable is an alist of URL schemes and proxy servers that
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
827 gateway them. The items are of the form @w{@code{(@var{scheme}
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
828 . @var{host}:@var{portnumber})}}, says that the URL @var{scheme} is
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
829 gatewayed through @var{portnumber} on the specified @var{host}. An
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
830 exception is the pseudo scheme @code{"no_proxy"}, which is paired with
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
831 a regexp matching host names not to be proxied. This variable is
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
832 initialized from the environment as above.
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
833
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
834 @example
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
835 (setq url-proxy-services
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
836 '(("http" . "proxy.aventail.com:80")
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
837 ("no_proxy" . "^.*\\(aventail\\|seanet\\)\\.com")))
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
838 @end example
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
839 @end defopt
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
840
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
841 @node Gateways in general
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
842 @section Gateways in General
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
843 @cindex gateways
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
844 @cindex firewalls
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
845
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
846 The library provides a general gateway layer through which all
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
847 networking passes. It can both control access to the network and
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
848 provide access through gateways in firewalls. This may make direct
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
849 connections in some cases and pass through some sort of gateway in
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
850 others.@footnote{Proxies (which only operate over HTTP) are
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
851 implemented using this.} The library's basic function responsible for
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
852 making connections is @code{url-open-stream}.
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
853
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
854 @defun url-open-stream name buffer host service
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
855 @cindex opening a stream
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
856 @cindex stream, opening
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
857 Open a stream to @var{host}, possibly via a gateway. The other
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
858 arguments are as for @code{open-network-stream}. This will not make a
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
859 connection if @code{url-gateway-unplugged} is non-@code{nil}.
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
860 @end defun
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
861
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
862 @defvar url-gateway-local-host-regexp
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
863 This is a regular expression that matches local hosts that do not
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
864 require the use of a gateway. If @code{nil}, all connections are made
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
865 through the gateway.
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
866 @end defvar
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
867
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
868 @defvar url-gateway-method
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
869 This variable controls which gateway method is used. It may be useful
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
870 to bind it temporarily in some applications. It has values taken from
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
871 a list of symbols. Possible values are:
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
872
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
873 @table @code
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
874 @item telnet
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
875 @cindex @command{telnet}
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
876 Use this method if you must first telnet and log into a gateway host,
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
877 and then run telnet from that host to connect to outside machines.
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
878
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
879 @item rlogin
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
880 @cindex @command{rlogin}
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
881 This method is identical to @code{telnet}, but uses @command{rlogin}
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
882 to log into the remote machine without having to send the username and
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
883 password over the wire every time.
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
884
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
885 @item socks
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
886 @cindex @sc{socks}
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
887 Use if the firewall has a @sc{socks} gateway running on it. The
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
888 @sc{socks} v5 protocol is defined in RFC 1928.
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
889
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
890 @c @item ssl
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
891 @c This probably shouldn't be documented
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
892 @c Fixme: why not? -- fx
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
893
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
894 @item native
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
895 This method uses Emacs's builtin networking directly. This is the
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
896 default. It can be used only if there is no firewall blocking access.
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
897 @end table
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
898 @end defvar
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
899
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
900 The following variables control the gateway methods.
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
901
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
902 @defopt url-gateway-telnet-host
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
903 The gateway host to telnet to. Once logged in there, you then telnet
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
904 out to the hosts you want to connect to.
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
905 @end defopt
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
906 @defopt url-gateway-telnet-parameters
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
907 This should be a list of parameters to pass to the @command{telnet} program.
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
908 @end defopt
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
909 @defopt url-gateway-telnet-password-prompt
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
910 This is a regular expression that matches the password prompt when
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
911 logging in.
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
912 @end defopt
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
913 @defopt url-gateway-telnet-login-prompt
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
914 This is a regular expression that matches the username prompt when
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
915 logging in.
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
916 @end defopt
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
917 @defopt url-gateway-telnet-user-name
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
918 The username to log in with.
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
919 @end defopt
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
920 @defopt url-gateway-telnet-password
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
921 The password to send when logging in.
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
922 @end defopt
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
923 @defopt url-gateway-prompt-pattern
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
924 This is a regular expression that matches the shell prompt.
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
925 @end defopt
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
926
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
927 @defopt url-gateway-rlogin-host
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
928 Host to @samp{rlogin} to before telnetting out.
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
929 @end defopt
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
930 @defopt url-gateway-rlogin-parameters
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
931 Parameters to pass to @samp{rsh}.
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
932 @end defopt
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
933 @defopt url-gateway-rlogin-user-name
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
934 User name to use when logging in to the gateway.
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
935 @end defopt
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
936 @defopt url-gateway-prompt-pattern
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
937 This is a regular expression that matches the shell prompt.
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
938 @end defopt
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
939
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
940 @defopt socks-server
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
941 This specifies the default server, it takes the form
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
942 @w{@code{("Default server" @var{server} @var{port} @var{version})}}
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
943 where @var{version} can be either 4 or 5.
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
944 @end defopt
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
945 @defvar socks-password
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
946 If this is @code{nil} then you will be asked for the password,
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
947 otherwise it will be used as the password for authenticating you to
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
948 the @sc{socks} server.
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
949 @end defvar
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
950 @defvar socks-username
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
951 This is the username to use when authenticating yourself to the
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
952 @sc{socks} server. By default this is your login name.
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
953 @end defvar
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
954 @defvar socks-timeout
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
955 This controls how long, in seconds, to wait for responses from the
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
956 @sc{socks} server; it is 5 by default.
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
957 @end defvar
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
958 @c fixme: these have been effectively commented-out in the code
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
959 @c @defopt socks-server-aliases
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
960 @c This a list of server aliases. It is a list of aliases of the form
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
961 @c @var{(alias hostname port version)}.
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
962 @c @end defopt
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
963 @c @defopt socks-network-aliases
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
964 @c This a list of network aliases. Each entry in the list takes the form
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
965 @c @var{(alias (network))} where @var{alias} is a string that names the
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
966 @c @var{network}. The networks can contain a pair (not a dotted pair) of
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
967 @c @sc{ip} addresses which specify a range of @sc{ip} addresses, an @sc{ip}
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
968 @c address and a netmask, a domain name or a unique hostname or @sc{ip}
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
969 @c address.
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
970 @c @end defopt
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
971 @c @defopt socks-redirection-rules
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
972 @c This a list of redirection rules. Each rule take the form
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
973 @c @var{(Destination network Connection type)} where @var{Destination
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
974 @c network} is a network alias from @code{socks-network-aliases} and
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
975 @c @var{Connection type} can be @code{nil} in which case a direct
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
976 @c connection is used, or it can be an alias from
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
977 @c @code{socks-server-aliases} in which case that server is used as a
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
978 @c proxy.
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
979 @c @end defopt
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
980 @defopt socks-nslookup-program
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
981 @cindex @command{nslookup}
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
982 This the @samp{nslookup} program. It is @code{"nslookup"} by default.
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
983 @end defopt
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
984
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
985 @menu
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
986 * Suppressing network connections::
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
987 @end menu
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
988 @c * Broken hostname resolution::
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
989
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
990 @node Suppressing network connections
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
991 @subsection Suppressing Network Connections
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
992
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
993 @cindex network connections, suppressing
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
994 @cindex suppressing network connections
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
995 @cindex bugs, HTML
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
996 @cindex HTML `bugs'
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
997 In some circumstances it is desirable to suppress making network
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
998 connections. A typical case is when rendering HTML in a mail user
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
999 agent, when external URLs should not be activated, particularly to
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1000 avoid `bugs' which `call home' by fetch single-pixel images and the
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1001 like. To arrange this, bind the following variable for the duration
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1002 of such processing.
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1003
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1004 @defvar url-gateway-unplugged
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1005 If this variable is non-@code{nil} new network connections are never
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1006 opened by the URL library.
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1007 @end defvar
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1008
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1009 @c @node Broken hostname resolution
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1010 @c @subsection Broken Hostname Resolution
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1011
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1012 @c @cindex hostname resolver
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1013 @c @cindex resolver, hostname
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1014 @c Some C libraries do not include the hostname resolver routines in
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1015 @c their static libraries. If Emacs was linked statically, and was not
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1016 @c linked with the resolver libraries, it will not be able to get to any
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1017 @c machines off the local network. This is characterized by being able
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1018 @c to reach someplace with a raw ip number, but not its hostname
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1019 @c (@url{http://129.79.254.191/} works, but
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1020 @c @url{http://www.cs.indiana.edu/} doesn't). This used to happen on
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1021 @c SunOS4 and Ultrix, but is now probably now rare. If Emacs can't be
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1022 @c rebuilt linked against the resolver library, it can use the external
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1023 @c @command{nslookup} program instead.
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1024
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1025 @c @defopt url-gateway-broken-resolution
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1026 @c @cindex @code{nslookup} program
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1027 @c @cindex program, @code{nslookup}
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1028 @c If non-@code{nil}, this variable says to use the program specified by
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1029 @c @code{url-gateway-nslookup-program} program to do hostname resolution.
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1030 @c @end defopt
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1031
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1032 @c @defopt url-gateway-nslookup-program
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1033 @c The name of the program to do hostname lookup if Emacs can't do it
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1034 @c directly. This program should expect a single argument on the command
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1035 @c line---the hostname to resolve---and should produce output similar to
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1036 @c the standard Unix @command{nslookup} program:
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1037 @c @example
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1038 @c Name: www.cs.indiana.edu
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1039 @c Address: 129.79.254.191
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1040 @c @end example
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1041 @c @end defopt
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1042
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1043 @node History
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1044 @section History
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1045
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1046 @findex url-do-setup
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1047 The library can maintain a global history list tracking URLs accessed.
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1048 URL completion can be done from it. The history mechanism is set up
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1049 automatically via @code{url-do-setup} when it is configured to be on.
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1050 Note that the size of the history list is currently not limited.
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1051
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1052 @vindex url-history-hash-table
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1053 The history `list' is actually a hash table,
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1054 @code{url-history-hash-table}. It contains access times keyed by URL
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1055 strings. The times are in the format returned by @code{current-time}.
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1056
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1057 @defun url-history-update-url url time
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1058 This function updates the history table with an entry for @var{url}
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1059 accessed at the given @var{time}.
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1060 @end defun
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1061
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1062 @defopt url-history-track
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1063 If non-@code{nil}, the library will keep track of all the URLs
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1064 accessed. If it is @code{t}, the list is saved to disk at the end of
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1065 each Emacs session. The default is @code{nil}.
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1066 @end defopt
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1067
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1068 @defopt url-history-file
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1069 The file storing the history list between sessions. It defaults to
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1070 @file{history} in @code{url-configuration-directory}.
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1071 @end defopt
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1072
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1073 @defopt url-history-save-interval
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1074 @findex url-history-setup-save-timer
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1075 The number of seconds between automatic saves of the history list.
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1076 Default is one hour. Note that if you change this variable directly,
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1077 rather than using Custom, after @code{url-do-setup} has been run, you
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1078 need to run the function @code{url-history-setup-save-timer}.
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1079 @end defopt
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1080
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1081 @defun url-history-parse-history &optional fname
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1082 Parses the history file @var{fname} (default @code{url-history-file})
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1083 and sets up the history list.
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1084 @end defun
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1085
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1086 @defun url-history-save-history &optional fname
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1087 Saves the current history to file @var{fname} (default
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1088 @code{url-history-file}).
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1089 @end defun
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1090
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1091 @defun url-completion-function string predicate function
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1092 You can use this function to do completion of URLs from the history.
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1093 @end defun
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1094
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1095 @node Customization
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1096 @chapter Customization
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1097
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1098 @section Environment Variables
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1099
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1100 @cindex environment variables
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1101 The following environment variables affect the library's operation at
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1102 startup.
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1103
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1104 @table @code
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1105 @item TMPDIR
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1106 @vindex TMPDIR
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1107 @vindex url-temporary-directory
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1108 If this is defined, @var{url-temporary-directory} is initialized from
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1109 it.
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1110 @end table
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1111
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1112 @section General User Options
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1113
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1114 The following user options, settable with Customize, affect the
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1115 general operation of the package.
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1116
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1117 @defopt url-debug
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1118 @cindex debugging
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1119 Specifies the types of debug messages the library which are logged to
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1120 the @code{*URL-DEBUG*} buffer.
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1121 @code{t} means log all messages.
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1122 A number means log all messages and show them with @code{message}.
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1123 If may also be a list of the types of messages to be logged.
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1124 @end defopt
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1125 @defopt url-personal-mail-address
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1126 @end defopt
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1127 @defopt url-privacy-level
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1128 @end defopt
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1129 @defopt url-uncompressor-alist
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1130 @end defopt
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1131 @defopt url-passwd-entry-func
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1132 @end defopt
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1133 @defopt url-standalone-mode
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1134 @end defopt
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1135 @defopt url-bad-port-list
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1136 @end defopt
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1137 @defopt url-max-password-attempts
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1138 @end defopt
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1139 @defopt url-temporary-directory
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1140 @end defopt
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1141 @defopt url-show-status
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1142 @end defopt
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1143 @defopt url-confirmation-func
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1144 The function to use for asking yes or no functions. This is normally
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1145 either @code{y-or-n-p} or @code{yes-or-no-p}, but could be another
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1146 function taking a single argument (the prompt) and returning @code{t}
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1147 only if an affirmative answer is given.
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1148 @end defopt
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1149 @defopt url-gateway-method
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1150 @c fixme: describe gatewaying
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1151 A symbol specifying the type of gateway support to use for connections
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1152 from the local machine. The supported methods are:
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1153
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1154 @table @code
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1155 @item telnet
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1156 Run telnet in a subprocess to connect;
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1157 @item rlogin
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1158 Rlogin to another machine to connect;
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1159 @item socks
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1160 Connect through a socks server;
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1161 @item ssl
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1162 Connect with SSL;
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1163 @item native
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1164 Connect directly.
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1165 @end table
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1166 @end defopt
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1167
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1168 @node GNU Free Documentation License
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1169 @appendix GNU Free Documentation License
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1170 @include doclicense.texi
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1171
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1172 @node Function Index
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1173 @unnumbered Command and Function Index
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1174 @printindex fn
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1175
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1176 @node Variable Index
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1177 @unnumbered Variable Index
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1178 @printindex vr
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1179
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1180 @node Concept Index
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1181 @unnumbered Concept Index
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1182 @printindex cp
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1183
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1184 @setchapternewpage odd
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1185 @contents
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1186 @bye
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1187
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1188 @ignore
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1189 arch-tag: c96be356-7e2d-4196-bcda-b13246c5c3f0
46a18ad74c29 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1190 @end ignore