Ask Your Question

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 '': 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


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

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


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

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


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

origin (fetch)
origin (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 ""

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


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

Seen: 557 times

Last updated: Nov 04 '15