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 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 ===== |