Ssh problems

[Simon King]

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

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.

Best regards,
Simon

[Simon King]

On 2017-02-21, Simon King <simon...@uni-jena.de> wrote:
> So, please give me directions on how to close the git repositories

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

[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.
 

[Dr. David Kirkby (Kirkby Microwave Ltd)]

On 21 February 2017 at 17:48, Simon King <simon...@uni-jena.de> wrote:

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

drkirkby@hawk:~/openssh-7.4p1$ ./ssh kir...@sage.math.washington.edu
Permission denied (publickey).

I get the same, but I have not logged in for some time. But I tried to a week or two ago and could not ssh in either.

Dave

[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

[Simon King]

Hi Eric,

On 2017-02-21, Eric Gourgoulhon <egourg...@gmail.com> 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

[Simon King]

Hi Dima,

On 2017-02-21, Dima Pasechnik <dim...@gmail.com> 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

><http://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

[Dima Pasechnik]

On Wednesday, February 22, 2017 at 10:05:20 AM UTC, Simon King wrote:

Hi Dima,

On 2017-02-21, Dima Pasechnik <dim...@gmail.com> 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).

github accounts don't have per repo ssh keys, so even if you have one,

you are safe here, Sage won't tell it to anyone. :-)

 

It seems that 99% of active Sage devs have a git account - useful as

a backup store for all your git trees you care about...

> 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
><http://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.

g...@github.com:sagemath/sage.git would only have worked if you had a github account.

 

IMHO the problem is that git automatically substitutes URLs of the form git://...

with ones of the form git@... as soon as it knows that ssh authentication will work.

I was hitting a similar snag some time ago, and there was a long discussion on this

that I can't find ATM.

Cheers,

Dima