From a3341e3dc8b8ed00b6a7ba37f9a1e0bab443a0cd Mon Sep 17 00:00:00 2001 From: RPKI Documentation Robot Date: Sat, 28 Sep 2013 16:00:15 +0000 Subject: Automatic pull of documentation from Wiki. svn path=/trunk/; revision=5528 --- doc/doc.RPKI.Installation.DebianPackages | 67 ++++++++++++++++++++++++++++++++ 1 file changed, 67 insertions(+) create mode 100644 doc/doc.RPKI.Installation.DebianPackages (limited to 'doc/doc.RPKI.Installation.DebianPackages') 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 -- cgit v1.2.3