On Wed, 22 Jan 2020 17:39-0500, George Mitchell wrote: > On 2020-01-22 17:33, George Mitchell wrote: > > [blah blah blah] > I think I have a permissions problem; sorry for the noise. -- George Remember to use the mount option nlockd for NFS mounted /usr/src. -- Trond.