Hi Harald, On 2019-07-12, Harald Schilly <harald.schi...@gmail.com> wrote: > On Friday, July 12, 2019 at 11:48:40 AM UTC+2, Simon King wrote: >> >> sage: DOT_SAGE >> '/home/king/.sage/' > > It's > > sage: DOT_SAGE > '/home/user/.sage/'
Do you literally mean "user", not the specific name of a single user? Does that perhaps mean that some users have no write permission to it? That would explain why the files are missing (because they are created when missing, which requires write permission). Cheers, Simon -- You received this message because you are subscribed to the Google Groups "sage-support" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-support+unsubscr...@googlegroups.com. To post to this group, send email to sage-support@googlegroups.com. Visit this group at https://groups.google.com/group/sage-support. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-support/qga2fi%24d4r%241%40blaine.gmane.org. For more options, visit https://groups.google.com/d/optout.
