agregate the download source #63

diff --git a/_webi/template.sh b/_webi/template.sh
index 1dc05067f67a9d009fdf2e63d65904e4d5098c64..4ace5144d578450f546d37e75f83a33c2032f3ce 100644 (file)
--- 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"
 }