1 files changed, 90 insertions, 0 deletions
diff --git a/doc/wiki-dump/doc%2FRPKI%2FInstallation%2FDebianPackages b/doc/wiki-dump/doc%2FRPKI%2FInstallation%2FDebianPackages
new file mode 100644
index 00000000..fdf5b1d3
--- /dev/null
+++ b/doc/wiki-dump/doc%2FRPKI%2FInstallation%2FDebianPackages
@@ -0,0 +1,90 @@
+[[TracNav(doc/RPKI/TOC)]]
+[[PageOutline]]
+
+= Installation Using Debian Packages on Debian and Ubuntu Systems =
+
+Precompiled binary packages for Ubuntu 12.04 LTS ("Precise Pangolin") and
+Debian 7 ("Wheezy") are available from download.rpki.net using the Debian
+Advanced Package Tools (APT).  To use these, you need to configure APT on your
+machine to know about our APT repository, but once you've done this you should
+be able to install and update these packages like any other precompiled package.
+
+== Initial APT Setup ==
+
+You should only need to perform these steps once for any particular
+machine.
+
+* Add the GPG public key for this repository (optional, but APT will whine unless you do this):
+{{{
+#!sh
+wget -q -O - https://download.rpki.net/APT/apt-gpg-key.asc | sudo apt-key add -
+}}}
+
+* Configure APT to use this repository (for Ubuntu Trusty systems):
+{{{
+#!sh
+sudo wget -q -O /etc/apt/sources.list.d/rpki.list https://download.rpki.net/APT/rpki.trusty.list
+}}}
+
+* Configure APT to use this repository (for Ubuntu Precise systems):
+{{{
+#!sh
+sudo wget -q -O /etc/apt/sources.list.d/rpki.list https://download.rpki.net/APT/rpki.precise.list
+}}}
+
+* Configure APT to use this repository (for Debian Wheezy systems):
+{{{
+#!sh
+sudo wget -q -O /etc/apt/sources.list.d/rpki.list https://download.rpki.net/APT/rpki.wheezy.list
+}}}
+
+== Installation Using APT Tools ==
+
+These instructions assume that you're using apt-get.  Other APT tools
+such as aptitude should also work.
+
+* Update available packages:
+{{{
+#!sh
+sudo apt-get update
+}}}
+
+* Install the software:
+{{{
+#!sh
+sudo apt-get install rpki-rp rpki-ca
+}}}
+
+* Customize the default `rpki.conf` for your environment as necessary.  In
+  particular, you want to change `handle` and `rpkid_server_host`.
+  There are [[CA/Configuration|obsessively detailed instructions]].
+{{{#!sh
+sudo emacs /etc/rpki.conf
+}}}
+
+  Again, you want to change `handle` and `rpkid_server_host` at the minimum.
+
+* If you changed anything in `rpki.conf`, you should restart the RPKI CA service:
+{{{
+#!sh
+sudo service rpki-ca restart
+}}}
+
+== Upgrading ==
+
+Once you've performed the steps above you should be able to upgrade
+to newer version of the code using the normal APT upgrade process, eg:
+
+{{{
+#!sh
+sudo apt-get update
+sudo apt-get upgrade
+}}}
+
+Or, if you only want to update the RPKI tools:
+
+{{{
+#!sh
+sudo apt-get update
+sudo apt-get upgrade rpki-ca rpki-rp
+}}}