diff options
Diffstat (limited to 'doc/02.RPKI.Installation.DebianPackages.md')
| -rw-r--r-- | doc/02.RPKI.Installation.DebianPackages.md | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/doc/02.RPKI.Installation.DebianPackages.md b/doc/02.RPKI.Installation.DebianPackages.md index bcc858ff..4ac60d65 100644 --- a/doc/02.RPKI.Installation.DebianPackages.md +++ b/doc/02.RPKI.Installation.DebianPackages.md @@ -40,7 +40,7 @@ aptitude should also work. 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. + * 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][Configuration]. sudo emacs /etc/rpki.conf @@ -62,3 +62,5 @@ Or, if you only want to update the RPKI tools: sudo apt-get update sudo apt-get upgrade rpki-ca rpki-rp + +[Configuration]: 12.RPKI.CA.Configuration.md |