Eu criei alguns scripts para habilitar (reativar) e desabilitar os PPAs, especialmente após um upgrade. Aqui estão eles:
PPA reativar script
#! /bin/bash
# PPA re-enable script
# Use: ppa-reenable source.list
# to reenable a PPA without its source line
# Use: ppa-reenable src source.list
# to reenable a PPA with its source line
mod=1
file=""
if [ == "src" ]; then mod=""; file=""; fi;
sudo sed -i "${mod}s/^# \(.*\) \(disabled on upgrade.*\)\?//" "$file"
Script de desativação do PPA
#! /bin/bash
# PPA disable script
# Use: ppa-disable source.list
# to disable the PPA completely
# Use: ppa-disable src source.list
# to disable the source of the PPA only
file=""
mod=""
# If its only needed to disable the source
if [ = "src" ]; then mod="2"; file=""; fi;
# If source line is disabled, don't comment it out
second="'sed -n 2p \"$file\"'"
second="${second:0:1}"
if ( [ $second == "#" ] && [ $mod != "2" ] ); then
mod="1"
fi
sudo sed -i "${mod}s/^/# /" "$file"
O sudo
está incluído para que você possa armazenar esse script em seu diretório bin da casa