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