【踩坑记录】（报错：找不到程序包和符号）2020.1版本的idea，使用Maven时本地仓库路径的配置

创建了一个Maven Java项目，在pom.xml里引入了Jedis，External Libraries里也显示了Jedis，代码中import了redis.clients.jedis.Jedis，代码也没有任何飘红。运行代码时，报错：找不到程序包和符号Jedis。

查了会资料，终于看到了这篇文章：
idea2020.1踩坑：找不到程序包和符号(冷门解决)

解决办法：
idea里配置Maven，Maven所使用的settings.xml（在下图中倒数第二栏User settings file）中不要配置localRepository标签，即不要在settings.xml里写：

<localRepository>E:\maven\maven-repository</localRepository>

那在哪里设置本地仓库的路径呢？在下图中的最后一栏Local repository中设置。
总结：
本地仓库路径不要在settings.xml里设置，而是在idea里设置。（这跟idea版本有关系，2020.1版本是这样的，挺神奇的~）