Jenkins系列之Jenkins配置常用工具和如何下载插件