Skip site navigation (1)Skip section navigation (2)
Date:      Sat, 30 Dec 2006 02:13:19 -0500
From:      Bill Moran <>
To:        Chris Whitehouse <>
Subject:   Re: Sharing ports tree, possible?
Message-ID:  <>
In-Reply-To: <>
References:  <> <> <>

Next in thread | Previous in thread | Raw E-Mail | Index | Archive | Help
Chris Whitehouse <> wrote:
> Bill Moran wrote:
> > In response to Simon Gao <>:
> > 
> >> Is it possible to share ports tree directory? If so, what's the procedure?
> > 
> > Yes.  You generally want to set WRKDIRPREFIX to something like /var/ports
> > or /usr/obj to ward off conflicts.  Otherwise, just put it on an NFS server
> > an NFS mount it.
> > 
>   using mount_nfs -L ?

I'm not 100% sure if -L is required, since there shouldn't be any locking
when you use WRKDIRPREFIX.

If you see locking problems, add it.  Actually, you can mount /usr/ports
ro if you set WRKDIRPREFIX.  Unless you want to fetch distfiles on the
client machines, but you can work around that as well with a different
environment variable (name escapes me at the moment).


Want to link to this message? Use this URL: <>