On 10/9/07, Honest Guvnor <[EMAIL PROTECTED]> wrote: > On 10/9/07, Jürgen Spitzmüller <[EMAIL PROTECTED]> wrote: > > > > Can you delete the files manually? > > Yes. "rmdir" works manually for each directory and "rm -r" works for the lot.
I have had a play changing the permissions and/or group after the files are created but before lyx quits and I always see the same complaint when lyx quits. /tmp is a link to /private/tmp if that might influence anything.
