gap-system - 如何在批处理模式下使用 GAP?
问题描述
我似乎无法弄清楚如何使用 GAP 计算机代数系统(例如,如果我有 python 脚本,我可以这样做python script.py > /tmp/python_output.csv
)我似乎无法在 GAP 文档中找到任何信息 [我确定它是在某处])
解决方案
使用gap script.g
工作正常,但它不会在最后终止 GAP,而是在最后切换到 REPL。要改变这一点,您可以使用QUIT;
. 或者,如果您使用 GAP >= 4.11.0,则可以-c 'QUIT;'
在命令行末尾添加,以实现对任何脚本的相同效果,而无需修改它。
此外,您可能希望使用 关闭横幅-b
并使用 启用安静模式-q
。最后,您可以使用--quitonbreak
来禁用中断循环,以便错误终止,而不是导致等待用户输入的挂起。
总之:
gap --quitonbreak -b -q script.g
或者,如果您不想以 结束脚本,请QUIT;
使用
gap --quitonbreak -b -q script.g -c 'QUIT;'
如果你觉得需要做很多,你可以把它包装成一个小助手 shell 脚本gap-batch
,看起来像这样:
#!/bin/sh
gap --quitonbreak -b -q $* -c 'QUIT;'
如果你把它放到你的PATH中,那么你可以这样做
gap-batch script.g
推荐阅读
- microsoft-graph-api - Microsoft Bookings 中的 preBuffer 和 postBuffer 是否是确定和分配插槽时的约会持续时间的一部分?
- debian - adb 在尝试启动服务器时遇到“munmap_chunk(): invalid pointer”(Debian 靶心)
- c - 无法在 /usr/share 中创建目录
- ruby-on-rails - Rails 6 Capistrano 部署失败,即使应用程序在手动启动时工作正常
- python - 将得分值映射到范围 [0,255] 的像素
- r - RMarkdown 中的两列增量投影仪幻灯片
- single-sign-on - ADFS 4.0 与 IWA for Win2019
- c++ - 自定义向量类的构造函数,将额外的垃圾值分配给指针
- java - 单例类不同步行为
- javascript - 动态访问数组内对象内的数组