Est-ce que quelqu'un sait comment vérifier si un PPA est déjà ajouté à mon système avant de l'ajouter avec la add-apt-repository
commande dans a shell script
.
Ce serait très utile.
Je vous remercie.
command-line
bash
scripts
Josh
la source
la source
Ouvrez votre terminal et tapez cette commande
remplacer le brumisateur par le nom PPA.
la source
Supprimer les fichiers list.save, les sources, assurer uniquement les lignes deb et les compter pour le ppa "fogger":
la source
deb
lignes commentées, en commençant par# deb
, et les lignes de fichiers commefoo-ppa.list.distUpgrade
- est-ce prévu?