mailing-list for TeXmacs Users

[Lionel Elie Mamane <address@hidden>]

On Tue, Feb 01, 2005 at 09:15:25PM +0100, Joris van der Hoeven wrote:

> On Tue, 1 Feb 2005, Luca wrote:

>>> "blah.tm~". But things may go wrong when you change permissions or
>>> when the directory which contains your file is physically moved.

>> The directory I was working was mounted remotely via nfs through
>> the automount daemon and got unmounted while I was working.

> TeXmacs currently just stores the complete file name and tries to
> write to it when saving. I think this is the most natural behaviour,

I'm not familiar with the mechanics of the automount system, but it
would seem to be an automount bug to me that the directory doesn't get
automounted again when a program tries to save a file to it.

> More generally, we should probably use popup windows for really
> important messages. I think that many people do not keep an eye on
> the status bar.

I wouldn't like TeXmacs to popup on me under any circumstances, but I
must admit I think that probably many users would want it.

-- 
Lionel