From fed52c75edeab8a250b24304d050e6fd85b8f2fc Mon Sep 17 00:00:00 2001
From: "C. McEnroe" <june@causal.agency>
Date: Sat, 12 Sep 2020 15:46:36 -0400
Subject: Move /opt/local back, cheat port select to use system man

This is not really how you're supposed to use the select system, I don't
think, since the mandoc package actually creates those files, but it
does work. This lets me actually use the git installed by MacPorts.
---
 home/.profile | 2 +-
 install.sh    | 6 ++++++
 2 files changed, 7 insertions(+), 1 deletion(-)

diff --git a/home/.profile b/home/.profile
index c54814de..ed6d9c67 100644
--- a/home/.profile
+++ b/home/.profile
@@ -1,6 +1,6 @@
 _PATH=$PATH PATH=
 path() { [ -d "$1" ] && PATH="${PATH}${PATH:+:}${1}"; }
-for prefix in '' /usr/local /usr /opt/local ~/.local; do
+for prefix in '' /usr/local /opt/local /usr ~/.local; do
 	path "${prefix}/sbin"
 	path "${prefix}/bin"
 done
diff --git a/install.sh b/install.sh
index f34c84e6..6051edaf 100644
--- a/install.sh
+++ b/install.sh
@@ -32,6 +32,12 @@ Darwin() {
 	[ -d /opt/local ] || installMacPorts
 	sudo /opt/local/bin/port selfupdate
 	sudo /opt/local/bin/port -N install git mandoc pkgconfig $packages
+	sudo mkdir -p /opt/local/etc/select/man
+	printf 'bin/man\nshare/man/man1/man.1\nshare/man/man1/man.1.gz\n' \
+		| sudo tee /opt/local/etc/select/man/base >/dev/null
+	printf '/usr/bin/man\n/usr/share/man/man1/man.1\n-\n' \
+		| sudo tee /opt/local/etc/select/man/system >/dev/null
+	sudo port select --set man system
 }
 
 $(uname)
-- 
cgit 1.4.1