Mike's Blog
debian switching php versions
dpkg -l | grep dotdeb | awk ' { print ( $(2) ) }' > to_remove2
apt-get remove $(cat <to_remove2>)
dpkg -l | grep dotdeb | awk ' { print ( $(2) ) }' > to_remove2
apt-get remove $(cat <to_remove2>)