一抹烟霞的博客

1、为防止误操作后无法恢复，先备份原文件sources.listsudo cp /etc/apt/sources.list /etc/apt/sources.list.bak2、修改软件源sudo gedit /etc/apt/sources.list 删除原来的内容把下面内容复制进去# 默认注释了源码镜像以提高 apt update 速度，如有需要可自行取消注释deb https://mirrors.tuna.tsinghua.edu.cn/ubuntu/ xenial main res

确认是否安装了eigen3sudo apt-get install libeigen3-dev解决 fatal error: Eigen/Core: No such file or directory如果已经安装，但当调用 eigen 库时，报错：fatal error: Eigen/Core: No such file or directory这是因为 eigen 库默认安装在了 /usr/include/eigen3/Eigen 路径下，需使用下面命令映射到 /usr/include .

GitHub对文件的大小有限制，问题在于，当移除了相关的文件之后，问题依然存在。解决方法：除了移除相关的文件，还要修改git的历史记录，移除相应的commit结点。最简单的方法是使用以下命令：git filter-branch -f --index-filter 'git rm --cached --ignore-unmatch YOUR-FILE'此命令会将指定的文件从push过程中过滤掉。...

https://blog.youkuaiyun.com/qq_34544129/article/details/81946494