Maven 配置代理服务器

原因：公司使用上网使用代理服务器，导致idea和maven仓库安装失败

查看代理服务器：

 

maven下的conf.setting.xml文件中加入：

<proxy>
    <!--id-->
    <id>optional</id>
    <!--true 表示生效-->
    <active>true</active>
    <!--协议-->
    <protocol>http</protocol>
    <!--公司上网使用ip及端口，即代理，这里替换成相对应的ip和端口-->
    <host>isasrv</host>
    <port>8080</port>
</proxy>

idea：

完成