Collection of short shell scripts that might be useful to someone else