my home-grown collection of handy shell scripts