mirror of
https://github.com/webinstall/webi-installers.git
synced 2026-03-04 02:10:18 +00:00
fixed issue #63
This commit is contained in:
@@ -147,8 +147,8 @@ webi_download() {
|
||||
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:" #Show the package and the source URL
|
||||
echo "$WEBI_PKG_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
|
||||
@@ -167,7 +167,7 @@ webi_download() {
|
||||
curl -fSL -H "User-Agent: curl $WEBI_UA" "$my_url" -o "$my_dl.part"
|
||||
fi
|
||||
echo ""
|
||||
echo "Saved as $my_dl"
|
||||
echo "Saved as $my_dl" #Show the path of the package
|
||||
mv "$my_dl.part" "$my_dl"
|
||||
}
|
||||
|
||||
|
||||
Reference in New Issue
Block a user