bash tools used in linux