我正在尝试安装GODI在Linux(Ubuntu)上。它是ocaml语言的图书馆管理工具。实际上，我之前已经安装过这个--两次，但不久前--没有任何问题--我记得--但这次我就是想不通我错过了什么。$./bootstrap--prefix/home/nlucaroni/godi$./bootstrap_stage2.:1:godi_confdir:notfoundError:Commandfailswithcode2:/bin/shFailure!我已将正确的目录添加到路径中，它们显示为快速echo$path，并且godi_confdir报告为:/home/nlucaroni/godi

我正在尝试安装GODI在Linux(Ubuntu)上。它是ocaml语言的图书馆管理工具。实际上，我之前已经安装过这个--两次，但不久前--没有任何问题--我记得--但这次我就是想不通我错过了什么。$./bootstrap--prefix/home/nlucaroni/godi$./bootstrap_stage2.:1:godi_confdir:notfoundError:Commandfailswithcode2:/bin/shFailure!我已将正确的目录添加到路径中，它们显示为快速echo$path，并且godi_confdir报告为:/home/nlucaroni/godi