some dev tools config and a shell script for updating