A set of homemade bash scripts that are useful in server management