linux下的一些小工具