a misfeature


pkg pine version ###
pkg pine version 4.44-2
The following package will be installed or updated:
pine
curl -f -L -O ftp://ftp.cac.washington.edu/pine/old/pine4.44.tar.gz
curl: (19) pine4.44.tar.gz: No such file or directory.
### execution of curl failed, exit code 19
Downloading the file “pine4.44.tar.gz” failed.

(1) Give up
(2) Retry the same mirror
(3) Retry another mirror

How do you want to proceed? [2] 3
curl -f -L -O ftp://ftp.cac.washington.edu/pine/pine4.44.tar.gz
% Total % Received % Xferd Average Speed Time Curr.
Dload Upload Total Current Left Speed
100 3396k 100 3396k 0 0 176k 0 0:00:19 0:00:19 0:00:00 169k

Any reason why we don’t just try a different mirror without asking?