一、背景
好久没用idea了,打开项目后没有lombok,安装lombok插件时发现idea MarketPlace插件市场找不到,需要重新配置代理源,在外网访问时通过代理服务进行连接
二、操作
### File-->setting 快捷键
Ctrl + Alt + S
远端源地址复制
https://plugins.jetbrains.com
好久没用idea了,打开项目后没有lombok,安装lombok插件时发现idea MarketPlace插件市场找不到,需要重新配置代理源,在外网访问时通过代理服务进行连接
### File-->setting 快捷键
Ctrl + Alt + S
远端源地址复制
https://plugins.jetbrains.com