Making a new year 13 January 2017 history edit Ubuntu on Windows, Bash jot -w 2017/%02d 12 | xargs mkdir -p Efficiency and idiosyncrasy How to check if a Git pull is needed Build a Lightweight Dev Rig for Running Windows Docker Containers