Some bash shell scripts to help administrators of linux servers like me.