Server Fault is a question and answer site for system and network administrators. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Figured there would be an easy answer on Google, but no luck. Most of the tutorials, while similar to what I need, don't work on Debian:

add-apt-repository ppa:ondrej/php5 


-bash: add-apt-repository: command not found

And the steps here: get to

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.
share|improve this question
up vote 1 down vote accepted

The dotdeb.gpg files shouldn't be in /etc/apt/sources.list.d/ If you ran the cat dotdeb.gpg | sudo apt-key add - command, then you're finished with those files so you can delete them.

As for /etc/apt/sources.list.d/sources.list, deb has to be in all lower case. You have a capital D.

Ubuntu is based on Debian, but isn't the same as Debian. Instructions for Debian usually work in Ubuntu, but usually not the other way around.

share|improve this answer
Strange, that Deb was there by default from the turnkey solution I used. But your recommended changes worked like a charm, thank you! – Nick Brown Dec 10 '12 at 16:42

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.