je pose ma question ici à tout hasard.
J'ai fais récemment ma mise à jour de mint en version 19 et je ne sais pas si cela est lié mais lorsque je veux ajouter le ppa sudo add-apt-repository ppa:thopiekar/cura ou sudo add-apt-repository ppa:thopiekar/cura-master
je tombe sur
Instructions:
Code: Select all
* https://thopiekar.eu/cura/ppa/installation/
Plus d'informations : https://launchpad.net/~thopiekar/+archive/ubuntu/cura
Appuyez sur Entrée pour continuer ou Ctrl+C pour annuler
Executing: /tmp/apt-key-gpghome.HGkDFYlqDJ/gpg.1.sh --keyserver hkp://keyserver.ubuntu.com:80 --recv-keys 9FFECCF3
gpg: échec de réception depuis le serveur de clefs : Aucun serveur de clefs disponible
J'ai essayer en faisant paquet par paquet mais c'est un peu long et les dépendances ne suivent pas.
Enfin je pense que c'est surtout que je ne les fait pas dans le bon ordre.
Bref j'aimerais bien pouvoir ajouter ce ppa.
Si quelqu'un a une solution ?...
je ne passe pas par un proxy