I believe it was added by What I am unsure about now (too hard to dig using a phone :-)) is how to switch between different SAGE_LOCAL. Probably by setting an env. variable.
https://trac.sagemath.org/ticket/21479 On Sun, 27 Jan 2019 14:12 Vincent Delecroix <20100.delecr...@gmail.com wrote: > Please tell us how. None of us claimed that two clones were needed. > > Le 27/01/2019 à 15:03, Dima Pasechnik a écrit : > > Why does one need two clones? We have functionality to allow a custom > build > > location. It should be possible to give it to configure as a parameter... > > > > On Sun, 27 Jan 2019 13:58 Vincent Delecroix <20100.delecr...@gmail.com > > wrote: > > > >> > >> > >> Le 27/01/2019 à 14:50, Simon King a écrit : > >>> Hi Vincent, > >>> > >>> On 2019-01-27, Vincent Delecroix <20100.delecr...@gmail.com> wrote: > >>>> You need a different clone of your git repo, let say sage-py3. > >>> > >>> How to do so most easily, so that "git pull" etc. still referes to > trac? > >>> That was part of my question. Doing "git pull > >>> /path/to/my/old/installation" would mean that I need to go to my old > >>> installation, "git pull" (pulls develop from trac), go to the new > >>> installation, and to "git pull" again (pulling develop from my old > >>> installation, but NOT directly from trac). > >> > >> This has nothing to do with python 3. You only need to set up > >> properly your remote and branches. > >> > >> After > >> > >> $ git clone sage-original sage-py3 > >> > >> The default remote in sage-py3 will be the sage-original local > >> folder. First step, add the remote for trac > >> > >> (sage-py3) $ git remote add trac g...@trac.sagemath.org:sage.git > >> > >> Second step set trac to be the default upstream > >> > >> (sage-py3) $ git branch --set-upstream-to trac > >> > >> For all this, the best is to read the git documentation. > >> > >> Vincent > >> > >> PS: the Frederic version is less trouble but more bandwidth! > >> > >> -- > >> 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. > -- 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.