eclipse中安装spring tools 遇到的坑

最近要捣鼓下spring cloud的开发，最重要的开发IDE当然是Eclipse+ spring tools. 很早之前安装过，当时没遇到什么问题，这次在家里的电脑上安装，各种问题。我的eclipse版本是2019-12

1. 去spring官网 https://spring.io/tools 下载最新的jar，然后按照网上说的 Eclipse->Help->Install New Updates, 将下载到本地的jar地址作为

2. 通过 eclipse marketplace client的方式安装，遇到下面的问题

Cannot open Eclipse Marketplace Cannot install remote marketplace locations: Cannot resolve host

网上各种solutions都是要修改Eclipse里的代理置为Manual的，可是依然不行。在下面的链接里找到了答案。还是stackoverflow给力。

https://stackoverflow.com/questions/41720780/cannot-open-eclipse-marketplace-cannot-install-remote-marketplace-locations-can?r=SearchResults

适合我的eclipse version 2019-12, 解决办法是，上面链接提到的在eclipse.ini里