Se stai scaricando file di grandi dimensioni come questo su una connessione che non è affidabile, la soluzione migliore è probabilmente quella di utilizzare uno strumento da riga di comando come curl
.
Apri una finestra di Terminale, cambia la directory dove vuoi scaricare il file (ad esempio cd ~/Desktop
da salvare sul desktop). Quindi digita il comando curl -OC - http://isoredirect.centos.org/centos/7/isos/x86_64/CentOS-7-x86_64-DVD-1503-01.iso
per scaricare l'immagine ISO di CentOS (ho appena scelto questo URL per un esempio, utilizzalo come preferisci).
Se il download diventa parte della strada e si blocca o muore, puoi semplicemente eseguire di nuovo lo stesso comando e riprendere dal punto in cui era stato interrotto.
Il O
nel comando dice a curl di usare il nome file remoto e C -
gli dice di continuare dove si è fermato in precedenza.
Nota: i server devono essere configurati per consentire ai download di iniziare da posizioni casuali, quindi se provi a farlo e si inizia sempre dall'inizio potrebbe essere che il server non lo supporta.