Searched refs:download_file_with_dir (Results 1 – 1 of 1) sorted by relevance
137 local -r download_file_with_dir="${DOWNLOAD_DIR}/${download_file}"142 rm -f -- "$download_file_with_dir"145 --create-dirs --output "$download_file_with_dir" "$url" || return147 verify_file "$download_file_with_dir" "$version" || {158 unzip -q -o -d "$DOWNLOAD_DIR" "$download_file_with_dir" \163 unzip -q -d "$dir" "$download_file_with_dir" || return
Completed in 4 milliseconds