On 8/14/18 5:43 PM, Erik Bray wrote:
Isn't that just the normal message when running `sage -sh`?
Indeed! I thought it was some cygwin special but it is in $SAGE_ROOT/src/bin/sage at lines 735-742.
I never even read it that closely. Why *does* it say that? I install packages and run make from within the sage subshell all the time. Especially when it comes to optional packages (which should maybe be the only kind actually supported by sage -i) there should be little danger.
What about removing all this then?
The only danger is if you somehow break the python in Sage. I've actually been thinking about that lately and I don't think it should ever be used by sage_bootstrap. I think it should always try to find the system Python instead.
It is unlikely that you break Python with a "pip install" or "sage -i". If you do something else in "sage -sh" I assume you are advanced enough user to figure things out. Vincent
On Tue, Aug 14, 2018, 21:17 Vincent Delecroix <20100.delecr...@gmail.com> wrote:Dear all (I guess mostly Erik), When a sage shell is launched on windows (ie the sage -sh environment in cygwin) the following message is displayed """ Starting subshell with Sage environment variables set. Don't forget to exit when you are done. Beware: * Do not do anything with other copies of Sage on your system. * Do not use this for installing Sage packages using "sage -i" or for running "make" at Sage's root directory. These should be done outside the Sage shell. """ Many people at Sage days 96 cut the second item as "Do not use this for installing Sage packages" and they did not even tried to "pip install" the Python package I asked them to install (I gave them the full command to be run). Would that be possible to simply disable "sage -i"? Vincent PS: Erik, once more, thank you for this cygwin version that is wonderful to get more Sage users!! -- 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.
-- 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.
