Différences

Ci-dessous, les différences entre deux révisions de la page.

Lien vers cette vue comparative

Les deux révisions précédentes Révision précédente
ppa [Le 04/06/2018, 13:40]
185.167.221.1 [La méthode classique « APT-GET »]
ppa [Le 04/06/2018, 16:13] (Version actuelle)
L'Africain ancienne révision (Le 28/02/2018, 11:50) restaurée
Ligne 81: Ligne 81:
  
 ==== La méthode classique « APT-GET » ==== ==== La méthode classique « APT-GET » ====
 +
 +=== Suppression d'un PPA ===
 +
 +==Sans désinstaller les paquets du PPA==
 +
 +Il suffit de saisir dans un [[:​terminal]] la [[:​commande_shell|commande]] suivante:
 +
 +<code bash>​sudo add-apt-repository --remove ppa:<​nom_du_dépôt></​code>​
  
 ou ou
  • ppa.txt
  • Dernière modification: Le 04/06/2018, 16:13
  • par L'Africain