Sorry for the long delay in replying.
We do have Windows enterprise on our institute computers (whichever
version is the deemed the latest reliable one), so Thomas should be able
to install the Docker image. The only problem is that by now he is in
the final stage of his project, so we don't want to experiment with
software too much now.
The sage-on-windows experience we had was a bit frustrating, for him
because he cannot follow at all what I had to do in order to make it run
and for me because sage runs so much more sluggish and is so much more
inconvenient to use on windows compared to linux, if following the
'official instructions' on sagemath.org, i.e. the VB way. I suggested to
Thomas to install a full linux image in VB and then run sage inside this
image, so that he could use it exactly the same way as I do on my
machine, but he was too busy to try it out. I also suspect that this
could make it even slower than the minimal VB image with pre-installed
sage, so the Docker way seems more promising.
I will test the different options mentioned in this thread before I get
the next student to use sagemath in windows. Could the relevant bits of
this thread or some links/instructions to try out alternative methods be
posted on sagemath.org? I think this could greatly extend the pool of
testers and help figure out the most promising way forward.
Stan
On 11/15/2016 10:34 PM, William Stein wrote:
I don't know anything about the current Windows install ecosystem
among our target audience. On what basis do you conclude that a very
substantial fraction don't have the ability to run Docker?
** Hey Stan Schymanski ** does your student have the ability to run Docker?
https://docs.docker.com/docker-for-windows/
William
--
You received this message because you are subscribed to the Google Groups
"sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to sage-devel+unsubscr...@googlegroups.com.
To post to this group, send email to sage-devel@googlegroups.com.
Visit this group at https://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.
