Miscellaneous shell scripts

Here are some shell scripts for Linux. For more details, see the comments at the start of each script.