Impossible d'ajouter PPA sur Ubuntu 15.10 - l'utilisateur ou l'équipe n'existe pas
Depuis que j'ai installé Ubuntu 15.10, je ne peux plus ajouter de ppa à ma liste de référentiels:
@:~>Sudo apt-add-repository ppa:git-core/ppa
Cannot add PPA: 'ppa:~git-core/ubuntu/ppa'.
ERROR: '~git-core' user or team does not exist.
Est-ce que quelqu'un sait ce qui a changé en 15h10? Peut-être que c'est un problème avec un serveur proxy. Je suis derrière un serveur proxy, mais tout le reste, comme wget ou apt-get, fonctionne avec ma configuration actuelle.
Vous devez d'abord exporter la variable d'environnement. Ouvrez un terminal et lancez:
export http_proxy="http://username:password@proxy:port/"
export https_proxy="https://username:password@proxy:port/"
Ajoutez maintenant le PPA:
Sudo -E add-apt-repository ppa:git-core/ppa
Vous obtiendrez une invite:
➜ ~ Sudo -E apt-add-repository ppa: git-core/ppa La version la plus récente et stable de Git pour Ubuntu. Pour les candidats à la libération , allez à https://launchpad.net/~git-core/+archive/candidate. Plus d'infos: https://launchpad.net/~git-core/+archive/ubuntu/ppa Appuyez sur [ENTER] pour continuer ou sur ctrl-c pour annuler l'ajout de
Presse Enter et vous pourrez installer depuis un PPA.
La réponse de l'OP
J'ai trouvé le problème, il était vraiment lié au serveur proxy mais avec un fond différent. Notre serveur utilise une authentification qui n’a pas été configurée ici. Après l'avoir désactivé, le problème a disparu. La pensée étrange est le message d'erreur trompeur. Donc, espérons que cela lira quelqu'un à l'avenir avec le même problème.