diff options
| author | Gareth Rees <gareth@mysociety.org> | 2014-05-16 15:58:31 +0100 |
|---|---|---|
| committer | Gareth Rees <gareth@mysociety.org> | 2014-05-16 15:58:31 +0100 |
| commit | 0a3873ff9edb2361e0d873a0dc952df20727d913 (patch) | |
| tree | 3eba2b81bf4b43d5a1ff98d636168369ab2f4ace /installing/manual_install.md | |
| parent | 00821947e6095ec88c0ed71dcb3b5ac679d20b15 (diff) | |
| parent | 279fb095ceb5787c06654ccf523446f8254cc087 (diff) | |
Merge branch 'gh-pages-gpg-key' into gh-pages
Diffstat (limited to 'installing/manual_install.md')
| -rw-r--r-- | installing/manual_install.md | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/installing/manual_install.md b/installing/manual_install.md index c4961d798..65155bfdf 100644 --- a/installing/manual_install.md +++ b/installing/manual_install.md @@ -87,6 +87,11 @@ apt sources. deb http://debian.mysociety.org squeeze main EOF +Add the GPG key from the +[mySociety Debian Package Repository](http://debian.mysociety.org/). + + wget -O - https://debian.mysociety.org/debian.mysociety.org.gpg.key | sudo apt-key add - + You should also configure package-pinning to reduce the priority of this repository. |