Ok, I think that I have got it. The file /etc/pacman.conf, is fine and does not need editing. I need to edit the /etc/pacman.d/mirrorlist , which I can do by following the directions. Thanks to all.