diff options
Diffstat (limited to '')
-rw-r--r-- | doc/user.xml | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/doc/user.xml b/doc/user.xml index 02d94c0f6..a08a5aec0 100644 --- a/doc/user.xml +++ b/doc/user.xml @@ -1532,6 +1532,14 @@ buffer_size: 16384</programlisting> Opens remote files or streams over HTTP. </para> + <para> + Note that unless overridden by the below settings (e.g. by + setting them to a blank value), general curl configuration + from environment variables such as + <varname>http_proxy</varname> or specified in + <filename>~/.curlrc</filename> will be in effect. + </para> + <informaltable> <tgroup cols="2"> <thead> |