summaryrefslogtreecommitdiffstats
path: root/debian/patches/wget-doc-remove-usr-local-in-sample.wgetrc
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--debian/patches/wget-doc-remove-usr-local-in-sample.wgetrc22
1 files changed, 22 insertions, 0 deletions
diff --git a/debian/patches/wget-doc-remove-usr-local-in-sample.wgetrc b/debian/patches/wget-doc-remove-usr-local-in-sample.wgetrc
new file mode 100644
index 0000000..9224525
--- /dev/null
+++ b/debian/patches/wget-doc-remove-usr-local-in-sample.wgetrc
@@ -0,0 +1,22 @@
+corrects the wgetrc path from /usr/local/etc/ to /etc/wgetrc in the sample wgetrc
+
+--- a/doc/sample.wgetrc
++++ b/doc/sample.wgetrc
+@@ -10,7 +10,7 @@
+ ## Or online here:
+ ## https://www.gnu.org/software/wget/manual/wget.html#Startup-File
+ ##
+-## Wget initialization file can reside in /usr/local/etc/wgetrc
++## Wget initialization file can reside in /etc/wgetrc
+ ## (global, for all users) or $HOME/.wgetrc (for a single user).
+ ##
+ ## To use the settings in this file, you will have to uncomment them,
+@@ -19,7 +19,7 @@
+
+
+ ##
+-## Global settings (useful for setting up in /usr/local/etc/wgetrc).
++## Global settings (useful for setting up in /etc/wgetrc).
+ ## Think well before you change them, since they may reduce wget's
+ ## functionality, and make it behave contrary to the documentation:
+ ##