public:general:misc:useful_linux_tools