diff options
| author | Daniel Baumann <daniel.baumann@progress-linux.org> | 2024-05-06 03:06:58 +0000 |
|---|---|---|
| committer | Daniel Baumann <daniel.baumann@progress-linux.org> | 2024-05-06 03:06:58 +0000 |
| commit | 98e6007c9dbc6151052d380276303d2efa14051c (patch) | |
| tree | 145ac5d9bd5ed7f2937204187ff02adff0faf02c /debian/patches/wget-doc-remove-usr-local-in-sample.wgetrc | |
| parent | Adding upstream version 1.20.1. (diff) | |
| download | wget-debian.tar.xz wget-debian.zip | |
Adding debian version 1.20.1-1.1.debian/1.20.1-1.1debian
Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>
Diffstat (limited to '')
| -rw-r--r-- | debian/patches/wget-doc-remove-usr-local-in-sample.wgetrc | 22 |
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: + ## |