I set this up long, long ago before python3, when the python2 version regularly changed -- it made things easier. If it is no longer needed due to better build tools and testing, we should of course get rid of it.
On Thu, Apr 6, 2017 at 12:16 AM Volker Braun <vbraun.n...@gmail.com> wrote: > +1 > > > On Thursday, April 6, 2017 at 12:10:25 AM UTC+2, John H Palmieri wrote: > > Did that subject line get your attention? > > I propose that we remove the symbolic link SAGE_LOCAL/lib/python, keeping > the two directories SAGE_LOCAL/lib/python2.7 and SAGE_LOCAL/lib/python3.5. > The link points to python2.7 by default. > > I can't tell if this is a major proposal or a minor one, so I thought I > would bring it to the attention of sage-devel. On one hand, the symlink has > been around forever. On the other hand, it does not seem to be necessary. > (For one thing, if it were necessary, it would be created as part of the > Python installation, but it's not: we create it in the python2 spkg-install > script. For another thing, with a few small changes, all tests pass after > we remove the link. See https://trac.sagemath.org/ticket/22764.) > > Are there good reasons for keeping this link? > > -- > John > > -- > 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. > -- Sent from my massive iPhone 6 plus. -- 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.
