ubuntu下的一些工具