I need to randomize mirrorlist
This is how I do
wget 'https://archlinux.org/mirrorlist/?country=FR&country=DE&protocol=http&ip_version=4' --quiet -O - \
| awk 'BEGIN{srand()}{print int(rand()*1000000), $0}' \
| grep '#Server = ' \
| sort -n -k 1 \
| awk -F'#' '{print $2}' > /etc/pacman.d/mirrorlist
curl 'https://archlinux.org/mirrorlist/?country=FR&country=DE&protocol=http&ip_version=4' --silent \
| awk 'BEGIN{srand()}{print int(rand()*1000000), $0}' \
| grep '#Server = ' \
| sort -n -k 1 \
| awk -F'#' '{print $2}' > /etc/pacman.d/mirrorlist