Posts

How to make a zip copy of all git repo files without garbage

You have a git repo which contains sub-directories which are git repos themselves and now you want them to become submodules. Here’s a quick automatic way to add them all.

Wouldn’t it be nice if you had completion and nice colors in cmd.exe just like what you get out of the box on most Linuxes?

Walkthrough reminder for myself how to install OMV on Pi and set up backup to an external HDD.

Resolving merge conflicts is one the things that I hate most. Lets make it a little easier with p4merge.

Shift + Right Click in an explorer window in Win10 now has the option to open PowerShell. If you want to have cmd.exe back instead, here’s how, using the the registry.

If you host a user/org website on github-pages you might want to change the default username.github.io to something nicer, like username.com. This is a short instruction how to set up the repo and DNS configuration with your DNS provider to achieve this.

Configuring various shells and convenient dev environments on Windows with ConEmu.

If your tethered (from a phone to a windows computer) internet connection drops after a few seconds of being established, this post might be for you.