#1 Le 23/05/2023, à 15:57
- DonutMan75
[RESOLU] Migration de dépôt apt ?
Bonjour à tous,
je suis sous Ubuntu 22.04 et j'ai installé il y a quelques temps le paquet matlab-psychtoolbox-3 d'un dépôt tiers neuro.debian.net
J'ai suivi les instructions de cette page : http://neuro.debian.net/install_pkg.htm … htoolbox-3
J'ai choisi un des trois serveurs en Allemagne, ajouté le dépôt en question et installé mon paquet.
Tout se passait bien sauf que depuis, le serveur en question n'est plus accessible... Je pensais que c'était transitoire mais ça fait quand même plusieurs mois que ça dure...
Je m'en aperçois car à chaque fois que je fais un update, je vois passer une erreur :
$ sudo apt-get update
[sudo] Mot de passe de donut :
Atteint :1 http://fr.archive.ubuntu.com/ubuntu jammy InRelease
Atteint :2 http://fr.archive.ubuntu.com/ubuntu jammy-updates InRelease
Atteint :3 http://security.ubuntu.com/ubuntu jammy-security InRelease
Atteint :4 http://fr.archive.ubuntu.com/ubuntu jammy-backports InRelease
Atteint :5 https://ppa.launchpadcontent.net/mozillateam/ppa/ubuntu jammy InRelease
Ign :6 http://neurodebian.ovgu.de/debian data InRelease
Ign :7 http://neurodebian.ovgu.de/debian jammy InRelease
Ign :6 http://neurodebian.ovgu.de/debian data InRelease
Ign :7 http://neurodebian.ovgu.de/debian jammy InRelease
Ign :6 http://neurodebian.ovgu.de/debian data InRelease
Ign :7 http://neurodebian.ovgu.de/debian jammy InRelease
Err :6 http://neurodebian.ovgu.de/debian data InRelease
Connexion à neurodebian.ovgu.de: 80 (141.44.17.67) impossible, délai de connexion dépassé
Err :7 http://neurodebian.ovgu.de/debian jammy InRelease
Impossible de se connecter à neurodebian.ovgu.de:http :
Lecture des listes de paquets... Fait
W: Impossible de récupérer http://neurodebian.ovgu.de/debian/dists/data/InRelease Connexion à neurodebian.ovgu.de: 80 (141.44.17.67) impossible, délai de connexion dépassé
W: Impossible de récupérer http://neurodebian.ovgu.de/debian/dists/jammy/InRelease Impossible de se connecter à neurodebian.ovgu.de:http :
W: Le téléchargement de quelques fichiers d'index a échoué, ils ont été ignorés, ou les anciens ont été utilisés à la place.
Effectivement le serveur ne répond pas au ping :
$ ping neurodebian.ovgu.de
PING karr.gse.uni-magdeburg.de (141.44.17.67) 56(84) bytes of data.
^C
--- karr.gse.uni-magdeburg.de ping statistics ---
4 packets transmitted, 0 received, 100% packet loss, time 3080ms
Les autres serveurs allemand qui étaient proposés semblent être quant à eux toujours dispo. Par exemple :
$ ping neurodebian.g-node.org
PING neurodebian.g-node.org (141.84.43.20) 56(84) bytes of data.
64 bytes from neurodebian.g-node.org (141.84.43.20): icmp_seq=1 ttl=49 time=29.6 ms
64 bytes from neurodebian.g-node.org (141.84.43.20): icmp_seq=2 ttl=49 time=32.4 ms
64 bytes from neurodebian.g-node.org (141.84.43.20): icmp_seq=3 ttl=49 time=32.4 ms
Voici le contenu actuel de neurodebian.sources.list
$ cat /etc/apt/sources.list.d/neurodebian.sources.list
deb http://neurodebian.ovgu.de/debian data main contrib non-free
# deb-src http://neurodebian.ovgu.de/debian data main contrib non-free
deb http://neurodebian.ovgu.de/debian jammy main contrib non-free
# deb-src http://neurodebian.ovgu.de/debian jammy main contrib non-free
J'aimerais donc switcher de dépôt et prendre le dépôt allemand qui fonctionne.
Mon idée "propre" serait de :
supprimer le paquet installé via apt-get remove
supprimer le dépôt foireux en supprimant le fichier /etc/apt/sources.list.d/neurodebian.sources.list (je ne suis pas sûr que add-apt-repository --remove fonctionne vu que ce dépôt a été installé par wget ?)
refaire la procédure d'installation en choisissant le bon serveur (et en espérant que celui-ci soit un peu pérenne)
Je pense que c'est la bonne façon de faire (bien que j'ai un petit doute sur la suppression bête et méchante d'un fichier dans sources.list.d)
D'un autre côté, étant donné que les dépôts sont censés être identiques, est-ce que je ne pourrais pas les switcher sans désinstaller le paquet en question ?? Casse gueule ?
Ca m'éviterait d'avoir à réinstaller un paquet que j'avais configuré aux petits oignons...
Merci par avance pour vos retours !
Donut
Dernière modification par DonutMan75 (Le 25/05/2023, à 16:36)
Hors ligne
#2 Le 23/05/2023, à 16:02
- Vobul
Re : [RESOLU] Migration de dépôt apt ?
Oui tu peux simplement éditer l'adresse dans le fichier dans source.d ça devrait fonctionner sans soucis.
Vobul
Utilisez le retour utilisable de commandes !!!
J'aime la langue française, mais je parle franglais, deal with it.
RTFM
Hors ligne
#3 Le 25/05/2023, à 16:36
- DonutMan75
Re : [RESOLU] Migration de dépôt apt ?
Yes j'ai fait ça et ça a marché nickel !
Merci beaucoup
D.
Hors ligne