On Mon, May 18, 2015 at 11:14:19AM +0200, Jean-Marc Lasgouttes wrote:
> Le 18/05/2015 11:07, Enrico Forestieri a écrit :
> 
> >Anyway, I am ready to revert everything if this is wanted.
> 
> I do not know whether reverting everything is what is needed. I do not feel
> very at ease with a solution where doing save as is not the same as moving
> the file from command line, it feels a bit fragile to me.

Actually, it turns out to be very robust. Wherever you move your document
the needed files will be found, unless you move them, too. And if you do,
things would go as before.

> OTOH, from what I understand, the origin acts as a backup when some relative
> paths do not point to an existing file anymore, right? Could we find a user
> friendly way to ask the user for this path when it turns out that we cannot
> find some files anymore?

This is clumsy and is not going to work if you don't remember from where
you moved your document, maybe because you reopen it a month later.

> Something with less magic and more predictability?

It's magic and it's very predictable. An alternative to reverting
would be introducing a preference to allow storing the \origin tag
in the file. Without that tag, everything would go as before.

-- 
Enrico

Reply via email to