Random pieces of information

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.

CONTINUE READING

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

CONTINUE READING

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.

CONTINUE READING

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.

CONTINUE READING

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.

CONTINUE READING