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 18/07/2018, 14:22]
L'Africain [Créer son propre dépôt PPA]
ppa [Le 18/11/2018, 22:09] (Version actuelle)
88.189.253.25 [Lister les dépôts PPA installés]
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";​ nl -ba "​$1"'​ _ '​{}'​ \;</​code></​note>​+<​code>​find /etc/apt -type f -name '​*.list*'​ -exec bash -c 'echo -e "​\n$1\n"; ​[[ $1 = *"​.list"​ ]] && ​nl -ba "​$1"'​ _ '​{}'​ \;</​code></​note>​
  
 ===== Ajout d'un PPA à vos sources logicielles ===== ===== Ajout d'un PPA à vos sources logicielles =====
  • ppa.1531916543.txt.gz
  • Dernière modification: Le 18/07/2018, 14:22
  • par L'Africain