1 files changed, 67 insertions, 0 deletions
diff --git a/doc/doc.RPKI.Installation.DebianPackages b/doc/doc.RPKI.Installation.DebianPackages
new file mode 100644
index 00000000..44ae0945
--- /dev/null
+++ b/doc/doc.RPKI.Installation.DebianPackages
@@ -0,0 +1,67 @@
+****** 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):
+
+    wget -q -O - http://download.rpki.net/APT/apt-gpg-key.asc | sudo apt-key
+    add -
+
+* Configure APT to use this repository (for Ubuntu systems):
+
+    sudo wget -q -O /etc/apt/sources.list.d/rpki.list http://download.rpki.net/
+    APT/rpki.ubuntu.list
+
+* Configure APT to use this repository (for Debian systems):
+
+    sudo wget -q -O /etc/apt/sources.list.d/rpki.list http://download.rpki.net/
+    APT/rpki.debian.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:
+
+    sudo apt-get update
+
+* Install the software:
+
+    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
+  obsessively detailed instructions.
+
+    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:
+
+    sudo initctl restart rpki-ca
+
+***** Upgrading *****
+
+Once you've performced the steps above you should be able to upgrade to newer
+version of the code using the normal APT upgrade process, eg:
+
+  sudo apt-get update
+  sudo apt-get upgrade
+
+Or, if you only want to update the RPKI tools:
+
+  sudo apt-get update
+  sudo apt-get upgrade