Je voudrais créer un script qui ajoutera un nouveau PPA ou sautera s'il est déjà installé. Quelqu'un a posté cette solution à une autre question: #!/bin/bash add_ppa() { for i in "$@"; do grep -h "^deb.*$i" /etc/apt/sources.list.d/* > /dev/null 2>&1 if [ $? -ne 0 ] then echo "Adding...