Différences
Ci-dessous, les différences entre deux révisions de la page.
Les deux révisions précédentes Révision précédente | Prochaine révision Les deux révisions suivantes | ||
ppa [Le 04/06/2018, 13:40] 185.167.221.1 [La méthode classique « APT-GET »] |
ppa [Le 04/06/2018, 16:13] 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 |