From 14a9628f0552d3818cd58fb085e7544cdbb3b5eb Mon Sep 17 00:00:00 2001
From: Rob Austein <sra@hactrn.net>
Date: Wed, 3 Aug 2016 18:27:49 +0000
Subject: Dump of rpki.net Wiki, to capture content not linked into the manual.

---
 .../doc%2FRPKI%2FInstallation%2FFreeBSDPorts       | 124 +++++++++++++++++++++
 1 file changed, 124 insertions(+)
 create mode 100644 doc/wiki-dump/doc%2FRPKI%2FInstallation%2FFreeBSDPorts

(limited to 'doc/wiki-dump/doc%2FRPKI%2FInstallation%2FFreeBSDPorts')

diff --git a/doc/wiki-dump/doc%2FRPKI%2FInstallation%2FFreeBSDPorts b/doc/wiki-dump/doc%2FRPKI%2FInstallation%2FFreeBSDPorts
new file mode 100644
index 00000000..bff99b78
--- /dev/null
+++ b/doc/wiki-dump/doc%2FRPKI%2FInstallation%2FFreeBSDPorts
@@ -0,0 +1,124 @@
+[[TracNav(doc/RPKI/TOC)]]
+[[PageOutline]]
+
+= Installation Using FreeBSD Ports =
+
+Port skeletons are available for FreeBSD from download.rpki.net.  To
+use these, you need to download the port skeletons then run them using
+your favorite FreeBSD port installation tool.
+
+== Manual Download ==
+
+To download the port skeletons manually and install from them, do
+something like this:
+
+{{{
+#!sh
+for port in rpki-rp rpki-ca
+do
+  fetch https://download.rpki.net/FreeBSD_Packages/${port}-port.tgz
+  tar xf ${port}-port.tgz
+  cd ${port}
+  make install
+  cd ..
+  rm -rf ${port}
+done
+}}}
+
+After performing initial installation, you should customize the
+default `rpki.conf` for your environment as necessary.  In particular,
+you want to change `handle` and `rpkid_server_host`.  There are
+[[CA/Configuration|obsessively detailed instructions]].
+
+{{{
+#!sh
+emacs /usr/local/etc/rpki.conf
+}}}
+
+Again, you want to change `handle` and `rpkid_server_host` at the minimum.
+
+To upgrade, you can perform almost the same steps, but the FreeBSD
+ports system, which doesn't really know about upgrades, will require
+you to use the `deinstall` and `reinstall` operations instead of plain
+`install`:
+
+{{{
+#!sh
+for port in rpki-rp rpki-ca
+do
+  fetch https://download.rpki.net/FreeBSD_Packages/${port}-port.tgz
+  tar xf ${port}-port.tgz
+  cd ${port}
+  make deinstall
+  make reinstall
+  cd ..
+  rm -rf ${port}
+done
+}}}
+
+After an upgrade, you may want to check the newly-installed
+`/usr/local/etc/rpki.conf.sample` against your existing
+`/usr/local/etc/rpki.conf` in case any important options have changed.
+We generally try to keep options stable between versions, and provide
+sane defaults where we can, but if you've done a lot of customization
+to your `rpki.conf` you will want to keep track of this.
+
+== Automated Download and Install with portmaster ==
+
+There's a
+[[https://download.rpki.net/FreeBSD_Packages/rpki-portmaster.sh|script]]
+you can use to automate the download steps above and perform the
+updates using portmaster.  First, download the script:
+
+{{{
+#!sh
+fetch https://download.rpki.net/FreeBSD_Packages/rpki-portmaster.sh
+}}}
+
+Then, to install or upgrade, just execute the script:
+
+{{{
+#!sh
+sh rpki-portmaster.sh
+}}}
+
+As with manual download (above) you should customize `rpki.conf` after
+initial installation.
+
+== Automated Download and Install with portupgrade ==
+
+There's a
+[[https://download.rpki.net/FreeBSD_Packages/rpki-portupgrade.sh|script]]
+you can use to automate the download steps above and perform the
+updates using portupgrade.  First, download the script:
+
+{{{
+#!sh
+fetch https://download.rpki.net/FreeBSD_Packages/rpki-portupgrade.sh
+}}}
+
+Next, you will need to add information about the RPKI ports to two
+variables in `/usr/local/etc/pkgtools.conf` before portupgrade will
+know how to deal with these ports:
+
+{{{
+#!ruby
+EXTRA_CATEGORIES = [
+    'rpki',
+]
+
+ALT_INDEX = [
+    ENV['PORTSDIR'] + '/INDEX.rpki',
+]
+}}}
+
+Once you have completed these steps, you can just execute the script
+to install or upgrade the RPKI code:
+
+{{{
+#!sh
+sh rpki-portupgrade.sh
+}}}
+
+As with manual download (above) you should customize `rpki.conf` after
+initial installation.
-- 
cgit v1.2.3