Some useful tools in linux