1 files changed, 61 insertions, 0 deletions
diff --git a/doc/doc.RPKI.Installation.UbuntuPackages b/doc/doc.RPKI.Installation.UbuntuPackages
new file mode 100644
index 00000000..a21b0fb2
--- /dev/null
+++ b/doc/doc.RPKI.Installation.UbuntuPackages
@@ -0,0 +1,61 @@
+****** Installation Using Ubuntu Packages ******
+
+Precompiled binary packages are available for Ubuntu 12.04 LTS from
+download.rpki.net. To use these, you need to configure the APT tools 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 Ubuntu package.
+
+***** Initial APT Setup *****
+
+You should only need to perform these steps once for any particular Ubuntu
+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:
+
+    sudo wget -q -O /etc/apt/sources.list.d/rpki.list http://download.rpki.net/
+    APT/rpki.ubuntu.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