随笔分类 -  工具使用

Nvim-tree 图标显示问题(安装Nerd字体）
摘要：在使用neovim的过程中，发现文件树中没有图标 ，今天解决这个问题，并记录。 nvim-tree插件没有显示图标，是因为它依赖nerd字体，需要安装nerd字体，安装之后就可以解决这个问题。 可以在该网址下载nerd字体，挑选一个自己喜欢的字体：Nerd Fonts - Iconic font a 阅读全文
posted @ 2024-11-01 15:25 沉迷xs 阅读(506) 评论(0) 推荐(0) 编辑
ACL2 定理证明器的安装
摘要：在Ubuntu 22.04.1 安装acl2（“A Computational Logic for Applicative Common Lisp".） 安装环境如下所示： Linux ubun 6.8.0-47-generic #47~22.04.1-Ubuntu SMP PREEMPT_DYNA 阅读全文
posted @ 2024-10-31 10:55 沉迷xs 阅读(35) 评论(0) 推荐(0) 编辑

点击右上角即可分享
微信分享提示