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真的很慢！！！