回答情况：
提问时间：
问题标签：
但是，每当我启动它时，我都会得到以下错误
File is missing: Cannot open load file, no such file or directory, /bin/bash: agda-modeentered--Lisp error: (file-missing "Cannot open load file" "No such file or directory" "/bin/bash: agda-mode: command not found\n
浏览 6提问于2022-03-27得票数 3
回答已采纳
但是，在运行agda-mode setup之后启动Emacs时，我收到以下错误：(load-file
(let ((coding-system
浏览 0修改于2020-07-13得票数 2
1回答
agda-mode setup/usr/local/Cellar/agda/2.5.4/share/x86_64-osx-ghc-8.4.3/Agda-2.5.4/emacs-mode/agda2.el
Symbol's function definition
浏览 1提问于2018-06-07得票数 1
回答已采纳
order, the following will be built (use -v for more details):):
Preprocessing executable 'agda-modeBuilding executable 'agda-mode' fo
浏览 24提问于2021-01-21得票数 0
回答已采纳
在那之后，我做了它所做的是添加 (shell-command-to-string"agda-mode locate")))Loading quail/latin-ltx...
浏览 4修改于2020-03-02得票数 0
回答已采纳
right. (shell-command-to-string "agda-mode
浏览 7提问于2022-04-14得票数 1
这是我的.emacs文件： (shell-command-to-string "agda-mode
浏览 2修改于2015-01-27得票数 5
回答已采纳
agda' is not installed, so not removedPackage 'agda-mode
浏览 0修改于2018-07-07得票数 3
回答已采纳
腾讯云开发者
Copyright © 2013 - 2026 Tencent Cloud. All Rights Reserved. 腾讯云 版权所有
深圳市腾讯计算机系统有限公司 ICP备案/许可证号：粤B2-20090059 
粤公网安备44030502008569号
腾讯云计算（北京）有限责任公司 京ICP证150476号 | 京ICP备11018762号