Skip to main content

Randomize mirrorlist

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