. "$HOME"/lib/config/wget
-exec wget --mirror --continue -e robots=off --limit-rate="$wget_speed" \
- --page-requisites --wait=15 --random-wait --proxy=off -nH --no-parent \
- --trust-server-names "$@"
+exec wget -4 --mirror --continue -e robots=off --limit-rate="$wget_speed" \
+ --page-requisites --proxy=off -nH --no-parent --trust-server-names \
+ --wait=15 --random-wait "$@"
# Other useful flags are: -b (--background) --cut-dirs -E (--html-extension)
# -k (--convert-links)
. "$HOME"/lib/config/wget
-exec wget --continue -N --limit-rate="$wget_speed" --proxy=off \
- --no-directories --trust-server-names "$@"
+exec wget -4 --continue --limit-rate="$wget_speed" -N --no-directories \
+ --proxy=off --trust-server-names "$@"
-# Other useful flags are: -b (--background)
-# -E (--html-extension) --page-requisites
+# Other useful flags are: -b (--background) -E (--html-extension)
+# --page-requisites