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/22a21f44-f7e7-4e54-8708-103943dce654%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.
