comment supprimer le dépôt de mise à jour qui échoue toujours

9

Il y a environ une semaine, j'ai essayé d'ajouter un nouveau référentiel de packages qui supposait avoir un package que je voulais. Malheureusement, les informations à ce sujet étaient obsolètes et j'ai constaté qu'il ne parvient pas à s'y connecter à chaque fois. Je voudrais simplement supprimer le nouveau dépôt, mais je ne sais pas comment procéder.

Pour le contexte, lorsque je mets à jour, j'obtiens ceci:

W:Failed to fetch http://ppa.launchpad.net/geod/ppa-geod/ubuntu/dists/precise/main/source/Sources  404  Not Found [IP: 135.214.42.30 8080]
, W:Failed to fetch http://ppa.launchpad.net/geod/ppa-geod/ubuntu/dists/precise/main/binary-amd64/Packages  404  Not Found [IP: 135.214.42.30 8080]
, W:Failed to fetch http://ppa.launchpad.net/geod/ppa-geod/ubuntu/dists/precise/main/binary-i386/Packages  404  Not Found [IP: 135.214.42.30 8080]
, E:Some index files failed to download. They have been ignored, or old ones used instead.

update-manager

— David M. Karr
source

14

Ouvrez une fenêtre de terminal (ctrl-alt-t) et exécutez

sudo apt-get install ppa-purge

sudo ppa-purge ppa:geod/ppa-geod

Cela devrait faire l'affaire.

Alternativement, vous pouvez exécuter software-properties-gtk, dans la fenêtre qui s'ouvre, sélectionner l'onglet Autre logiciel, rechercher les lignes correspondantes et les supprimer.

— mikewthing
source

2

J'aurais dû essayer le "alternativement" en premier. Le premier échoue avec un problème de poulet / œuf. Il refuse de supprimer un dépôt auquel il ne peut pas se connecter. Pourquoi diable cette boîte de dialogue n'est-elle pas disponible directement à partir de l'interface graphique du gestionnaire de mise à jour? Cela n'aurait-il pas de sens?

— David M. Karr

Un pour une méthode alternative!

— Barmaley

8

Si vous connaissez l'erreur de dépôt, utilisez simplement sudo rm /etc/apt/sources.list.d/REPO-DIST.list

Si vous voulez vérifier ce que vous avez ajouté puis en retirer, vous pouvez toujours vérifier avec:

ls /etc/apt/sources.list.d/

Puis avec la commande mentionnée ci-dessus.

— amrx
source

0

Voici la manière la plus simple :

Ouvrez le terminal
sudo software-properties-gtk
La fenêtre s'ouvrira
allez dans l' onglet " Autres logiciels "
sélectionnez l'élément de la liste que vous souhaitez supprimer
Cliquez sur Supprimer et vous avez terminé. À votre santé !!!

— Viks
source