Linux下安装Maude和emacs的一些说明:
1.安装maude,sudo apt-get install maude
2.安装emacs,sudo apt-get install emacs
3..安装emacs后,会在home文件夹下出现一个.emacs.d的文件夹,把maude-mode.el文件拷贝到该文件夹下,
并打开文件夹下的init.el文件,在文件末尾添加如下的语句:
(add-to-list ‘load-path "~/.emacs.d")
(autoload ‘maude-mode "maude-mode" "Maude-programming" t)
(setq auto-mode-alist (cons ‘("\\.maude$" . maude-mode) auto-mode-alist))
==============================================================
安装时遇到的坑:
1 Unable to locate package maude
刚安装或更换软件源之后,软件源还来不及更新,无法找到包。解决方案:输入命令“sudo apt-get update”
================================================================
吐槽一下:
安装emacs真的很慢!!!
原文地址:https://www.cnblogs.com/Pusteblume/p/9892365.html
时间: 2024-10-11 22:48:01