You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Currently, the mirrors list is a local file. A first thought, it may be a good idea to let mirrorselect download it from a specified URL. However, after thinking, it seems unnecessary. Updating the local mirrors file isn't necessary harder than updating the remote file pointed by the URL.
Well, if it's a real requirement, we can then do it. By the way, we can then even make mirrorselect to periodically poll for updates.
The text was updated successfully, but these errors were encountered:
Currently, the mirrors list is a local file. A first thought, it may be a good idea to let
mirrorselect
download it from a specified URL. However, after thinking, it seems unnecessary. Updating the local mirrors file isn't necessary harder than updating the remote file pointed by the URL.Well, if it's a real requirement, we can then do it. By the way, we can then even make
mirrorselect
to periodically poll for updates.The text was updated successfully, but these errors were encountered: