A bunch of shell scripts for my development convenience