On 17/09/2007, martin f krafft <[EMAIL PROTECTED]> wrote: > also sprach gregor herrmann <[EMAIL PROTECTED]> [2007.09.16.2241 +0200]: > > My impression after the tests is that "/" is used if the "File > > directory" in the preferences is empty. > > Yes, this does indeed seem to be the case. My fault for not spotting > the new setting. > > > If this is correct: What do you think about taking $HOME as a defaut > > value if this option is not set? > > Or initialise it to the value of the PDF directory, if PDF and PS > directories are equal?
When you open old JabRef files in the new version, you should be asked whether you want to upgrade file links, and at the same time you should be offered to migrate the pdf directory setting to the new file directory setting. Perhaps this failed in some way in your case. When the file directory is not set, I think perhaps $HOME would be a good default value. In any case, it should not result in the kind of failures that you have observed. Thank you for reporting this! I will look into this problem (hopefully) today. -- Morten -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
