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"); 如果成功则返回 true。

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

ChangeDirectoryCurrent("Users/anymuanalifah/Documents")

然后错误消息(包含在原始问题中最有用)可能会告诉路径不存在 - 因为 Users 之前缺少 / ): 你能试试吗

ChangeDirectoryCurrent("/Users/anymuanalifah/Documents")

看看它是否有效？否则，操作系统会尝试在当前目录中查找名为 Users 的目录，而不是在根目录中，这可能会失败(有关在 Unix 中导航文件和目录，请参阅 http://swcarpentry.github.io/shell-novice/02-filedir/index.html 来自软件木工外壳类(class))。

请注意，您可以使用 gap.ini and gaprc files 自定义 GAP这样就不需要在每次启动GAP的时候手动输入这个命令了。

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

终于看到这个问题10月11号有人问了，今天才收到邮件通知。对于此类技术问题，我推荐 GAP 论坛和 GAP 支持:请参阅 https://www.gap-system.org/Contacts/Forum/forum.html现在最有可能回答的地方。数学问答网站上还有一个 GAP 标签，目前有大约 400 个问题，但请阅读其描述 here在发布任何内容之前。