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/' Which I bet is the wrong place to look. (all cocalc projects are essentially linux docker containers, where /home/user is $HOME, though) -- 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/90ab9f42-cf8f-490d-b427-2b759e8a27a8%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.
