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 24/11/2019, 00:51]
78.194.2.45
ppa [Le 08/02/2020, 00:01]
krodelabestiole [Lister les dépôts PPA installés] plus simple, en couleur, et sans commentaires
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 bash -c '​echo ​-e "\n$1\n";​ [[ $1 = *"​.list" ​]] && nl -ba "​$1"'​ _ '{}' ​\;</​code></​note>​+<​code>​find /etc/apt -type f -name '​*.list'​ -exec grep -Hn --color ^[^\#] {} \;</​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