sml emacs 安装问题记录

sml & emacs 安装问题记录

  1. 可以直接用brew装,很方便
	brew install --cask emacsbrew install smlnj --cask
  1. 安装完smlng后测试sml命令 确认可以正常运行

  2. 如果找不到命令,需要配置环境变量

    1. 确认终端使用的是 zsh 还是 bash, 使用 echo $SHELL
    2. 如果是zsh 需要在 .zshrc 文件添加环境变量 export PATH=$PATH:/usr/local/smlnj/bin
    3. 如果是 bash, 需要在 .bash_profile 文件添加环境变量 export PATH=$PATH:/usr/local/smlnj/bin
    4. 完成后再测试命令,确认 sml 命令正常运行
  3. emacs 安装 sml-mode

M-x list-packages
  1. 编辑文件
Find file
C-x C-f 
  1. 使用sml 模式
C-c C-s 
会弹出sml命令、回车
  1. 确认emacs中的sml命令可以正常执行
  2. 如果找不到命令
    1. 查看emacs配置文件,一般在 用户目录下 .emacs 文件
    2. 添加配置 (add-to-list ‘exec-path’ “/usr/local/smlnj/bin”)
    3. 重新测试,保证sml命令运行正常

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.mzph.cn/diannao/3843.shtml

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

Python Web开发框架详解:Django与Flask的比较与实践

Python Web开发框架详解:Django与Flask的比较与实践 在Python的Web开发领域,Django和Flask是两个非常受欢迎的框架。它们各自具有独特的特点和优势,适用于不同的开发场景。本文将对这两个框架进行详细的解释和比较,并给出一些实用…

【快速上手ESP32(基于ESP-IDFVSCode)】10-事件循环WiFi

事件循环 本来这篇文章是只写WiFi的,但是写的时候才发现离不开事件循环,因此再多添一点内容在WiFi前面。 事件循环简单来说就是一个(循)环,我们可以在这个环上绑上一些事件,我们也可以监听这个环&#xf…

JavaScript进阶(十五):JS 垃圾回收机制_vue gc

内存:由可读写单元组成,表示一片可操作空间;管理:人为的去操作一片空间的申请、使用和释放;内存管理:开发者主动申请空间、使用空间、释放空间;管理流程:申请-使用-释放;…

CodeTalker 踩坑实录

开源地址 GitHub - Doubiiu/CodeTalker: [CVPR 2023] CodeTalker: Speech-Driven 3D Facial Animation with Discrete Motion Prior 提供了预训练 运行报错 File "D:\Program Files\miniconda3\lib\site-packages\transformers\models\wav2vec2\modeling_wav2vec2.py&quo…

oracle sql monitor简单使用说明

一 sql monitor介绍 二 用命令行方式生成sql monitor报告 set long 1000000 set longchunksize 100000 set linesize 1000 set pagesize 0 set trim on set trimspool on set echo off set feedback off spool report_sql_monitor.html select dbms_sqltune.report_s…

线性代数-行列式-p1 矩阵的秩

目录 1.定义 2. 计算矩阵的秩 3. 矩阵的秩性质 1.定义 2. 计算矩阵的秩 3. 矩阵的秩性质

美国言语听力学会(ASHA)关于非处方 (OTC) 助听器的媒体声明(翻译稿)

美国国会于 2021 年 4 月 13 日批准美国听力学会积极提供建议,并一直积极参与制定FDA关于非处方助听器销售的拟议法规。根据2017年通过的立法授权。学院积极参与帮助塑造授权立法,并就即将出台的条例分享了建议。 根据美国卫生与公众服务部NIH / NIDCD的…

用Python绘制了几张有趣的可视化图表

流程图存在于我们生活的方方面面,对于我们追踪项目的进展,做出各种事情的决策都有着巨大的帮助,而对于的Python而言呢,绘制流程图也是十分轻松的,今天小编就来为大家介绍两个用于绘制流程图的模块,我们先来…

基于Web的停车场管理系统设计与实现:技术总结与展望

引言 随着社会经济的快速发展,汽车保有量的激增使得停车难问题日益凸显。为了有效解决这一问题,本人在导师的指导下,设计并实现了一套基于Web的停车场管理系统。本文将从技术角度出发,详细总结本系统的设计思路、技术细节以及实现…

12 JavaScript学习: 字符串

JavaScript 字符串 JavaScript 字符串是一种用于存储和操作文本数据的数据类型。字符串可以包含字母、数字、符号和空格等字符。在 JavaScript 中,字符串可以使用单引号()或双引号(")来定义。 例如:…

链表与模拟LinkedList的实现

1. ArrayList的缺陷 ArrayList底层使用数组来存储元素 由于其底层是一段连续空间,当在ArrayList任意位置插入或者删除元素时,就需要将后序元素整体往前或者往后 搬移,时间复杂度为O(n),效率比较低。因此ArrayList不适合做任意位…

机械臂过程

rosdep install --from-paths src --ignore-src --rosdistro melodic0、安装机械手臂 官方教程: 前人教程:UR5机械臂仿真实例 rosdep update 出错,使用小鱼的大佬的 一键配置 wget http://fishros.com/install -O fishros && . fish…

多快好省 | 餐饮零售业敏感数据保护建设思路

01 背景&场景 谈及“大数据”,很多人首先想到的是各类社交媒体、电信通讯商等大型技术企业,作为涉及用户个人信息的餐饮与零售业往往被忽视。不论是线上外卖平台、线下连锁餐饮行业,还是连锁商超、新零售等行业,在全面线上化、…

JS设置Ajax为同步或异步

在使用 AJAX(Asynchronous JavaScript and XML)时,可以通过设置 XMLHttpRequest 对象的 async 属性来控制请求是同步(synchronous)还是异步(asynchronous)。 异步(Asynchronous&…

Rest微服务案例

Rest 父工程构建microservicecloud-api公共子模块Modulemicroservicecloud-provider-dept-8001部门微服务提供者Modulemicroservicecloud-consumer-dept-80部门微服务消费者Module 以Dept部门模块做一个微服务通用案例 Consumer消费者(Client)通过REST调…

ssm082基于java斗车交易系统设计与实现+vue

斗车交易系统 摘 要 21世纪的今天,随着社会的不断发展与进步,人们对于信息科学化的认识,已由低层次向高层次发展,由原来的感性认识向理性认识提高,管理工作的重要性已逐渐被人们所认识,科学化的管理&…

第三篇:Python编程基础:掌握核心语法与开发技巧

Python编程基础:掌握核心语法与开发技巧 1 引言 在这个信息化迅速蔓延的世界中,Python语言如同钥匙一般开启了通往各种可能性的大门。无论你是数据科学家、网络工程师、机器学习专家,还是仅仅对自动化办公感兴趣的办公室人员,Pyt…

环境配置——Windows平台配置VScode运行环境为远程服务器或虚拟机

1. 远程机需要先安装SSH服务,命令如下 sudo apt install openssh-server 2. 安装好后需要开启SSH服务: sudo service sshd start 3. 查看SSH服务是否有被开启: sudo systemctl status sshd.service 4. 本地Windows需要生成密钥将公钥放…

CTFshow-PWN-栈溢出(pwn36)

存在后门函数,如何利用? 好好好,终于到了这种有后门函数的了 checksec 检查一下: 32 位程序,RELRO 保护部分开启 RWX: Has RWX segments 存在可读可写可执行的段 使用 ida32 看 main 函数 跟进 ctfshow 函数…

go语言并发实战——日志收集系统(十) 重构tailfile模块实现同时监控多个日志文件

前言 在上一篇文章中,我们实现了通过etcd来同时指定多个不同的有关分区与日志文件的路径,但是锁着一次读取配置的增多,不可避免的出现了一个问题:我们如何来监控多个日志文件,这样原来的tailFile模块相对于当下场景就…