Archive for the ‘Uncategorized’ Category

Git push requires username and password

September 15, 2014 Leave a comment

You want to push a new project to github, but it asks for your username and password each time.

I found the solution here. Here I copy Davide‘s answer (reformulated a bit):

First, check the remote repository:

git remote -v

which will respond something like

origin (fetch)
origin (push)

Execute the following command:

git remote set-url origin

Notice that you need to do some transformations: “https://yourname@” is replaced with “git@“, and “/yourname” becomes “:yourname“.

Now “git push” should work fine.

Categories: Uncategorized Tags: ,

Wandbox: a social compilation service

July 30, 2014 1 comment

Wandbox is a project that allows you to try several languages in your browser. Just paste the code and Wandbox will compile/interpret it and show you the result.

Try it here. The source code is on GitHub.

The service can be called via an API too! The API doc. is here:

Black Hat youtube videos

July 13, 2014 Leave a comment
Categories: Uncategorized Tags: ,

Connecting PC and monitor via HDMI: “no signal”

At my workplace I got a new monitor (27″) that came with an HDMI cable. I connected the monitor and the PC but the monitor displayed a “No signal” error. I tried it with a VGA cable and it worked fine but the screen was not sharp enough. I had the impression that the lower quality was caused by the VGA cable. Hmm, how to make that HDMI connection work?

The solution is trivial. You need to select HDMI connection in the settings of your monitor, in the menu :) Really, that’s all. And the difference is clearly visible. Now my screen is sharp, much better than the VGA. So if you have HDMI connection, use it.

Categories: Uncategorized Tags: , ,

Online learning: extend your CV

June 24, 2014 1 comment
Categories: Uncategorized Tags: , ,

Stypi, a realtime editor

June 24, 2014 Leave a comment

Stypi is a realtime editor that allows multiple users to make changes to a single document at the same time. All you need to do is share the URL with others to begin collaborating!

This editor also supports programming languages that you can access by clicking on the “</>” button on the top left. For more information on how to use Stypi please click the FAQ link on the bottom left.” (source)

Categories: Uncategorized Tags: ,

how to create a pull request on GitHub

June 20, 2014 Leave a comment

Explained step by step here:

In short: fork the repo you want to contribute to; clone it to your local machine; do the changes, commit, then push it back to your repo. Then create the pull request on the web interface of github: visit your repo and click on the “pull request” button. Fill out the necessary information and create the pull request. The project’s owner will be notified about your contribution.

Categories: Uncategorized Tags: ,

Get every new post delivered to your Inbox.

Join 72 other followers