PEAR se dote de mirroirs

Deux miroirs ont été mis en place dont un en allemagne.

Donc voilà, nous petit neuropéens pouvons faire un petit

pear config-set preferred_mirror de.pear.php.net

Enfin si ca marche du premier coup car chez moi

pear config-set preferred_mirror de.pear.php.net
config-set (preferred_mirror, de.pear.php.net, user) failed, 
 channel pear.php.net

Après m'être battu avec pear et reçu l'aide de Joshua et Christian, on (ils ont) a fini par trouver.

L'update du channel pear ne voulait pas se faire et donc les miroir n'étaient pas connus de mon PEAR.

Cela a pu être vérifié par l'absence de us.pear.php.net et de.pear.php.net dans le fichier .channels/pear.php.net.reg (plus ou moins lisible, c'est une sérialisation)

Solution :

  1. renommer channels/pear.php.net.reg en channels/pear.php.net.reg.bak
  2. pear update-channels
  3. pear config-set preferred_mirror de.pear.php.net