Various shell scripts.