Re: Sharing ports tree, possible?

Chris Whitehouse <chris@xxxxxxxxxxxxxxxxxxxxxxxxx> wrote:

Bill Moran wrote:
In response to Simon Gao <gao@xxxxxxxxxxxxxxx>:

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).

-Bill
_______________________________________________
freebsd-questions@xxxxxxxxxxx mailing list
http://lists.freebsd.org/mailman/listinfo/freebsd-questions
To unsubscribe, send any mail to "freebsd-questions-unsubscribe@xxxxxxxxxxx"