Skip to content

Instantly share code, notes, and snippets.

View ericksuryadinata's full-sized avatar
🏠
Working from home

Erick Surya Dinata ericksuryadinata

🏠
Working from home
View GitHub Profile
@davisford
davisford / gist:5039064
Last active February 9, 2022 13:39
git clone into non-empty directory

Let's say you start a project locally, and do some editing.

$ mkdir -p ~/git/foo && cd ~/git/foo
$ touch NEWFILE

Now you decide you want to create a new github repo and track it, but the directory is non-empty so git won't let you clone into it. You can fix this, thusly:

@sn0wcat
sn0wcat / gitssh.md
Last active January 25, 2024 23:50
Using git / ssh through http proxy on windows

Using git / ssh through http proxy on windows

If you are moving your development machine from an unrestricted to a restricted network and back, the chances are high that you will have problems using ssh or git dependent on the network where your computer is currently set up.

A good way to circumvent this is to use a local development proxy (like fiddler) on your computer and to tunnel all connections through it.

For example I am running fiddler on my machine on port 8888 (accepting external connections) and I am using the following setup: