CI: website upload via Cloudgate

2023-11-10 22:11:06 -05:00
parent ac7ce43976
commit 506fd494ab
2 changed files with 7 additions and 4 deletions
--- a/.github/scripts/update-distro-download-page.sh
+++ b/.github/scripts/update-distro-download-page.sh
@@ -32,7 +32,7 @@ for file in $files
 do
  if [[ "$file" =~ ^"s3://tools-spring-io" ]]; then
    download_url=https://cdn.spring.io/spring-tools${file:20} #
-    filename=${file:${#s3_url}}
+    filename=${file:${#s3_url}+1}
    echo '  <li><a href="'${download_url}'">'${filename}'</li>' >> $downloads_html
  fi
 done