[sage-support] Re: Ssh problems

[Simon King]

Hi Dima,

On 2017-02-21, Dima Pasechnik  wrote:
> first of all, put your (new?) ssh key to trac, and also to github, if you 
> have an account there.

For *cloning*? Sure, I need it for pushing. But I don't think I have
ever made Sage aware of my github account (not sure if I have one).

> Some firewalls prevent plain "git" protocol, in effect, you need to use ssh 
> or https
> to connect to github.
> Assuming your ssh key is there, do
>
> git clone g...@github.com:sagemath/sage.git 
> 
>
> this will make sure you go via ssh...

I didn't try that, as the suggestion "use https://github... instead of
git://github..." works for me.

Thank you very much,
Simon

-- 
You received this message because you are subscribed to the Google Groups 
"sage-support" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to sage-support+unsubscr...@googlegroups.com.
To post to this group, send email to sage-support@googlegroups.com.
Visit this group at https://groups.google.com/group/sage-support.
For more options, visit https://groups.google.com/d/optout.

[sage-support] Re: Ssh problems

[Simon King]

Hi Eric,

On 2017-02-21, Eric Gourgoulhon  wrote:
> What about 
> git clone https://github.com/sagemath/sage.git
> (note the change "git:" --> "https:")
> Does it work better for you ?

Thank you! That seems to do the trick. So, should the development
mantual be changed accordingly?

Cheers,
Simon

-- 
You received this message because you are subscribed to the Google Groups 
"sage-support" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to sage-support+unsubscr...@googlegroups.com.
To post to this group, send email to sage-support@googlegroups.com.
Visit this group at https://groups.google.com/group/sage-support.
For more options, visit https://groups.google.com/d/optout.

[sage-support] Re: Ssh problems

[Dima Pasechnik]

On Tuesday, February 21, 2017 at 5:49:08 PM UTC, Simon King wrote:
>
> Hi! 
>
> Trying to follow the advices in "Git the Hard Way", I did 
>   git clone git://github.com/sagemath/sage.git 
>
> However, I got the response 
>   ssh: Could not resolve hostname https: Name or service not known 
>
> Is the problem on my side? 
>
> Also I see that (unlike in the past) I could not do 
>   ssh simo...@sage.math.washington.edu  
> (on two different laptops). It tells me "Permission denied (publickey)". 
>

 sage.math.washington.edu is long (6+ months?) dead.
Email William if you want an account on a (new) box at UW that he still 
runs.


> So, please give me directions on how to close the git repositories from 
> github and trac on a new laptop, as the development manual doesn't work 
> for me. 
>

first of all, put your (new?) ssh key to trac, and also to github, if you 
have an account there.

Some firewalls prevent plain "git" protocol, in effect, you need to use ssh 
or https
to connect to github.
Assuming your ssh key is there, do

git clone g...@github.com:sagemath/sage.git 
 

this will make sure you go via ssh...


 Dima
 
 

>
> Best regards, 
> Simon 
>
>

-- 
You received this message because you are subscribed to the Google Groups 
"sage-support" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to sage-support+unsubscr...@googlegroups.com.
To post to this group, send email to sage-support@googlegroups.com.
Visit this group at https://groups.google.com/group/sage-support.
For more options, visit https://groups.google.com/d/optout.

[sage-support] Re: Ssh problems

[Eric Gourgoulhon]

Hi,

Le mardi 21 février 2017 18:49:08 UTC+1, Simon King a écrit :
>
> Hi! 
>
> Trying to follow the advices in "Git the Hard Way", I did 
>   git clone git://github.com/sagemath/sage.git 
>
>
What about 
git clone https://github.com/sagemath/sage.git
(note the change "git:" --> "https:")
Does it work better for you ?

Best regards,

Eric.
 

-- 
You received this message because you are subscribed to the Google Groups 
"sage-support" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to sage-support+unsubscr...@googlegroups.com.
To post to this group, send email to sage-support@googlegroups.com.
Visit this group at https://groups.google.com/group/sage-support.
For more options, visit https://groups.google.com/d/optout.

[sage-support] Re: Ssh problems

[Simon King]

On 2017-02-21, Simon King  wrote:
> So, please give me directions on how to close the git repositories

I meant to write "clone", not "close"...

-- 
You received this message because you are subscribed to the Google Groups 
"sage-support" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to sage-support+unsubscr...@googlegroups.com.
To post to this group, send email to sage-support@googlegroups.com.
Visit this group at https://groups.google.com/group/sage-support.
For more options, visit https://groups.google.com/d/optout.