一、背景

        好久没用idea了，打开项目后没有lombok，安装lombok插件时发现idea  MarketPlace插件市场找不到，需要重新配置代理源，在外网访问时通过代理服务进行连接

二、操作

### File-->setting 快捷键
Ctrl + Alt + S  

 远端源地址复制

https://plugins.jetbrains.com