return 0
fi
- echo "Downloading $PKG_NAME from:"
- echo -e "\e]8;;$WEBI_PKG_URL\a$WEBI_PKG_URL\e]8;;\a"
+ echo "Downloading $PKG_NAME from"
+ echo "$my_url"
+
# It's only 2020, we can't expect to have reliable CLI tools
# to tell us the size of a file as part of a base system...
if [ -n "$WEBI_WGET" ]; then
# TODO curl -fsSL --remote-name --remote-header-name --write-out "$my_url"
curl -fSL -H "User-Agent: curl $WEBI_UA" "$my_url" -o "$my_dl.part"
fi
+ mv "$my_dl.part" "$my_dl"
+
echo ""
echo "Saved as $my_dl"
- mv "$my_dl.part" "$my_dl"
}
# detect which archives can be used