Update mido.sh

This commit is contained in:
Kroese 2024-05-03 03:07:14 +02:00 committed by GitHub
parent 47b260737e
commit e58f4c432c
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -388,7 +388,7 @@ consumer_download() {
# Filter for 64-bit ISO download URL # Filter for 64-bit ISO download URL
# sed: HTML decode "&" character # sed: HTML decode "&" character
# tr: Filter for only alphanumerics or punctuation # tr: Filter for only alphanumerics or punctuation
iso_download_link="$(echo "$iso_download_link_html" | grep -o "https://software.download.prss.microsoft.com.*IsoX64" | cut -d '"' -f 1 | sed 's/&/\&/g' | tr -cd '[:alnum:][:punct:]' | head -c 512)" iso_download_link="$(echo "$iso_download_link_html" | grep -o "https://software.download.prss.microsoft.com.*IsoX64" | cut -d '"' -f 1 | sed 's/&/\&/g' | tr -cd '[:alnum:][:punct:]')"
if ! [ "$iso_download_link" ]; then if ! [ "$iso_download_link" ]; then
# This should only happen if there's been some change to the download endpoint web address # This should only happen if there's been some change to the download endpoint web address