trivial little shell scripts