some bash scripts that I run to do useful things