Some shell scripts we use in general development