对于我这样的emacs轻度用户来说, aquamacs巨好用, 写代码, 写证明太舒服了.
如果您能解答我文章中的疑问, 不胜感激!
之前搭建好的环境在我的终端下面有一个问题, 如
Ctrl+,等诸多组合键无法输入进终端, 通过修改~/.Xdefaults也无法使用.-
后来我想改成GUI端的Emacs, 首先是EmacsForMaxOSX, 但是有很多问题.
诸如:
Warning (initialization): An error occurred while loading ‘/Users/zhang/.emacs’: File is missing: Cannot open load file, No such file or directory, /Users/zhang/zsh:1: command not found: agda-mode- 首先, 确实没有
/Users/zhang/zsh; - 其次,
command not found: agda-mode应该说的是环境变量出了问题. 我是从bash换成了zsh, 但是在终端里面所有的命令都能正常使用. - 找了半天也没有找到此emacs的具体环境变量依赖
当我将
~\.emacs中的agda-mode locate修改成为/usr/local/bin/agda-mode locate时, 上述错误消失.但当我打开一个
.agda文件时会提示:File mode specification error: (file-missing Searching for program No suc file or directory agda在使用
Ctrl-c, Ctrl-l, 会出现下面提示:Agda is busy with something in the buffer无法理解.
- 首先, 确实没有
-
随后改成Aquamacs就直接可以用了, 并没有对Aquamacs做什么特殊的配置.
经过对比, 两个Gui emacs的preference几乎相同. 然后就更加无法理解了.
说实话, 虽然在用了会emacs之后会感觉顺手, 但真的不是很喜欢, 并且在遇到无法输入
Ctrl+,这样的组合键之后, 就更加痛苦.
