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 | 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: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 bash -c 'echo -e "\n$1\n"; [[ $1 = *".list" ]] && nl -ba "$1"' _ '{}' \;</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 ===== | ||