Fix(bin/recode_filenames.py): Decode new name

[dotfiles.git] / bin / wget-m

diff --git a/bin/wget-m b/bin/wget-m
deleted file mode 100755 (executable)
index e20ff8580eabe730ba1af991f3886a4e5134bbbd..0000000000000000000000000000000000000000
--- a/bin/wget-m
+++ /dev/null
@@ -1,10 +0,0 @@
-#! /bin/sh
-
-. "$HOME"/lib/config/wget
-
-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)

diff --git a/bin/wget-m b/bin/wget-m
new file mode 120000 (symlink)
index 0000000000000000000000000000000000000000..2583cb083f5eeec6bd35ff3d56ccf34d32876f54
--- /dev/null
+++ b/bin/wget-m
@@ -0,0 +1 @@
+wget-mirror
\ No newline at end of file