[translating] 20140818 What are useful CLI tools for Linux system admins.md