Tools of bash shell on linux