Take the 2-minute tour ×
Server Fault is a question and answer site for professional system and network administrators. It's 100% free, no registration required.

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:

http://chemicaloliver.net/internet/installing-php-5-4-in-ubuntu/

add-apt-repository ppa:ondrej/php5 

yields:

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

And the steps here: http://vjetnamnet.com/how-to-install-php-5-4-on-debian-using-dotdeb-repository/ 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

1 Answer 1

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

 
discard

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.