J'ai ajouté de nombreux PPAs en utilisant la commande add-apt-repository
. Existe-t-il un moyen simple de supprimer ces PPAs ? J'ai vérifié dans /etc/apt/sources.list
les lignes deb appropriées mais elles n'y sont pas.
Nous sommes sur un système serveur, donc une solution en ligne de commande serait la bienvenue !
Utilisez le drapeau --remove
, de la même façon que le PPA a été ajouté :
sudo add-apt-repository --remove ppa:whatever/ppa
Comme alternative plus sûre, vous pouvez installer ppa-purge :
sudo apt-get install ppa-purge
Et ensuite supprimer le PPA, en rétrogradant gracieusement les paquets qu'il fournissait vers les paquets fournis par les dépôts officiels :
sudo ppa-purge ppa:whatever/ppa
Notez que cela désinstallera les paquets fournis par le PPA, mais pas ceux fournis par les dépôts officiels. Si vous voulez les supprimer, vous devez le dire à apt :
sudo apt-get purge package_name
Vous pouvez également supprimer les PPAs en supprimant les fichiers .list
du répertoire /etc/apt/sources.list.d
.
Enfin, vous pouvez également désactiver ou supprimer les PPAs dans la section "Sources logicielles" des Paramètres Ubuntu en quelques clics de souris (pas besoin de terminal).
Vous pouvez utiliser le
sudo ppa-purge ppa:repository-name/subdirectory
dans un terminal.
Vous devez d'abord installer ppa-purge
pour utiliser cette commande. Pour ce faire, utilisez sudo apt-get install ppa-purge
ou cliquez sur ce bouton :
!Installer via le centre logiciel](https://apps.ubuntu.com/cat/applications/ppa-purge)
Vous trouverez plus d'informations à ce sujet [ici][1].
[1] : http://bigbrovar.aoizora.org/index.php/2010/01/10/how-to-safely-remove-ppa-repository-from-ubuntu/
Vous pouvez gérer vos dépôts dans System > Administration > Software Sources
.
Vous pouvez également les supprimer dans /etc/apt/sources.list.d/
où vous trouverez un fichier <repo>-ppa-<distro>.list
. Vous pouvez supprimer ce fichier ou simplement commenter la ligne deb.