Posts

Set up custom domain name with GitHub pages

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.

Using multiple different shells/subsystems on Windows

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

Solving problems with tethering wifi from an Android phone

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.

Intellij IDEA live templates

Configure your own templates for daunting repetitive tasks in IDEA, like defining a logger variable each time. After reading this post you'll be able to type log press TAB and get the full logger declaration for slf4j.

Publishing java libraries to Maven Central, the manual

How to push your own libraries to Maven Central repository to make them easily available to everyone in the world. JCenter will also copy the libraries from Central, so they will be available from there as well.