Descobri que haveria uma resposta fácil no Google, mas sem sorte. A maioria dos tutoriais, embora semelhantes ao que eu preciso, não funcionam no Debian:
add-apt-repository ppa:ondrej/php5
rendimentos:
-bash: add-apt-repository: command not found
E os passos aqui: link chegar a
apt-get update
N: Ignoring file 'dotdeb.gpg' in directory '/etc/apt/sources.list.d/' as it has an invalid filename extension
N: Ignoring file 'dotdeb.gpg.1' in directory '/etc/apt/sources.list.d/' as it has an invalid filename extension
E: Type 'Deb' is not known on line 1 in sources list /etc/apt/sources.list.d/sources.list
E: The list of sources could not be read.
Os arquivos dotdeb.gpg não devem estar em /etc/apt/sources.list.d/ Se você executou o comando cat dotdeb.gpg | sudo apt-key add - , você terminou com esses arquivos para poder excluí-los.
Quanto a /etc/apt/sources.list.d/sources.list , deb tem que estar em todos os minúsculos. Você tem um capital D .
O Ubuntu é baseado no Debian, mas não é o mesmo que o Debian. Instruções para o Debian geralmente funcionam no Ubuntu, mas geralmente não o contrário.