diff options
author | Louise Crow <louise.crow@gmail.com> | 2013-09-17 17:55:16 +0100 |
---|---|---|
committer | Louise Crow <louise.crow@gmail.com> | 2013-09-17 17:55:16 +0100 |
commit | 0b401d788b6863912d7189af2a31d0960708b7af (patch) | |
tree | 9031498a4088247394f24346544d1b15b47296b3 | |
parent | 6fbcb461025dc315d688038d9f0a8e138d00ba33 (diff) |
Be explicit about which distribution we use packages from
'testing' is now jessie for debian - so be explicit that wheezy is the distribution we want to add.
-rw-r--r-- | doc/INSTALL.md | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/doc/INSTALL.md b/doc/INSTALL.md index e99cb491d..e466edd55 100644 --- a/doc/INSTALL.md +++ b/doc/INSTALL.md @@ -27,16 +27,16 @@ master branch (which always contains the latest stable release): # Package pinning -You need to configure [apt-pinning](http://wiki.debian.org/AptPreferences#Pinning-1) preferences in order to prevent packages being pulled from the debian testing distribution in preference to the stable distribution once you have added the testing repository as described below. +You need to configure [apt-pinning](http://wiki.debian.org/AptPreferences#Pinning-1) preferences in order to prevent packages being pulled from the debian wheezy distribution in preference to the stable distribution once you have added the wheezy repository as described below. -In order to configure apt-pinning and to keep most packages coming from the Debian stable repository while installing the ones required from testing and the mySociety repository you need to run the following commands: +In order to configure apt-pinning and to keep most packages coming from the Debian stable repository while installing the ones required from wheezy and the mySociety repository you need to run the following commands: echo "Package: *" >> /tmp/preferences echo "Pin: release a=squeeze-backports">> /tmp/preferences echo "Pin-Priority: 200" >> /tmp/preferences echo "" >> /tmp/preferences echo "Package: *" >> /tmp/preferences - echo "Pin: release a=testing">> /tmp/preferences + echo "Pin: release a=wheezy">> /tmp/preferences echo "Pin-Priority: 50" >> /tmp/preferences sudo cp /tmp/preferences /etc/apt/ rm /tmp/preferences @@ -52,7 +52,7 @@ If you are running Debian, add the following repositories to `/etc/apt/sources.list` and run `apt-get update`: deb http://debian.mysociety.org squeeze main - deb http://ftp.debian.org/debian/ testing main non-free contrib + deb http://ftp.debian.org/debian/ wheezy main non-free contrib deb http://backports.debian.org/debian-backports squeeze-backports main contrib non-free The repositories above allow us to install the packages |