Réponses:
Vous pouvez faire quelque chose comme ça:
the_ppa=... # e.g. the_ppa="ondrej/apache2"
if ! grep -q "^deb .*$the_ppa" /etc/apt/sources.list /etc/apt/sources.list.d/*; then
# commands to add the ppa ...
fi
Remarques:
grep
quitte avec succès s'il trouve une correspondance!
nie cela, donc les commandes seront exécutées s'il n'y a pas de correspondance = ppa non ajouté-q
drapeau est grep
silencieux , il n'imprime donc pas les lignes correspondantes. Ce ne serait que du bruit, il suffit de savoir s'il y a correspondance ou non, pour lequel le code de sortie est parfait^deb .*
préfixe est de s'assurer que la ligne correspondante commence par deb
, d'exclure les lignes commentéesOuvrez votre terminal et tapez cette commande
grep ^ /etc/apt/sources.list /etc/apt/sources.list.d/* | grep fogger
remplacer le brumisateur par le nom PPA.
Supprimer les fichiers list.save, les sources, assurer uniquement les lignes deb et les compter pour le ppa "fogger":
ppa_added=`grep ^ /etc/apt/sources.list /etc/apt/sources.list.d/* | grep -v list.save | grep -v deb-src | grep deb | grep fogger | wc -l`
echo $ppa_added
deb
lignes commentées, en commençant par # deb
, et les lignes de fichiers comme foo-ppa.list.distUpgrade
- est-ce prévu?