From b9b22025cf743f40d63bb60801474ae746d85e71 Mon Sep 17 00:00:00 2001 From: David Uhden Collado Date: Wed, 11 Sep 2024 11:15:42 +0200 Subject: [PATCH] Minor corrections to the fetch ports script --- fetch-ports.ksh | 1 + 1 file changed, 1 insertion(+) diff --git a/fetch-ports.ksh b/fetch-ports.ksh index b6078a4..c52829d 100755 --- a/fetch-ports.ksh +++ b/fetch-ports.ksh @@ -129,6 +129,7 @@ echo "Configuring the ports system in /etc/mk.conf..." echo "WRKOBJDIR=$WRKOBJDIR" echo "DISTDIR=$DISTDIR" echo "PACKAGE_REPOSITORY=$PACKAGE_REPOSITORY" + echo "PORTS_PRIVSEP=Yes" echo "SUDO=doas" } >> /etc/mk.conf