diff options
| author | Gareth Rees <gareth@mysociety.org> | 2014-05-14 14:20:43 +0100 |
|---|---|---|
| committer | Gareth Rees <gareth@mysociety.org> | 2014-05-14 14:28:12 +0100 |
| commit | cdd02daee22880f3270ab4a37928a3131e1266f4 (patch) | |
| tree | cb2f9e3389c8a1c40906bfe0a55c7c753cb02c48 | |
| parent | 634bb8784d38e388e72ea73f6174238a894d564e (diff) | |
Remove package pinning from manual install docs
[11:46:34] <@mark> gareth: i don't think the pinning configuration in
the install instructions is necessary any more, but the one i added in
install-site.sh is probably worth keeping, just to say that our versions
of packages should generally have lower priority
[11:47:07] <@mark> (i'm not 100% sure that that's necessary now, but i
don't think i would have added it without some good reason)
[11:47:11] <@mark> (possibly rash assumption ;))
| -rw-r--r-- | installing/manual_install.md | 22 |
1 files changed, 0 insertions, 22 deletions
diff --git a/installing/manual_install.md b/installing/manual_install.md index b6fc808b2..79b0525af 100644 --- a/installing/manual_install.md +++ b/installing/manual_install.md @@ -49,28 +49,6 @@ submodules, run: git submodule update --init -## 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 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 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=wheezy">> /tmp/preferences - echo "Pin-Priority: 50" >> /tmp/preferences - sudo cp /tmp/preferences /etc/apt/ - rm /tmp/preferences - ## Install system dependencies These are packages that the software depends on: third-party software used to |