diff options
author | Gareth Rees <gareth@mysociety.org> | 2014-05-14 14:43:19 +0100 |
---|---|---|
committer | Gareth Rees <gareth@mysociety.org> | 2014-05-14 14:43:19 +0100 |
commit | 3ca23ed222c7446c41026bf95e9b4448f1586e34 (patch) | |
tree | a7822ee9c191eb773559e3f0b488373f316efa75 | |
parent | 423cdb43aaf4bec29108894bb7a7cdf399a11697 (diff) |
Update adding mySociety Debian Archive repo docs
-rw-r--r-- | installing/manual_install.md | 23 |
1 files changed, 18 insertions, 5 deletions
diff --git a/installing/manual_install.md b/installing/manual_install.md index af92bf778..096f8d348 100644 --- a/installing/manual_install.md +++ b/installing/manual_install.md @@ -83,11 +83,24 @@ choice of packages. ### Packages customised by mySociety -If you're using Debian, you should add the mySociety debian archive to your -`/etc/apt/sources.list` as described above. Doing this and following the above -instructions will install a couple of custom dependencies. If you're using -some other platform, you can optionally install these dependencies manually, -as follows: +If you're using Debian, you should add the mySociety Debian archive to your +apt sources. + + cat > /etc/apt/sources.list.d/mysociety-debian.list <<EOF + deb http://debian.mysociety.org squeeze main + EOF + +You should also configure package-pinning to reduce the priority of this +repository. + + cat > /etc/apt/preferences <<EOF + Package: * + Pin: origin debian.mysociety.org + Pin-Priority: 50 + EOF + +If you're using some other platform, you can optionally install these +dependencies manually, as follows: 1. If you would like users to be able to get pretty PDFs as part of the downloadable zipfile of their request history, install |