On Fri, Nov 24, 2006 at 09:07:58PM +0100, Andre Poenitz wrote: > 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....
Ah, yes I remember that funny configure feature in the 1.2 days. Luckily, I jumped from 1.1.6fix4 to 1.3.0 at that time... -- Enrico
