gpt4 book ai didi

zsh - 你如何在 MacOS Catalina 上设置 StandardML

转载 作者:行者123 更新时间:2023-12-04 15:34:31 25 4
gpt4 key购买 nike

我已经按照这里的说明安装了 http://smlnj.org/dist/working/110.96/index.html .在该页面上,您必须选择 smlnj-amd64-110.96 .

我点击了下载的包,然后点击打开,打开了一个安装程序。

mac installer

完成后。我打开一个终端并输入 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

任何指导将不胜感激。

谢谢。

最佳答案

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

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

然后重启终端。

谢谢。

关于zsh - 你如何在 MacOS Catalina 上设置 StandardML,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/60179356/

25 4 0
Copyright 2021 - 2024 cfsdn All Rights Reserved 蜀ICP备2022000587号
广告合作:1813099741@qq.com 6ren.com