2020年6月23日
ubuntu18.04下dns如何设置?
摘要： 检查/etc/resolv.conf是否为软链接 $ ls -lh /etc/resolv.conf 如果不是软链接，直接将域名服务器的地址写入/etc/resolv.conf中 $ sudo vi /etc/resolv.conf nameserver 114.114.114.114 如果是软链接 阅读全文
posted @ 2020-06-23 11:03 Jello 阅读(628) 评论(0) 推荐(0) 编辑
ubuntu 18.04上执行buildman安装了交叉工具链之后编译报错"aarch64-linux/7.3.0/cc1: error while loading shared libraries: libmpfr.so.4: cannot open shared object file: No such file or directory"如何处理?
摘要： 完整日志如下: $ PATH=$PATH:`pwd`/tools/buildman $ buildman --fetch-arch aarch64 $ buildman -k my-board ~/.buildman-toolchains/gcc-7.3.0-nolibc/aarch64-linux 阅读全文
posted @ 2020-06-23 10:20 Jello 阅读(3049) 评论(0) 推荐(0) 编辑