On Tue, Mar 11, 2003 at 06:11:15PM +0100, Lars Gullik Bj?nnes wrote: > | How can I know where are lyxpipes? > > We should remove the config options of being able to set the pipe > names. Then the pipes can always be found in the same spot. > > Would also reduce config gui clutter a bit.
Isn't the option to select the pipe location needed for people whose home directories is mounted on NFS ?