Mac下配置sml的command history

最近在上coursera上的proglang,用的是sml,但是在mac居然不能用up和down箭头键来回翻命令,还以为是sml的问题,今天在windows装了一个,居然可以使用,原来是mac的原因。用google搜索“sml mac command history”,找到了http://stackoverflow.com/questions/1911861/how-to-fix-the-sml-nj-interactive-system-to-use-arrow-keys,安装rlwrap搞定。

brew install rlwrap

然后使用

rlwrap sml

启动,搞定,终于可以用command history了。在
~/.bash_profile中输入

alias sml="rlwrap sml"

然后使用sml就没有问题了。

ps,之前在windows下使用sbt也是有这样的问题,明天试试看能不能这样解决。

时间: 2024-08-23 13:18:39

Mac下配置sml的command history的相关文章

zend server mac 下配置

Post Installation on Mac OS X If you intend to use PHP and other tools provided by Zend Server (pear and pecl) from the command line (PHP CLI), it is recommended that you add the <install_path>/bin directory to your $PATH environment variable. This

mac下配置cocos2d-x3.0

今天看到3.0的正式版公布了,就马上荡下来试试3.0,以下记录下环境变量配置过程 打开用户文件夹下.bash_profile文件,配置环境 1.首先配置下android sdk,我的是在opt文件夹下 #sdk export ANDROID_SDK_ROOT=/opt/android-sdk-macosx export PATH=$PATH:$ANDROID_SDK_ROOT export PATH=$PATH:$ANDROID_SDK_ROOT/platform-tools 2.ndk #nd

在Mac下配置php开发环境:Apache+php+MySql

/private/etc/apache2/httpd.conf 一.启动Apache sudo apachectl start sudo apachectl -v   可以查看到Apache的版本信息 此时在浏览器中输入http://localhost,会出现It works!的页面 sudo apachectl restart 重启Apache 二.运行PHP 1.找到Apache的配置文件,在目录/etc/apache2/下,打开Finder,选择"前往"-"前往文件夹&

Mac 下配置 adb 环境

使用 adb 命令可以很直接的观察你的应用 第一步 打开终端,敲入命令:sudo vi .bash_profile(如果有密码就为本机登录密码, 如果没有这个文件就会创建一个新的). 第二步 在文件中写入以下内容: export PATH=${PATH}:XXXX/platform-tools:XXXX/tools X 大专栏  Mac 下配置 adb 环境XXX代表的是android sdk目录,注意第二个XXXX前的:分号. 第三步 写完之后,按键盘上面的esc键,在按 shift 键 和

Mac下配置Apache,PHP

注:如果觉得终端下编辑太麻烦,也可以直接将文件拖出来手动编辑后在放回原文件夹替换即可 1.启用Apache: 在Mac下打开终端,输入“sudo apachectl start”(不包含引号,下同) 回车后输入自己的电脑密码即可启动Apache 2.检测Apache: 在终端中输入“sudo apachectl -v”,即可看到Apache的版本号 或在浏览器中输入“localhost”可以看到“It Works!”字样 这是检测Apache是否成功启用的两种方法 3.启用PHP: 一.修改ht

[Linux]在Mac下配置Linux服务器并安装Nginx+PHP

Linux 安装Debian系统 我安装的是Debian7.5的系统,Debian的软件包管理和升级十分方便,而且系统也很稳定.安装盘可以去华中科技大学镜像.网易开源镜像站或者中国科技大学镜像下载,和官网一样,一般下载的时候会提供DVD-1.DVD-2和DVD-3的下载,后面二者均是一些不太流行的软件,只需要下载安装DVD-1即可. 修改sources.list 装好系统之后的第一件事情就是修改Debian的源,因为默认的配置会访问镜像介质,修改源可以直接联网通过apt-get获取并安装软件包,

mac下配置openfire

下载 在浏览器中打开如下网址http://www.igniterealtime.org/downloads/index.jsp,根据你的操作系统选择对应的版本进行下载,这里我是在mac下配置的,所以选择Mac版本的安装包,下载完成后在Finder中找到下载好的openfire_3_8_2.dmg文件. 安装 双击下载完的openfire_3_8_2.dmg文件,然后验证过后,双击如下的pkg程序包: 启动服务 在系统偏好设置中找到openfire的服务,如下图所示: 点击Openfire,启动服

mac下配置Node.js开发环境、express安装、创建项目

mac下配置Node.js开发环境.express安装.创建项目 一.node.js的安装 去官网下载对应的平台版本就可以了,https://nodejs.org 二.express安装 sudo npm install -g express 进行全局安装. 这时有可能会安装不成功,用下面的命令即可 sudo npm install express-generator -g 三.创建项目 终端输入 express -e 你的项目名称 -e 为使用ejs框架 express默认为jade,为了 学

CAS (1) —— Mac下配置CAS到Tomcat(服务端)(转)

tomcat版本: tomcat-8.0.29 jdk版本: jdk1.8.0_65 cas版本: cas4.1.2cas-client-3.4.1 参考来源: CAS实现单点登录(SSO)经典完整教程 CAS 4.0 配置开发手册 cas客户端应用实现 使用 CAS 在 Tomcat 中实现单点登录 Tomcat (1) —— Mac下配置Tomcat Https/SSL [高可用HA]Apache (2) —— Mac下安装多个Apache Tomcat实例 目标架构 下载 首先登陆jasi