PUB:20140818 What are useful CLI tools for Linux system admins

@zpl1025