May 27th 2018

Shell Scripting For Speed


Inspired by a forum thread Make a choice of which shell you use, that's the "#/bin/..." at the top: dash: very small & fast but [...]

June 21st 2018

Migrating Git Repos


I feel the need to migrate all my github stuff to somewhere else. Because Microsoft is buying Github. Gitlab does not seem to be that much [...]