Ask Your Question

How to push from the cloud to github?

asked 2015-11-03 21:42:30 +0200

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 18:15:31 +0200 )edit

2 Answers

Sort by ยป oldest newest most voted

answered 2015-11-04 21:22:11 +0200

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 21:53:12 +0200 )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 22:29:11 +0200 )edit

This worked. Thanks!

Erel Segal-Halevi gravatar imageErel Segal-Halevi ( 2015-11-07 23:08:39 +0200 )edit

answered 2015-11-04 17:35:28 +0200

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 21:49:33 +0200 )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 22:02:52 +0200 )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 21:42:30 +0200

Seen: 1,245 times

Last updated: Nov 04 '15