Update mido.sh

This commit is contained in:
Kroese 2024-06-10 20:54:56 +02:00 committed by GitHub
parent 66db5cd11e
commit 85aa3470a4
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -510,10 +510,16 @@ downloadFile() {
local size="$4"
local lang="$5"
local desc="$6"
local rc total progress domain dots
local rc total progress domain dots space folder
rm -f "$iso"
if [ -n "$size" ] && [[ "$size" != "0" ]]; then
folder=$(dirname -- "$iso")
space=$(df --output=avail -B 1 "$folder" | tail -n 1)
(( size > space )) && error "Not enough free space left to download file!" && return 1
fi
# Check if running with interactive TTY or redirected to docker log
if [ -t 1 ]; then
progress="--progress=bar:noscroll"