annotate doc/misc/url.texi @ 95941:63cd1c7b5b2a

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