【Jenkins】修改Ubuntu下的jenkins端口号