gap-system - 如何更改 GAP 中的当前目录？

Question

您如何更改GAP中的当前目录？我写：

gap> ChangeDirectoryCurrent("Users/anymuanalifah/Documents")

我收到一个错误。如果这很重要，我会使用 Mac OS X。

Answer 1

简短的回答：

路径不正确，/之前缺少Users。假设其余路径正确，则需要输入

ChangeDirectoryCurrent("/Users/anymuanalifah/Documents");

长答案：

该函数属于 IO 包，文档在https://www.gap-system.org/Manuals/pkg/io-4.4.6/doc/chap4.html#X81DDD2E87F68E086。

在未来的 GAP 版本之一中将它放在核心系统中可能会很好，但是现在，为了使用它，必须编译和加载 IO 包。如果按照http://www.gap-system.org/Releases/index.html中的说明安装了 GAP ，则 IO 将作为运行bin/BuildPackages.sh脚本的结果进行编译。

IO 包在标准 GAP 安装中默认加载，因此您无需手动加载它，除非您有不同的设置。要手动加载它，您必须调用LoadPackage("io");which 应该true在成功的情况下返回。

最后，参数中的路径应该存在。在您的情况下，尚不清楚它是原始命令中的拼写错误，还是您在此处手动重新键入时（否则提示后会有空格gap>）。如果输出确实是

ChangeDirectoryCurrent("Users/anymuanalifah/Documents")

那么错误消息（包含在原始问题中最有用）可能会告诉路径不存在 - 因为/之前缺少Users）：你能试试

ChangeDirectoryCurrent("/Users/anymuanalifah/Documents")

看看它是否有效？否则，操作系统会尝试Users在当前目录而不是根目录中查找调用的目录，这可能会失败（有关在 Unix 中导航文件和目录，请参阅http://swcarpentry.github.io/shell-novice /02-filedir/index.html来自 Software Carpentry shell 课程）。

请注意，您可以使用gap.ini 和 gaprc 文件自定义 GAP ，这样每次启动 GAP 时都无需手动输入此命令。

（这仍然不是我在我需要的目录中启动 GAP 的方式：我通常打开终端，导航到我需要的目录并输入gap调用的命令，/usr/local/bin/gap这是一个指向gap-4.9.3/bin/gap.shGAP 安装文件的符号链接）

最后，我看到这个问题是在 10 月 11 日提出的，但我今天才收到有关它的电子邮件通知。对于这样的技术问题，我推荐 GAP 论坛和 GAP 支持：请参阅https://www.gap-system.org/Contacts/Forum/forum.html，现在最有可能得到答案。数学问答网站上还有一个 GAP 标签，目前有大约 400 个问题，但请在此处发布任何内容之前阅读其描述。