【问题标题】:How do you setup StandardML on MacOS Catalina如何在 MacOS Catalina 上设置 StandardML
【发布时间】:2020-02-12 00:26:30
【问题描述】:

我已按照此处http://smlnj.org/dist/working/110.96/index.html 的说明进行安装。在该页面上,您必须选择smlnj-amd64-110.96

我点击下载的包并点击打开,打开安装程序。

一旦完成。我打开一个终端并输入sml 我得到zsh: command not found: sml

如果我将目录更改为/usr/local/smlnj/bin 并运行./sml,我会收到sml 提示。

➜  bin ./sml               
Standard ML of New Jersey (64-bit) v110.96 [built: Fri Dec 13 14:59:34 2019]

我的理解是将smlnj 添加到我的路径中,例如:

export PATH=/usr/local/smlnj/bin:$PATH
// or
export PATH=${HOME}/smlnj/bin:$PATH

我应该通过输入 sml 来获得提示,但我得到的是:zsh: command not found: sml

任何指导将不胜感激。

谢谢。

【问题讨论】:

    标签: zsh sml smlnj macos-catalina


    【解决方案1】:

    之前我已将path 添加到我的./bash_profile 文件中。通过将其添加到 .zshrc 并重新启动终端,它就可以工作了。

    # SMLNJ
    export PATH=/usr/local/smlnj/bin:$PATH
    

    然后重启终端。

    谢谢。

    【讨论】:

    • 将其添加到.zprofile,而不是.zshrc,除非您已明确配置终端模拟器以启动非登录 shell 而不是登录 shell。
    • 附注,因为这对我来说很忙。如果您使用 vscode 作为您的编辑器,您可以使用github.com/stonebuddha/vscode-better-sml 获得 sml 格式。请务必将 ` "[sml]": { "editor.defaultFormatter": "stonebuddha.vscode-better-sml" },` 添加到您的 settings.json
    猜你喜欢
    • 2023-03-14
    • 1970-01-01
    • 2020-11-13
    • 2019-10-29
    • 1970-01-01
    • 1970-01-01
    • 2020-03-07
    • 1970-01-01
    • 2021-02-16
    相关资源
    最近更新 更多