From fed52c75edeab8a250b24304d050e6fd85b8f2fc Mon Sep 17 00:00:00 2001 From: "C. McEnroe" 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. --- install.sh | 6 ++++++ 1 file changed, 6 insertions(+) (limited to 'install.sh') 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