diff options
| -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 |