답변:
다음과 같이 할 수 있습니다 :
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
노트:
grep 일치하는 것을 찾으면 성공으로 종료!무효화하므로 일치하는 항목이 없으면 명령이 실행됩니다.-q플래그는 수 grep 조용 가 일치하는 라인을 인쇄하지 않도록. 그냥 잡음 일 것입니다. 종료 코드가 완벽한 지 여부 만 알면됩니다.^deb .*접두사는 반드시 일치하는 라인을 시작하는 것입니다 deb, 주석 처리되어 라인을 제외터미널을 열고이 명령을 입력하십시오
grep ^ /etc/apt/sources.list /etc/apt/sources.list.d/* | grep fogger
fogger를 PPA 이름으로 바꿉니다.

list.save 파일, 소스를 제거하면 deb 줄만 확인하고 "fogger"ppa로 계산하십시오.
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주석이 달린 행을 찾고로 시작하며 # deb파일의 행은 foo-ppa.list.distUpgrade의도 한 것입니까?