scripts

Various shell scripts to make my life easier.