问题:如何在 polyml 解释器中添加 readline 支持?

我发现polyml是可以在Ubuntu上轻松安装的ML的实现_(在存储库中命名为polyml,可以用poly执行)_。我正在关注 Andrew Cumming 的A Gentle Introduction to ML。在使用polyml解释器进行了几分钟的实验后,我发现它不支持 readline (按向上箭头键会产生 ^[[A)。

对于口译员来说,这似乎不正常。仅当我没有安装 readline 时才会发生这种情况,但我的 Python 解释器的行为并非如此。

解答

将 readline 支持添加到本机不支持它的终端程序的最简单方法是使用rlwrap调用该程序。您可以通过多个包管理器安装同名包。在以下示例中按 ↑:

$ poly
Poly/ML 5.7.1 Release
- ^[[A

你可以像这样运行它:

$ rlwrap poly
Poly/ML 5.7.1 Release
- stuff I typed from last session;

或者,您可以在~/.bashrc或类似文件中添加别名:

alias poly='rlwrap poly'
# linux # ubuntu # mlnet
Logo
Ubuntu

Ubuntu 社区为您提供最前沿的新闻资讯和知识内容

更多推荐

蓝鱼中的# scala语法突出显示

问题:蓝鱼中的# scala语法突出显示 Scala 在 misc/scala-tool-support/bluefish/ 中包含 bluefish 语法配置 我已尝试按照自述文件进行配置,但没有效果。 cp ~/.bluefish/highlighting ~/.bluefish/highlighting_ cat ~/.bluefish/highlighting_ /opt/scala/sc

avatar Ubuntu

LAMP 堆栈在家用计算机上作为公共 Web 服务器

问题:LAMP 堆栈在家用计算机上作为公共 Web 服务器 所以我正在使用这个网站: http://www.howtoforge.com/ubuntu_debian_lamp_server 在我的 Ubuntu 虚拟机上设置 LAMP。 这是我的问题, 这将使我能够通过 localhost 进行编程和测试。如何进行设置,以便网络上的任何人都可以从任何支持 Internet 的设备访问我的 .php

avatar Ubuntu

JDBC连接MySQL需要哪些文件?

问题:JDBC连接MySQL需要哪些文件? 尝试连接到雇主本地服务器上的 MySQL 数据库时出现以下错误: 无法加载数据库驱动程序详细信息:java.lang.ClassNotFoundException:com.mysql.jdbc.Driver BUILD SUCCESSFUL(总时间:0 秒) 我认为很明显这是因为我的文件设置不正确。唯一的问题是,我不知道我需要什么,以及它需要去哪里。驱动

avatar Ubuntu