Some simple Linux shell scripts