From 24bef330c7dec03b08c0559b42f9c09e2df862a7 Mon Sep 17 00:00:00 2001 From: yollotltamayo Date: Wed, 29 Jul 2020 22:37:30 -0500 Subject: [PATCH] agregate the download source #63 --- _webi/template.sh | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/_webi/template.sh b/_webi/template.sh index 1dc0506..4ace514 100644 --- a/_webi/template.sh +++ b/_webi/template.sh @@ -147,8 +147,8 @@ webi_download() { return 0 fi - echo "Downloading $PKG_NAME to $my_dl" - + echo "Downloading $PKG_NAME from:" + echo -e "\e]8;;$WEBI_PKG_URL\a$WEBI_PKG_URL\e]8;;\a" # 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 @@ -166,7 +166,8 @@ webi_download() { # 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 - + echo "" + echo "Saved as $my_dl" mv "$my_dl.part" "$my_dl" } -- 2.25.1