diff options
| author | Rob Austein <sra@hactrn.net> | 2013-09-28 19:23:46 +0000 |
|---|---|---|
| committer | Rob Austein <sra@hactrn.net> | 2013-09-28 19:23:46 +0000 |
| commit | 22ca6b8ae4a48a72e7ed03db19e6cd8efa44a0a0 (patch) | |
| tree | adf6c228a443e0fb1aca9aa7f94b8bc1f6298544 /doc/doc.RPKI.Installation.UbuntuPackages | |
| parent | a3341e3dc8b8ed00b6a7ba37f9a1e0bab443a0cd (diff) | |
Script that generates flat doc isn't quite smart enough to notice old
pages that have now been deleted.
svn path=/trunk/; revision=5529
Diffstat (limited to 'doc/doc.RPKI.Installation.UbuntuPackages')
| -rw-r--r-- | doc/doc.RPKI.Installation.UbuntuPackages | 61 |
1 files changed, 0 insertions, 61 deletions
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 |