a few simple tools for system administration on linux