如何在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，则将通过运行bin/BuildPackages.sh脚本来编译IO。

在标准GAP安装中，默认情况下会加载

IO软件包，因此除非您有其他设置，否则您无需手动加载它。要手动加载它，必须调用LoadPackage("io");，如果成功的话，它应该返回true。

最后，参数中的路径应该存在。对于您而言，尚不清楚它是否是原始命令中的错字，还是您在此处手动键入时是错字（否则，gap>提示符后会有空格）。如果输出确实是

ChangeDirectoryCurrent("Users/anymuanalifah/Documents")

然后错误消息（将其包含在原始问题中将是最有用的）可能会表明该路径不存在-由于/前缺少Users，您可以尝试< / p>

ChangeDirectoryCurrent("/Users/anymuanalifah/Documents")

看看是否可行？否则，操作系统将尝试在当前目录而不是根目录中找到名为Users的目录，并且可能会失败（有关在Unix中浏览文件和目录的信息，请参见软件中的http://swcarpentry.github.io/shell-novice/02-filedir/index.html）。木工外壳课程）。

请注意，您可以使用gap.ini and gaprc files自定义GAP，这样就不必在每次启动GAP时都手动输入此命令。

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

最后，我看到在10月11日提出了这个问题，但是直到今天我才收到有关此问题的电子邮件通知。对于类似这样的技术问题，我建议GAP论坛和GAP支持：请参阅https://www.gap-system.org/Contacts/Forum/forum.html，到现在为止最有可能回答该问题。在“数学问答”网站上也有一个GAP标签，目前有大约400个问题，但在此处发布任何内容之前，请先阅读其说明here。