From 22ca6b8ae4a48a72e7ed03db19e6cd8efa44a0a0 Mon Sep 17 00:00:00 2001 From: Rob Austein Date: Sat, 28 Sep 2013 19:23:46 +0000 Subject: Script that generates flat doc isn't quite smart enough to notice old pages that have now been deleted. svn path=/trunk/; revision=5529 --- doc/doc.RPKI.Installation.UbuntuPackages | 61 -------------------------------- 1 file changed, 61 deletions(-) delete mode 100644 doc/doc.RPKI.Installation.UbuntuPackages (limited to 'doc/doc.RPKI.Installation.UbuntuPackages') diff --git a/doc/doc.RPKI.Installation.UbuntuPackages b/doc/doc.RPKI.Installation.UbuntuPackages deleted file mode 100644 index a21b0fb2..00000000 --- a/doc/doc.RPKI.Installation.UbuntuPackages +++ /dev/null @@ -1,61 +0,0 @@ -****** 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 -- cgit v1.2.3