On Fri, Nov 24, 2006 at 03:25:02PM +0100, Enrico Forestieri wrote: > > I am glad it did not manage to delete /tmp. > > You're lucky. I had mine wiped out and now I know who is the culprit. > At first I didn't noticed, because LyX was launched from the GUI without > a terminal where to read errors.
Come on, wiping /tmp is not worse than deleting /dev/null. We used to do that for quite a while.... Andre'
