On Fri, Dec 9, 2016 at 4:29 AM, John Cremona <john.crem...@gmail.com> wrote: >> to (hopefully) answer all of your questions! If not -- tell me. > > Thanks a lot. I followed the instructions there to the letter (except > for prefixing most commands with sudo) and I successfully upgraded. A > project currently open in my browser worked fine (I just restated th > sagews which was running).
Thanks for testing them. > On security: I see that this runs on port 80. On the plus side this > means that I can connect remotely without having to do anything fancy, > knowing the machine's name is enough. Use 443 to encrypt everything (i.e., https). > On the other hand so can anyone > else in the world (so I will not reveal the machine's address here!). > By contrast the old Sage notebook server ran on another port which my > university did not let traffic through, so no-one off campus connect > unless they had an account on the machine and could use ssh > tunnelling. Would that work here (replacing port 80 on the command > line)? Yes, you can do exactly that. I've written a new section of the docs to address your question. Let me know if it works for you after you test it: https://github.com/sagemathinc/smc/blob/master/src/dev/docker/README.md#ssh-port-forwarding > > John > >> >> >>> >>> John >>> >>> On 8 December 2016 at 14:00, Harald Schilly <harald.schi...@gmail.com> >>> wrote: >>>> ... and well, thank's again for testing this. Looking at the first few >>>> lines some didn't make sense. Looks like the margins are too small and >>>> parts are cut off (e.g. q^10 is missing). I did test this, but >>>> obviously not with your example... I hope that's not some sort of >>>> browser bug. >>>> >>>> -- harald >>>> >>>> -- >>>> You received this message because you are subscribed to the Google Groups >>>> "sage-cloud" group. >>>> To unsubscribe from this group and stop receiving emails from it, send an >>>> email to sage-cloud+unsubscr...@googlegroups.com. >>>> To view this discussion on the web visit >>>> https://groups.google.com/d/msgid/sage-cloud/CAGG4CB61MPR1zRERS9DDVitVg1%2BXH4%3DcC25ENnH0c62gahqJ6Q%40mail.gmail.com. >>>> For more options, visit https://groups.google.com/d/optout. >>> >>> -- >>> You received this message because you are subscribed to the Google Groups >>> "sage-cloud" group. >>> To unsubscribe from this group and stop receiving emails from it, send an >>> email to sage-cloud+unsubscr...@googlegroups.com. >>> To view this discussion on the web visit >>> https://groups.google.com/d/msgid/sage-cloud/CAD0p0K6RLgtFkPRWQOZoZzVcp0a7TGVta06fxZR6PeuZnWkLDA%40mail.gmail.com. >>> For more options, visit https://groups.google.com/d/optout. >> >> >> >> -- >> >> Best Regards, >> William Stein >> >> CEO, SageMath, Inc. >> >> -- >> You received this message because you are subscribed to the Google Groups >> "sage-cloud" group. >> To unsubscribe from this group and stop receiving emails from it, send an >> email to sage-cloud+unsubscr...@googlegroups.com. >> To view this discussion on the web visit >> https://groups.google.com/d/msgid/sage-cloud/CA%2BjwZMh_VHHy4-WKu6bQ1tcR8doqjipS9oN4uVzkFeOsBdD97Q%40mail.gmail.com. >> For more options, visit https://groups.google.com/d/optout. > > -- > You received this message because you are subscribed to the Google Groups > "sage-cloud" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to sage-cloud+unsubscr...@googlegroups.com. > To view this discussion on the web visit > https://groups.google.com/d/msgid/sage-cloud/CAD0p0K7uJZK8BOvSc2rQL1HkgDO37NNsj7WYaq_RTXTYG6EpqA%40mail.gmail.com. > For more options, visit https://groups.google.com/d/optout. -- Best Regards, William Stein CEO, SageMath, Inc. -- You received this message because you are subscribed to the Google Groups "sage-cloud" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-cloud+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-cloud/CA%2BjwZMg3r90qE4S4PX%3DhF1Fc-d1mzUvd98WW68E17ExpmRLgNg%40mail.gmail.com. For more options, visit https://groups.google.com/d/optout.