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 18/07/2018, 14:22] L'Africain [Créer son propre dépôt PPA] |
ppa [Le 18/11/2018, 22:09] 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 ===== | ||