Ask Your Question
0

How to push from the cloud to github?

asked 2015-11-03 14:42:30 -0500

Erel Segal-Halevi gravatar image

I opened a new project in the SageMath cloud, and imported a GitHub project using the "Download from web" button.

I made some changes in the files on the cloud.

In the "Terminal command..." window in the top-right, I did "git add -A", then "git commit -m ''", then "git push".

The last command generated the following error:

fatal: could not read Username for 'https://github.com': No such device or address

I found some solutions to this error, but I don't know which, if any, are appropriate to the SageMath cloud.

Is it possible to push changes made on the cloud back to GitHub?

edit retag flag offensive close merge delete

Comments

A SageMathCloud project is just a standard Linux account, running on Ubuntu 15.04 right now.

William Stein gravatar imageWilliam Stein ( 2015-11-04 11:15:31 -0500 )edit

2 answers

Sort by ยป oldest newest most voted
1

answered 2015-11-04 14:22:11 -0500

ianhi gravatar image

Hi, I am experiencing the same error as you when I use the terminal window in the top right of the file browser. Based on this thread I think the issue has something to do with whether you are connecting to github via ssh or https.

WORKAROUND: The workaround is very simple:
1. Make a .term file instead of using the terminal box
2. use the .term file to run your git command

This worked for me, I hope it solves your problem

edit flag offensive delete link more

Comments

Where do you create the term file? And what exactly is in that file?

Erel Segal-Halevi gravatar imageErel Segal-Halevi ( 2015-11-07 14:53:12 -0500 )edit

You can create a .term file from the interface brought up by the "+New" button on the top left, then choose the ">_terminal" button. This gives you a full interactive linux command line.

ianhi gravatar imageianhi ( 2015-11-07 15:29:11 -0500 )edit

This worked. Thanks!

Erel Segal-Halevi gravatar imageErel Segal-Halevi ( 2015-11-07 16:08:39 -0500 )edit
0

answered 2015-11-04 10:35:28 -0500

haraldschilly gravatar image

what does git remote -v say? are you using the https:// instead of the git:// URL?

edit flag offensive delete link more

Comments

OK, I changed to using the git URL. Now, "git remote -v" shows:

origin  git@github.com:erelsgl/envy-free.git (fetch)
origin  git@github.com:erelsgl/envy-free.git (push)

and "git push" shows:

Host key verification failed.
fatal: Could not read from remote repository.

Please make sure you have the correct access rights
and the repository exists.
Erel Segal-Halevi gravatar imageErel Segal-Halevi ( 2015-11-07 14:49:33 -0500 )edit

I thought it is related to SSH keys, so I tried to generate a key by:

ssh-keygen -t rsa -b 4096 -C "erelsgl@gmail.com"

But, I got the following error:

Timed out after 10 seconds.
Erel Segal-Halevi gravatar imageErel Segal-Halevi ( 2015-11-07 15:02:52 -0500 )edit

Your Answer

Please start posting anonymously - your entry will be published after you log in or create a new account.

Add Answer

Question Tools

1 follower

Stats

Asked: 2015-11-03 14:42:30 -0500

Seen: 615 times

Last updated: Nov 04 '15