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
Prochaine révision Les deux révisions suivantes
ppa [Le 08/02/2020, 00:01]
krodelabestiole [Lister les dépôts PPA installés] plus simple, en couleur, et sans commentaires
ppa [Le 08/02/2020, 00:14]
krodelabestiole [Lister les dépôts PPA installés] encore plus simple
Ligne 27: Ligne 27:
  
 <​note>​Pour avoir le détail de tous les dépôts (PPA ou non) en une seule fois, saisir la [[:​commande_shell|commande]] suivante dans un [[:​terminal]] :​ <​note>​Pour avoir le détail de tous les dépôts (PPA ou non) en une seule fois, saisir la [[:​commande_shell|commande]] suivante dans un [[:​terminal]] :​
-<​code>​find /​etc/​apt ​-type f -name '*.list' -exec grep -Hn --color ​^[^\#​] ​{} \;</​code></​note>​+<​code>​grep -Rn --include=\*.list ^[^\#​] ​/etc/apt/</​code></​note>​
  
 ===== Ajout d'un PPA à vos sources logicielles ===== ===== Ajout d'un PPA à vos sources logicielles =====
  • ppa.txt
  • Dernière modification: Le 17/10/2023, 10:46
  • par 0ol