Re: [sage-devel] Re: Outdated instructions in "git the hard way"
I have made some of the suggested changes in https://trac.sagemath.org/ticket/29784, needs review. On Monday, September 13, 2021 at 8:58:34 AM UTC-7 Matthias Koeppe wrote: > OK who's going to push the first commit to the ticket > https://trac.sagemath.org/ticket/29784 ? > > On Monday, September 13, 2021 at 6:35:40 AM UTC-7 Thierry > (sage-googlesucks@xxx) wrote: > >> Hi, >> >> On Mon, Sep 13, 2021 at 02:05:36PM +0100, Dima Pasechnik wrote: >> > On Fri, 10 Sep 2021, 19:39 Simon King, wrote: >> > >> > > Hi Dima, >> > > >> > > On 2021-09-09, Dima Pasechnik wrote: >> > > > I think that 'git trac' is mainly used by the release manager - I >> > > > won't recommend it to newcomers. >> > > >> > > No, I'm not a release manager, but I find it very practical to be able >> > > to do "git trac pull 12345" instead of doing a series of commands that >> > > I simply don't manage to memorise. >> > > >> > >> > assuming that "trac" points to our Git server (as it normally done) >> this is >> > just >> > >> > git pull trac >> >> >> This is not "just": your suggestion hides the fact that you have to >> copy/paste the name of the ticket branch from a webbrowser, which is >> boring and takes time. >> >> The point of the "git trac" command is to link git branches with trac >> tickets, so that you do not have to do it by hand. >> >> Ciao, >> Thierry >> >> >> >> >> > >> > > Best regards, >> > > Simon >> > > >> > > -- >> > > 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+...@googlegroups.com. >> > > To view this discussion on the web visit >> > > >> https://groups.google.com/d/msgid/sage-devel/shg8p9%2445p%241%40ciao.gmane.io >> > > . >> > > >> > >> > -- >> > 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+...@googlegroups.com. >> > To view this discussion on the web visit >> https://groups.google.com/d/msgid/sage-devel/CAAWYfq3%3Dk9aMWaXPv%2BpGrXtq0rv3VWFESKa5YswnhVvK_3gL2g%40mail.gmail.com >> . >> > -- 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 view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/ca775a9d-aa39-4a33-9d56-b069221fbb3dn%40googlegroups.com.
Re: [sage-devel] Re: Outdated instructions in "git the hard way"
On Mon, 13 Sep 2021, 14:35 Thierry, wrote: > Hi, > > On Mon, Sep 13, 2021 at 02:05:36PM +0100, Dima Pasechnik wrote: > > On Fri, 10 Sep 2021, 19:39 Simon King, wrote: > > > > > Hi Dima, > > > > > > On 2021-09-09, Dima Pasechnik wrote: > > > > I think that 'git trac' is mainly used by the release manager - I > > > > won't recommend it to newcomers. > > > > > > No, I'm not a release manager, but I find it very practical to be able > > > to do "git trac pull 12345" instead of doing a series of commands that > > > I simply don't manage to memorise. > > > > > > > assuming that "trac" points to our Git server (as it normally done) this > is > > just > > > > git pull trac > > > This is not "just": your suggestion hides the fact that you have to > copy/paste the name of the ticket branch from a webbrowser, which is > boring and takes time. > > The point of the "git trac" command is to link git branches with trac > tickets, so that you do not have to do it by hand. > I was mainly saying it's not a series of commands, but one command. As well, if this branch name is already in your git tree, you can use tab completion to type it quickly in. > Ciao, > Thierry > > > > > > > > > Best regards, > > > Simon > > > > > > -- > > > 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 view this discussion on the web visit > > > > https://groups.google.com/d/msgid/sage-devel/shg8p9%2445p%241%40ciao.gmane.io > > > . > > > > > > > -- > > 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 view this discussion on the web visit > https://groups.google.com/d/msgid/sage-devel/CAAWYfq3%3Dk9aMWaXPv%2BpGrXtq0rv3VWFESKa5YswnhVvK_3gL2g%40mail.gmail.com > . > > -- > 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 view this discussion on the web visit > https://groups.google.com/d/msgid/sage-devel/20210913133536.GA17667%40metelu.net > . > -- 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 view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/CAAWYfq1mZrQsub8qqmcDJWHWR0s28eVEhNH%3DJWLVwfz%2BNNFKKg%40mail.gmail.com.
Re: [sage-devel] Re: Outdated instructions in "git the hard way"
Hi, On Mon, Sep 13, 2021 at 02:05:36PM +0100, Dima Pasechnik wrote: > On Fri, 10 Sep 2021, 19:39 Simon King, wrote: > > > Hi Dima, > > > > On 2021-09-09, Dima Pasechnik wrote: > > > I think that 'git trac' is mainly used by the release manager - I > > > won't recommend it to newcomers. > > > > No, I'm not a release manager, but I find it very practical to be able > > to do "git trac pull 12345" instead of doing a series of commands that > > I simply don't manage to memorise. > > > > assuming that "trac" points to our Git server (as it normally done) this is > just > > git pull trac This is not "just": your suggestion hides the fact that you have to copy/paste the name of the ticket branch from a webbrowser, which is boring and takes time. The point of the "git trac" command is to link git branches with trac tickets, so that you do not have to do it by hand. Ciao, Thierry > > > Best regards, > > Simon > > > > -- > > 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 view this discussion on the web visit > > https://groups.google.com/d/msgid/sage-devel/shg8p9%2445p%241%40ciao.gmane.io > > . > > > > -- > 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 view this discussion on the web visit > https://groups.google.com/d/msgid/sage-devel/CAAWYfq3%3Dk9aMWaXPv%2BpGrXtq0rv3VWFESKa5YswnhVvK_3gL2g%40mail.gmail.com. -- 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 view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/20210913133536.GA17667%40metelu.net.
Re: [sage-devel] Re: Outdated instructions in "git the hard way"
On Fri, 10 Sep 2021, 19:39 Simon King, wrote: > Hi Dima, > > On 2021-09-09, Dima Pasechnik wrote: > > I think that 'git trac' is mainly used by the release manager - I > > won't recommend it to newcomers. > > No, I'm not a release manager, but I find it very practical to be able > to do "git trac pull 12345" instead of doing a series of commands that > I simply don't manage to memorise. > assuming that "trac" points to our Git server (as it normally done) this is just git pull trac > Best regards, > Simon > > -- > 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 view this discussion on the web visit > https://groups.google.com/d/msgid/sage-devel/shg8p9%2445p%241%40ciao.gmane.io > . > -- 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 view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/CAAWYfq3%3Dk9aMWaXPv%2BpGrXtq0rv3VWFESKa5YswnhVvK_3gL2g%40mail.gmail.com.
[sage-devel] Re: Outdated instructions in "git the hard way"
Hi Dima, On 2021-09-09, Dima Pasechnik wrote: > I think that 'git trac' is mainly used by the release manager - I > won't recommend it to newcomers. No, I'm not a release manager, but I find it very practical to be able to do "git trac pull 12345" instead of doing a series of commands that I simply don't manage to memorise. Best regards, Simon -- 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 view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/shg8p9%2445p%241%40ciao.gmane.io.
Re: [sage-devel] Re: Outdated instructions in "git the hard way"
> Also a brief explanation of that "git trac" magic does in terms of > plain git should be helpful. > > That is a very good point that might lead people starting with git trac to use "standard" git. -- 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 view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/7410291a-822d-4581-a0c4-8ef71b7bf28en%40googlegroups.com.
Re: [sage-devel] Re: Outdated instructions in "git the hard way"
On Thu, Sep 9, 2021 at 4:00 PM Matthias Koeppe wrote: > > I use git-trac all the time, but I do agree that it is better for the > developer's manual to begin with standard git instructions and only describe > git-trac as an optional convenience tool. > We should avoid the impression that project-specific special tooling is > required if people want to contribute to the project. Indeed. Also, we regularly get messages asking for help with "git trac", and the only way is usually to use "normal" git to fix these. Also a brief explanation of that "git trac" magic does in terms of plain git should be helpful. Dima > > Matthias > > On Thursday, September 9, 2021 at 1:43:58 AM UTC-7 Dima Pasechnik wrote: >> >> I think that 'git trac' is mainly used by the release manager - I >> won't recommend it to newcomers. >> >> >> On Thu, Sep 9, 2021 at 9:36 AM Vincent Delecroix >> <20100.d...@gmail.com> wrote: >> > >> > +1 : Learning git is a useful skill. And a developer is likely to >> > know git already. >> > >> > Le 09/09/2021 à 09:49, Eric Gourgoulhon a écrit : >> > > Also the title of that section, "Git the hard way", should be changed. It >> > > should rather be "Git the *standard* way" IMHO. >> > > >> > > Eric. >> > > >> > > >> > > >> > > >> > > Le mercredi 8 septembre 2021 à 00:47:44 UTC+2, Nils Bruin a écrit : >> > > >> > >> On: >> > >> >> > >> https://doc.sagemath.org/html/en/developer/manual_git.html >> > >> >> > >> it is suggested to start with >> > >> >> > >> git clone https://gitlab.com/sagemath/dev/tracmirror.git >> > >> >> > >> however, the gitlab mirror is stuck at 9.3. The github mirror tracks the >> > >> development tree much better. Shouldn't we be pointing people to that >> > >> instead? Or perhaps straight to trac.sagemath.org ? >> > >> >> > >> Incidentally, on FC 33 and FC 34, the default settings are pretty strict >> > >> for cryptographic signatures, and "ssh g...@trac.sagemath.org info" >> > >> fails >> > >> as a result. A way of making FC >=33 more accepting of outdated >> > >> signature >> > >> schemes is by: >> > >> >> > >> sudo update-crypto-policies --set LEGACY >> > >> >> > > >> > >> > -- >> > 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+...@googlegroups.com. >> > To view this discussion on the web visit >> > https://groups.google.com/d/msgid/sage-devel/510102cf-26fc-f834-4d6c-d5865a1e5b8b%40gmail.com. > > -- > 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 view this discussion on the web visit > https://groups.google.com/d/msgid/sage-devel/2817e314-bea1-47c0-8814-0d7f6f26b86en%40googlegroups.com. -- 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 view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/CAAWYfq3Dh_Cp_3xQ00dbOsmBtzqExYfqYYV65QoCenAnRB2Gcw%40mail.gmail.com.
Re: [sage-devel] Re: Outdated instructions in "git the hard way"
I use git-trac all the time, but I do agree that it is better for the developer's manual to begin with standard git instructions and only describe git-trac as an optional convenience tool. We should avoid the impression that project-specific special tooling is required if people want to contribute to the project. Matthias On Thursday, September 9, 2021 at 1:43:58 AM UTC-7 Dima Pasechnik wrote: > I think that 'git trac' is mainly used by the release manager - I > won't recommend it to newcomers. > > > On Thu, Sep 9, 2021 at 9:36 AM Vincent Delecroix > <20100.d...@gmail.com> wrote: > > > > +1 : Learning git is a useful skill. And a developer is likely to > > know git already. > > > > Le 09/09/2021 à 09:49, Eric Gourgoulhon a écrit : > > > Also the title of that section, "Git the hard way", should be changed. > It > > > should rather be "Git the *standard* way" IMHO. > > > > > > Eric. > > > > > > > > > > > > > > > Le mercredi 8 septembre 2021 à 00:47:44 UTC+2, Nils Bruin a écrit : > > > > > >> On: > > >> > > >> https://doc.sagemath.org/html/en/developer/manual_git.html > > >> > > >> it is suggested to start with > > >> > > >> git clone https://gitlab.com/sagemath/dev/tracmirror.git > > >> > > >> however, the gitlab mirror is stuck at 9.3. The github mirror tracks > the > > >> development tree much better. Shouldn't we be pointing people to that > > >> instead? Or perhaps straight to trac.sagemath.org ? > > >> > > >> Incidentally, on FC 33 and FC 34, the default settings are pretty > strict > > >> for cryptographic signatures, and "ssh g...@trac.sagemath.org info" > fails > > >> as a result. A way of making FC >=33 more accepting of outdated > signature > > >> schemes is by: > > >> > > >> sudo update-crypto-policies --set LEGACY > > >> > > > > > > > -- > > 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+...@googlegroups.com. > > To view this discussion on the web visit > https://groups.google.com/d/msgid/sage-devel/510102cf-26fc-f834-4d6c-d5865a1e5b8b%40gmail.com > . > -- 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 view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/2817e314-bea1-47c0-8814-0d7f6f26b86en%40googlegroups.com.
Re: [sage-devel] Re: Outdated instructions in "git the hard way"
Hi, On Thu, Sep 09, 2021 at 03:04:37AM -0700, 'Martin R' via sage-devel wrote: > Actually, I use "git trac" a lot. Mainly "git trac try", "git trac pull" > and "git trac create". I find it very convenient to only pass the trac > ticket number. I use it a lot too. Let me also mention "git trac find" which, combined to "git blame" allows you to discover which ticket introduced some feature or bug, then you can add the participants in CC of a ticket corresponding to that feature or bug. Ciao, Thierry > Martin > > dim...@gmail.com schrieb am Donnerstag, 9. September 2021 um 10:43:58 UTC+2: > > > I think that 'git trac' is mainly used by the release manager - I > > won't recommend it to newcomers. > > > > > > On Thu, Sep 9, 2021 at 9:36 AM Vincent Delecroix > > <20100.d...@gmail.com> wrote: > > > > > > +1 : Learning git is a useful skill. And a developer is likely to > > > know git already. > > > > > > Le 09/09/2021 à 09:49, Eric Gourgoulhon a écrit : > > > > Also the title of that section, "Git the hard way", should be changed. > > It > > > > should rather be "Git the *standard* way" IMHO. > > > > > > > > Eric. > > > > > > > > > > > > > > > > > > > > Le mercredi 8 septembre 2021 à 00:47:44 UTC+2, Nils Bruin a écrit : > > > > > > > >> On: > > > >> > > > >> https://doc.sagemath.org/html/en/developer/manual_git.html > > > >> > > > >> it is suggested to start with > > > >> > > > >> git clone https://gitlab.com/sagemath/dev/tracmirror.git > > > >> > > > >> however, the gitlab mirror is stuck at 9.3. The github mirror tracks > > the > > > >> development tree much better. Shouldn't we be pointing people to that > > > >> instead? Or perhaps straight to trac.sagemath.org ? > > > >> > > > >> Incidentally, on FC 33 and FC 34, the default settings are pretty > > strict > > > >> for cryptographic signatures, and "ssh g...@trac.sagemath.org info" > > fails > > > >> as a result. A way of making FC >=33 more accepting of outdated > > signature > > > >> schemes is by: > > > >> > > > >> sudo update-crypto-policies --set LEGACY > > > >> > > > > > > > > > > -- > > > 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+...@googlegroups.com. > > > To view this discussion on the web visit > > https://groups.google.com/d/msgid/sage-devel/510102cf-26fc-f834-4d6c-d5865a1e5b8b%40gmail.com > > . > > > > -- > 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 view this discussion on the web visit > https://groups.google.com/d/msgid/sage-devel/4eb2c412-2234-495f-a4b9-0e552a968eebn%40googlegroups.com. -- 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 view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/20210909142353.GA29967%40metelu.net.
Re: [sage-devel] Re: Outdated instructions in "git the hard way"
Actually, I use "git trac" a lot. Mainly "git trac try", "git trac pull" and "git trac create". I find it very convenient to only pass the trac ticket number. Martin dim...@gmail.com schrieb am Donnerstag, 9. September 2021 um 10:43:58 UTC+2: > I think that 'git trac' is mainly used by the release manager - I > won't recommend it to newcomers. > > > On Thu, Sep 9, 2021 at 9:36 AM Vincent Delecroix > <20100.d...@gmail.com> wrote: > > > > +1 : Learning git is a useful skill. And a developer is likely to > > know git already. > > > > Le 09/09/2021 à 09:49, Eric Gourgoulhon a écrit : > > > Also the title of that section, "Git the hard way", should be changed. > It > > > should rather be "Git the *standard* way" IMHO. > > > > > > Eric. > > > > > > > > > > > > > > > Le mercredi 8 septembre 2021 à 00:47:44 UTC+2, Nils Bruin a écrit : > > > > > >> On: > > >> > > >> https://doc.sagemath.org/html/en/developer/manual_git.html > > >> > > >> it is suggested to start with > > >> > > >> git clone https://gitlab.com/sagemath/dev/tracmirror.git > > >> > > >> however, the gitlab mirror is stuck at 9.3. The github mirror tracks > the > > >> development tree much better. Shouldn't we be pointing people to that > > >> instead? Or perhaps straight to trac.sagemath.org ? > > >> > > >> Incidentally, on FC 33 and FC 34, the default settings are pretty > strict > > >> for cryptographic signatures, and "ssh g...@trac.sagemath.org info" > fails > > >> as a result. A way of making FC >=33 more accepting of outdated > signature > > >> schemes is by: > > >> > > >> sudo update-crypto-policies --set LEGACY > > >> > > > > > > > -- > > 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+...@googlegroups.com. > > To view this discussion on the web visit > https://groups.google.com/d/msgid/sage-devel/510102cf-26fc-f834-4d6c-d5865a1e5b8b%40gmail.com > . > -- 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 view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/4eb2c412-2234-495f-a4b9-0e552a968eebn%40googlegroups.com.
Re: [sage-devel] Re: Outdated instructions in "git the hard way"
I think that 'git trac' is mainly used by the release manager - I won't recommend it to newcomers. On Thu, Sep 9, 2021 at 9:36 AM Vincent Delecroix <20100.delecr...@gmail.com> wrote: > > +1 : Learning git is a useful skill. And a developer is likely to > know git already. > > Le 09/09/2021 à 09:49, Eric Gourgoulhon a écrit : > > Also the title of that section, "Git the hard way", should be changed. It > > should rather be "Git the *standard* way" IMHO. > > > > Eric. > > > > > > > > > > Le mercredi 8 septembre 2021 à 00:47:44 UTC+2, Nils Bruin a écrit : > > > >> On: > >> > >> https://doc.sagemath.org/html/en/developer/manual_git.html > >> > >> it is suggested to start with > >> > >> git clone https://gitlab.com/sagemath/dev/tracmirror.git > >> > >> however, the gitlab mirror is stuck at 9.3. The github mirror tracks the > >> development tree much better. Shouldn't we be pointing people to that > >> instead? Or perhaps straight to trac.sagemath.org ? > >> > >> Incidentally, on FC 33 and FC 34, the default settings are pretty strict > >> for cryptographic signatures, and "ssh g...@trac.sagemath.org info" fails > >> as a result. A way of making FC >=33 more accepting of outdated signature > >> schemes is by: > >> > >> sudo update-crypto-policies --set LEGACY > >> > > > > -- > 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 view this discussion on the web visit > https://groups.google.com/d/msgid/sage-devel/510102cf-26fc-f834-4d6c-d5865a1e5b8b%40gmail.com. -- 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 view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/CAAWYfq0cD7eUpHYWGfomYyzW3JKN2p9dyVoMsjtGpOy03VYgHQ%40mail.gmail.com.
Re: [sage-devel] Re: Outdated instructions in "git the hard way"
+1 : Learning git is a useful skill. And a developer is likely to know git already. Le 09/09/2021 à 09:49, Eric Gourgoulhon a écrit : Also the title of that section, "Git the hard way", should be changed. It should rather be "Git the *standard* way" IMHO. Eric. Le mercredi 8 septembre 2021 à 00:47:44 UTC+2, Nils Bruin a écrit : On: https://doc.sagemath.org/html/en/developer/manual_git.html it is suggested to start with git clone https://gitlab.com/sagemath/dev/tracmirror.git however, the gitlab mirror is stuck at 9.3. The github mirror tracks the development tree much better. Shouldn't we be pointing people to that instead? Or perhaps straight to trac.sagemath.org ? Incidentally, on FC 33 and FC 34, the default settings are pretty strict for cryptographic signatures, and "ssh g...@trac.sagemath.org info" fails as a result. A way of making FC >=33 more accepting of outdated signature schemes is by: sudo update-crypto-policies --set LEGACY -- 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 view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/510102cf-26fc-f834-4d6c-d5865a1e5b8b%40gmail.com.
[sage-devel] Re: Outdated instructions in "git the hard way"
Also the title of that section, "Git the hard way", should be changed. It should rather be "Git the *standard* way" IMHO. Eric. Le mercredi 8 septembre 2021 à 00:47:44 UTC+2, Nils Bruin a écrit : > On: > > https://doc.sagemath.org/html/en/developer/manual_git.html > > it is suggested to start with > > git clone https://gitlab.com/sagemath/dev/tracmirror.git > > however, the gitlab mirror is stuck at 9.3. The github mirror tracks the > development tree much better. Shouldn't we be pointing people to that > instead? Or perhaps straight to trac.sagemath.org ? > > Incidentally, on FC 33 and FC 34, the default settings are pretty strict > for cryptographic signatures, and "ssh g...@trac.sagemath.org info" fails > as a result. A way of making FC >=33 more accepting of outdated signature > schemes is by: > > sudo update-crypto-policies --set LEGACY > -- 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 view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/05352b6c-98d4-48fa-a6c1-7324dad0d9a8n%40googlegroups.com.
[sage-devel] Re: Outdated instructions in "git the hard way"
https://trac.sagemath.org/ticket/29784 can be used for this On Tuesday, September 7, 2021 at 8:51:49 PM UTC-7 John H Palmieri wrote: > Could you please open a ticket for this? > > On Tuesday, September 7, 2021 at 3:47:44 PM UTC-7 Nils Bruin wrote: > >> On: >> >> https://doc.sagemath.org/html/en/developer/manual_git.html >> >> it is suggested to start with >> >> git clone https://gitlab.com/sagemath/dev/tracmirror.git >> >> however, the gitlab mirror is stuck at 9.3. The github mirror tracks the >> development tree much better. Shouldn't we be pointing people to that >> instead? Or perhaps straight to trac.sagemath.org ? >> >> Incidentally, on FC 33 and FC 34, the default settings are pretty strict >> for cryptographic signatures, and "ssh g...@trac.sagemath.org info" >> fails as a result. A way of making FC >=33 more accepting of outdated >> signature schemes is by: >> >> sudo update-crypto-policies --set LEGACY >> > -- 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 view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/5590dde0-fe0d-4d79-984f-33df7994a50an%40googlegroups.com.
Re: [sage-devel] Re: Outdated instructions in "git the hard way"
There are other problems in the documentation related to building from source, which could be added to this ticket. I noticed them as I recently tried to build from source from scratch. The suggested commands on the page you mentioned are: [user@localhost ~]$ git clone https://gitlab.com/sagemath/dev/tracmirror.git [user@localhost ~]$ cd sage [user@localhost sage]$ git checkout develop [user@localhost sage]$ make The second line fails because the folder is called `tracmirror` and not `sage`. When I run `make` as instructed I get the error "Sage source tree is unconfigured. Please run "./configure" first." However just after cloning there is no 'configure' file in the folder. Note that the same problem arises with instructions at https://doc.sagemath.org/html/en/developer/walk_through.html#obtaining-the-sage-source-code Also, the page https://doc.sagemath.org/html/en/installation/source.html#general-procedure instructs to run `configure` right after cloning, which fails because the file does not exits. According to the main readme ( https://github.com/sagemath/sage#instructions-to-build-from-source ) it seems that the correct way to build sage from source from scratch is to first run `make configure` (step 5). By the way steps 5 and 4 could be switched in this file, as step 4 refers to the file `configure` that does not exist before step 5. Shouldn't we keep a single page with up-to-date instructions instead of multiple duplicates that are hard to maintain? Le 08/09/2021 à 05:51, John H Palmieri a écrit : > Could you please open a ticket for this? > > On Tuesday, September 7, 2021 at 3:47:44 PM UTC-7 Nils Bruin wrote: > >> On: >> >> https://doc.sagemath.org/html/en/developer/manual_git.html >> >> it is suggested to start with >> >> git clone https://gitlab.com/sagemath/dev/tracmirror.git >> >> however, the gitlab mirror is stuck at 9.3. The github mirror tracks the >> development tree much better. Shouldn't we be pointing people to that >> instead? Or perhaps straight to trac.sagemath.org ? >> >> Incidentally, on FC 33 and FC 34, the default settings are pretty strict >> for cryptographic signatures, and "ssh g...@trac.sagemath.org info" fails >> as a result. A way of making FC >=33 more accepting of outdated signature >> schemes is by: >> >> sudo update-crypto-policies --set LEGACY >> > -- 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 view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/9c053650-d2bf-4c22-f478-2b190e3ffcc6%40uca.fr.
[sage-devel] Re: Outdated instructions in "git the hard way"
Could you please open a ticket for this? On Tuesday, September 7, 2021 at 3:47:44 PM UTC-7 Nils Bruin wrote: > On: > > https://doc.sagemath.org/html/en/developer/manual_git.html > > it is suggested to start with > > git clone https://gitlab.com/sagemath/dev/tracmirror.git > > however, the gitlab mirror is stuck at 9.3. The github mirror tracks the > development tree much better. Shouldn't we be pointing people to that > instead? Or perhaps straight to trac.sagemath.org ? > > Incidentally, on FC 33 and FC 34, the default settings are pretty strict > for cryptographic signatures, and "ssh g...@trac.sagemath.org info" fails > as a result. A way of making FC >=33 more accepting of outdated signature > schemes is by: > > sudo update-crypto-policies --set LEGACY > -- 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 view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/a463f4a1-b75f-40b9-b88a-0ecaaf401d84n%40googlegroups.com.