形式化方法AFM(1)--Linux下安装Maude和emacs

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

形式化方法AFM(1)--Linux下安装Maude和emacs的相关文章

linux下安装Oracle时交换空间不足的解决方法

摘:linux下安装Oracle时交换空间不足的解决方法 linux上安装Oracle时交换空间不足的解决办法 增加交换空间有两种方法: 严格的说,在系统安装完后只有一种方法可以增加swap,那就是本文的第二种方法, 至于第一种方法应该是安装系统时设置交换区. 1.使用分区: 在安装OS时划分出专门的交换分区,空间大小要事先规划好,启动系统时自动进行mount. 这种方法只能在安装OS时设定,一旦设定好不容易改变,除非重装系统. 2.使用swapfile:(或者是整个空闲分区) 新建临时swap

在LINUX下安装DISCUZ出现的错误:advice_mysqli_connect 解决方法。

在用curl进行模拟调用时,curl接收内容会出现"Empty reply from server"的错误. 修改httpd.conf,在虚拟主机上添加如下内容:EnableSendfile offEnableMMAP off 在安装discuz时,无法安装,提示错误如下:advice_mysqli_connect 解决方法:重新安装php, 配置如下:cd php-5.3.27 ./configure --prefix=/usr/local/php --with-apxs2=/usr

Linux下安装tomcat5.5的方法

不知道大家是不是了解Linux下安装tomcat5.5的方法呢?最近有用户给小编留言说想了解Linux下如何安装tomcat5.5,那么下面我们就围绕着这个问题一起去看看Linux下安装tomcat5.5的方法介绍. 1.tomcat5.5.tar.gz 下载地址 http://tomcat.apache.org/download-55.cgi 2. 将tomcat5.5.tar.gz 压缩文件解压缩到 /usr 下面,文件夹改为 tomcat5.5 3. 打开 /etc下的profile文件,

Python MySQLdb Linux下安装笔记

本文介绍了Python MySQLdb Linux下安装笔记,本文分别讲解了快速安装和手动编译安装两种方法,并分别讲解了操作步骤,需要的朋友可以参考下 主要针对centos6.5 64位系统 默认python版本为2.6 编码安装python2.7和python3.4      一.yum快速安装 yum install MySQL-python yum install python-setuptools 经常接触Python的同学可能会注意到,当需要安装第三方python包时,可能会用到eas

日积月累Learning Linux(一):在Linux下安装Git工具

背景: 由于项目需要,经常在github上下载开源库项目源代码.因此最近决定花时间系统学习一下Linux下的相关软件的安装方法,这里就以Git工具的安装为例进行讲解. Linux(fedora18)安装Git工具: 1)Git与Github的区别: Github是一个网站,给用户提供git服务.相当于web版的Git工具,在Github上注册个账号,就可以享受网站提供的Git服务.而Git是一个版本控制系统,与SVN.CVS是类似的概念,简单点说就是对你的文件的一种版本管理(此处所谓的版本其实就

【转】Linux 下安装python软件包(pip、nose、virtualenv、distribute )

1.关于pip pip是python的软件安装工具,下面是pip的使用方法: (1)安装包:pip install SomePackage (2)查看安装包时安装了哪些文件:pip show --files SomePackage (3)查看哪些包有更新:pip show --files SomePackage (4)更新一个软件:pip install --upgrade SomePackage (5)卸载软件:pip uninstall SomePackage 所以,有了pip我们就可以自动

Linux下安装Oracle的过程和涉及的知识点-系列5

12.命令行启动 由于我是用VM进行安装的,所以首先需要修改默认启动为命令行的方式. 使用root登录,编辑/etc/inittab文件,将d:5:initdefault:改为d:3:initdefault: 知识点6:Linux的运行级别 # 0 - 停机(千万不能把initdefault 设置为0) # 1 - 单用户模式 # s init s = init 1 # 2 - 多用户,没有 NFS # 3 - 完全多用户模式(标准的运行级) # 4 - 没有用到 # 5 - X11 多用户图形

Intellij idea史上最简单的教程之Linux下安装与破解Intellij idea2017

一.前言 这一节我们介绍在Linux下如何安装与破解Intellij idea2017.现在有很多公司开发环境都是Linux,所以掌握在Linux环境下使用Idea办公也是咱们必须得掌握的技能. 下载地址:https://www.jetbrains.com/idea/download/#section=linux 记住我们下载的是Ultimate(旗舰版),不是Community(社区版).Ultimate(旗舰版)是收费的版本,本文主要是针对这个版本的安装与破解的教程.所以各位童鞋别下错了哟.

Ubuntu Linux下安装Oracle JDK

Ubuntu Linux下安装Oracle JDK Dennis Hu 2014-4-22 说明:因为非常多系统不支持使用OpenJDK,因此在ubuntu下会须要安装Oracle JDK.而Oracle JDK的安装貌似没有提供apt方式,因此安装Oracle JDK的方式相对麻烦一些,我常常安装,为了方便别人同一时候方便自己查看,把它记下来. 第一步:区分32位还是64位操作系统 先确定你的ubuntu linux是32位还是64位的,方法非常多,这里介绍一种就可以. $uname -a 第