|
 |
226bdc |
diff -urN wget-1.12/doc/sample.wgetrc wget-1.12.patched/doc/sample.wgetrc
|
|
|
226bdc |
--- wget-1.12/doc/sample.wgetrc 2009-09-22 04:53:58.000000000 +0200
|
|
|
226bdc |
+++ wget-1.12.patched/doc/sample.wgetrc 2009-11-17 12:29:18.000000000 +0100
|
|
|
226bdc |
@@ -7,7 +7,7 @@
|
|
|
226bdc |
## not contain a comprehensive list of commands -- look at the manual
|
|
|
226bdc |
## to find out what you can put into this file.
|
|
|
226bdc |
##
|
|
|
226bdc |
-## Wget initialization file can reside in /usr/local/etc/wgetrc
|
|
|
226bdc |
+## Wget initialization file can reside in /etc/wgetrc
|
|
|
226bdc |
## (global, for all users) or $HOME/.wgetrc (for a single user).
|
|
|
226bdc |
##
|
|
|
226bdc |
## To use the settings in this file, you will have to uncomment them,
|
|
|
226bdc |
@@ -16,7 +16,7 @@
|
|
|
226bdc |
|
|
|
226bdc |
|
|
|
226bdc |
##
|
|
|
226bdc |
-## Global settings (useful for setting up in /usr/local/etc/wgetrc).
|
|
|
226bdc |
+## Global settings (useful for setting up in /etc/wgetrc).
|
|
|
226bdc |
## Think well before you change them, since they may reduce wget's
|
|
|
226bdc |
## functionality, and make it behave contrary to the documentation:
|
|
|
226bdc |
##
|
|
|
226bdc |
diff -urN wget-1.12/doc/sample.wgetrc.munged_for_texi_inclusion wget-1.12.patched/doc/sample.wgetrc.munged_for_texi_inclusion
|
|
|
226bdc |
--- wget-1.12/doc/sample.wgetrc.munged_for_texi_inclusion 2009-09-22 06:08:52.000000000 +0200
|
|
|
226bdc |
+++ wget-1.12.patched/doc/sample.wgetrc.munged_for_texi_inclusion 2009-11-17 12:29:39.000000000 +0100
|
|
|
226bdc |
@@ -7,7 +7,7 @@
|
|
|
226bdc |
## not contain a comprehensive list of commands -- look at the manual
|
|
|
226bdc |
## to find out what you can put into this file.
|
|
|
226bdc |
##
|
|
|
226bdc |
-## Wget initialization file can reside in /usr/local/etc/wgetrc
|
|
|
226bdc |
+## Wget initialization file can reside in /etc/wgetrc
|
|
|
226bdc |
## (global, for all users) or $HOME/.wgetrc (for a single user).
|
|
|
226bdc |
##
|
|
|
226bdc |
## To use the settings in this file, you will have to uncomment them,
|
|
|
226bdc |
@@ -16,7 +16,7 @@
|
|
|
226bdc |
|
|
|
226bdc |
|
|
|
226bdc |
##
|
|
|
226bdc |
-## Global settings (useful for setting up in /usr/local/etc/wgetrc).
|
|
|
226bdc |
+## Global settings (useful for setting up in /etc/wgetrc).
|
|
|
226bdc |
## Think well before you change them, since they may reduce wget's
|
|
|
226bdc |
## functionality, and make it behave contrary to the documentation:
|
|
|
226bdc |
##
|
|
|
226bdc |
diff -urN wget-1.12/doc/wget.info wget-1.12.patched/doc/wget.info
|
|
|
226bdc |
--- wget-1.12/doc/wget.info 2009-09-22 18:30:20.000000000 +0200
|
|
|
226bdc |
+++ wget-1.12.patched/doc/wget.info 2009-11-17 12:28:40.000000000 +0100
|
|
|
226bdc |
@@ -2351,8 +2351,8 @@
|
|
|
226bdc |
===================
|
|
|
226bdc |
|
|
|
226bdc |
When initializing, Wget will look for a "global" startup file,
|
|
|
226bdc |
-`/usr/local/etc/wgetrc' by default (or some prefix other than
|
|
|
226bdc |
-`/usr/local', if Wget was not installed there) and read commands from
|
|
|
226bdc |
+`/etc/wgetrc' by default (or some prefix other than
|
|
|
226bdc |
+`/etc', if Wget was not installed there) and read commands from
|
|
|
226bdc |
there, if it exists.
|
|
|
226bdc |
|
|
|
226bdc |
Then it will look for the user's file. If the environmental variable
|
|
|
226bdc |
@@ -2363,7 +2363,7 @@
|
|
|
226bdc |
|
|
|
226bdc |
The fact that user's settings are loaded after the system-wide ones
|
|
|
226bdc |
means that in case of collision user's wgetrc _overrides_ the
|
|
|
226bdc |
-system-wide wgetrc (in `/usr/local/etc/wgetrc' by default). Fascist
|
|
|
226bdc |
+system-wide wgetrc (in `/etc/wgetrc' by default). Fascist
|
|
|
226bdc |
admins, away!
|
|
|
226bdc |
|
|
|
226bdc |
?
|
|
|
226bdc |
@@ -2876,7 +2876,7 @@
|
|
|
226bdc |
## not contain a comprehensive list of commands -- look at the manual
|
|
|
226bdc |
## to find out what you can put into this file.
|
|
|
226bdc |
##
|
|
|
226bdc |
- ## Wget initialization file can reside in /usr/local/etc/wgetrc
|
|
|
226bdc |
+ ## Wget initialization file can reside in /etc/wgetrc
|
|
|
226bdc |
## (global, for all users) or $HOME/.wgetrc (for a single user).
|
|
|
226bdc |
##
|
|
|
226bdc |
## To use the settings in this file, you will have to uncomment them,
|
|
|
226bdc |
@@ -2885,7 +2885,7 @@
|
|
|
226bdc |
|
|
|
226bdc |
|
|
|
226bdc |
##
|
|
|
226bdc |
- ## Global settings (useful for setting up in /usr/local/etc/wgetrc).
|
|
|
226bdc |
+ ## Global settings (useful for setting up in /etc/wgetrc).
|
|
|
226bdc |
## Think well before you change them, since they may reduce wget's
|
|
|
226bdc |
## functionality, and make it behave contrary to the documentation:
|
|
|
226bdc |
##
|
|
|
226bdc |
diff -urN wget-1.12/doc/wget.texi wget-1.12.patched/doc/wget.texi
|
|
|
226bdc |
--- wget-1.12/doc/wget.texi 2009-09-04 23:22:04.000000000 +0200
|
|
|
226bdc |
+++ wget-1.12.patched/doc/wget.texi 2009-11-17 12:29:03.000000000 +0100
|
|
|
226bdc |
@@ -2670,8 +2670,8 @@
|
|
|
226bdc |
@cindex location of wgetrc
|
|
|
226bdc |
|
|
|
226bdc |
When initializing, Wget will look for a @dfn{global} startup file,
|
|
|
226bdc |
-@file{/usr/local/etc/wgetrc} by default (or some prefix other than
|
|
|
226bdc |
-@file{/usr/local}, if Wget was not installed there) and read commands
|
|
|
226bdc |
+@file{/etc/wgetrc} by default (or some prefix other than
|
|
|
226bdc |
+@file{/etc}, if Wget was not installed there) and read commands
|
|
|
226bdc |
from there, if it exists.
|
|
|
226bdc |
|
|
|
226bdc |
Then it will look for the user's file. If the environmental variable
|
|
|
226bdc |
@@ -2682,7 +2682,7 @@
|
|
|
226bdc |
|
|
|
226bdc |
The fact that user's settings are loaded after the system-wide ones
|
|
|
226bdc |
means that in case of collision user's wgetrc @emph{overrides} the
|
|
|
226bdc |
-system-wide wgetrc (in @file{/usr/local/etc/wgetrc} by default).
|
|
|
226bdc |
+system-wide wgetrc (in @file{/etc/wgetrc} by default).
|
|
|
226bdc |
Fascist admins, away!
|
|
|
226bdc |
|
|
|
226bdc |
@node Wgetrc Syntax, Wgetrc Commands, Wgetrc Location, Startup File
|
|
|
226bdc |
diff -urN wget-1.12/NEWS wget-1.12.patched/NEWS
|
|
|
226bdc |
--- wget-1.12/NEWS 2009-09-22 04:53:35.000000000 +0200
|
|
|
226bdc |
+++ wget-1.12.patched/NEWS 2009-11-17 12:30:10.000000000 +0100
|
|
|
226bdc |
@@ -562,7 +562,7 @@
|
|
|
226bdc |
|
|
|
226bdc |
** Compiles on pre-ANSI compilers.
|
|
|
226bdc |
|
|
|
226bdc |
-** Global wgetrc now goes to /usr/local/etc (i.e. $sysconfdir).
|
|
|
226bdc |
+** Global wgetrc now goes to /etc (i.e. $sysconfdir).
|
|
|
226bdc |
|
|
|
226bdc |
** Lots of bugfixes.
|
|
|
226bdc |
|
|
|
226bdc |
@@ -625,7 +625,7 @@
|
|
|
226bdc |
** Fixed a long-standing bug, so that Wget now works over SLIP
|
|
|
226bdc |
connections.
|
|
|
226bdc |
|
|
|
226bdc |
-** You can have a system-wide wgetrc (/usr/local/lib/wgetrc by
|
|
|
226bdc |
+** You can have a system-wide wgetrc (/etc/wgetrc by
|
|
|
226bdc |
default). Settings in $HOME/.wgetrc override the global ones, of
|
|
|
226bdc |
course :-)
|
|
|
226bdc |
|
|
|
226bdc |
diff -urN wget-1.12/README wget-1.12.patched/README
|
|
|
226bdc |
--- wget-1.12/README 2009-09-21 00:59:32.000000000 +0200
|
|
|
226bdc |
+++ wget-1.12.patched/README 2009-11-17 12:30:27.000000000 +0100
|
|
|
226bdc |
@@ -33,7 +33,7 @@
|
|
|
226bdc |
|
|
|
226bdc |
Most of the features are configurable, either through command-line
|
|
|
226bdc |
options, or via initialization file .wgetrc. Wget allows you to
|
|
|
226bdc |
-install a global startup file (/usr/local/etc/wgetrc by default) for
|
|
|
226bdc |
+install a global startup file (/etc/wgetrc by default) for
|
|
|
226bdc |
site settings.
|
|
|
226bdc |
|
|
|
226bdc |
Wget works under almost all Unix variants in use today and, unlike
|
|
|
226bdc |
--- wget-1.12/doc/wget.info.start 2011-12-19 10:34:29.409272713 -0600
|
|
|
226bdc |
+++ wget-1.12/doc/wget.info 2011-12-19 10:34:51.760129197 -0600
|
|
|
226bdc |
@@ -113,7 +113,7 @@
|
|
|
226bdc |
* Most of the features are fully configurable, either through
|
|
|
226bdc |
command line options, or via the initialization file `.wgetrc'
|
|
|
226bdc |
(*note Startup File::). Wget allows you to define "global"
|
|
|
226bdc |
- startup files (`/usr/local/etc/wgetrc' by default) for site
|
|
|
226bdc |
+ startup files (`/etc/wgetrc' by default) for site
|
|
|
226bdc |
settings. You can also specify the location of a startup file with
|
|
|
226bdc |
the -config option.
|
|
|
226bdc |
|
|
|
226bdc |
--- wget-1.12/doc/wget.texi.start 2011-12-19 10:38:18.305730849 -0600
|
|
|
226bdc |
+++ wget-1.12/doc/wget.texi 2011-12-19 10:38:49.272615753 -0600
|
|
|
226bdc |
@@ -190,14 +190,14 @@
|
|
|
226bdc |
Most of the features are fully configurable, either through command line
|
|
|
226bdc |
options, or via the initialization file @file{.wgetrc} (@pxref{Startup
|
|
|
226bdc |
File}). Wget allows you to define @dfn{global} startup files
|
|
|
226bdc |
-(@file{/usr/local/etc/wgetrc} by default) for site settings. You can also
|
|
|
226bdc |
+(@file{/etc/wgetrc} by default) for site settings. You can also
|
|
|
226bdc |
specify the location of a startup file with the --config option.
|
|
|
226bdc |
|
|
|
226bdc |
|
|
|
226bdc |
@ignore
|
|
|
226bdc |
@c man begin FILES
|
|
|
226bdc |
@table @samp
|
|
|
226bdc |
-@item /usr/local/etc/wgetrc
|
|
|
226bdc |
+@item /etc/wgetrc
|
|
|
226bdc |
Default location of the @dfn{global} startup file.
|
|
|
226bdc |
|
|
|
226bdc |
@item .wgetrc
|