From 0440b1aba7cb365233fef1a359c60cbf9c8c8505 Mon Sep 17 00:00:00 2001 From: Daniel Baumann Date: Sun, 5 May 2024 19:38:32 +0200 Subject: Adding debian version 1.21.3-1. Signed-off-by: Daniel Baumann --- .../wget-doc-remove-usr-local-in-sample.wgetrc | 22 ++++++++++++++++++++++ 1 file changed, 22 insertions(+) create mode 100644 debian/patches/wget-doc-remove-usr-local-in-sample.wgetrc (limited to 'debian/patches/wget-doc-remove-usr-local-in-sample.wgetrc') 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: + ## -- cgit v1.2.3