Yeah, when it built i kept getting prompts about java and then at the end it said the documentation hadn’t been built successfully.
I only launch sage notebook from the terminal with the option -n so I guess I’ll just have to rebuild . Thanks anyway > Le 3 juil. 2019 à 19:17, kcrisman <kcris...@gmail.com> a écrit : > > > > >> Actually I’ve just read more carefully what appeared in the terminal and it >> seems that it is missing an extension, I guess I’m going to have to rebuild? >> Could this be to do with the fact that I didn’t build the documentation >> (because I was missing the Java development tools ?) >> > > Java development tools? > > But yes, something definitely didn't build, and I'm surprised it didn't give > an error. You may need to rebuild. > > OR you could just try sage -n jupyter (I think this is the right syntax) and > see where that gets you. > -- > You received this message because you are subscribed to a topic in the Google > Groups "sage-support" group. > To unsubscribe from this topic, visit > https://groups.google.com/d/topic/sage-support/j7a_oPMFk-0/unsubscribe. > To unsubscribe from this group and all its topics, 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/c0e60566-8fd1-4b5a-b42a-59088793d62b%40googlegroups.com. > For more options, visit https://groups.google.com/d/optout. -- 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/38D52A44-42A1-4BE1-8DA6-509D093321BF%40gmail.com. For more options, visit https://groups.google.com/d/optout.
