Re: [sage-devel] Re: Outdated instructions in "git the hard way"

2021-12-26 Thread Matthias Koeppe
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"

2021-09-13 Thread Dima Pasechnik
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"

2021-09-13 Thread Thierry
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"

2021-09-13 Thread Dima Pasechnik
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"

2021-09-10 Thread Simon King
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"

2021-09-10 Thread kcrisman


> 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"

2021-09-09 Thread Dima Pasechnik
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"

2021-09-09 Thread Matthias Koeppe
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"

2021-09-09 Thread Thierry
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"

2021-09-09 Thread 'Martin R' via sage-devel
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"

2021-09-09 Thread Dima Pasechnik
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"

2021-09-09 Thread Vincent Delecroix

+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"

2021-09-09 Thread Eric Gourgoulhon
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"

2021-09-08 Thread Matthias Koeppe
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"

2021-09-08 Thread Jean-Florent Raymond
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"

2021-09-07 Thread John H Palmieri
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.