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