jblakeman / apt-select

Ubuntu Archive Mirror reporting tool for apt sources configuration.
MIT License
333 stars 44 forks source link

Add random flag #87

Open kwavnet opened 1 year ago

kwavnet commented 1 year ago

to randomly select a mirror from the determined list. This should help working around the fact, that even though a mirror is ranked highest it could be still having temporary difficulties. This can be used in CI systems where interactive --choose flag is not an option