☰

如何测试我的尾巴是否正确？

tag-icon • tag-icon posix tail busybox mobaxterm
如何测试我的尾巴是否正确？

我在使用定理证明器 HOL 的 vim 界面时遇到问题：

https://github.com/HOL-Theorem-Prover/HOL/tree/master/tools/vim

hs我在 MobaXterm（一个基于 cygwin 的系统）上运行它，当我向定理证明器发送一行时，vim 冻结了。 MobaXterm 通过 Busybox 实现了许多基本命令，因此我已经遇到了问题：

https://stackoverflow.com/questions/55097775/compiling-poly-ml-on-mobaxterm-the-ar-u-option

上面的 hol-vim 页面显示该界面使用 posixly 正确的尾部工作。这可能是上述错误的根源。如何测试tailMobaXterm的Busybox执行的命令是否正确？

答案1

如果没有实际的测试套件来测试 tail 的 POSIX 一致性，最好的方法是阅读tail 的 POSIX 文档看看你的版本是否匹配。

也就是说，如果 busyboxtail是 POSIX 正确的，我会感到惊讶——busybox 强烈优化其导出接口的大小而不是总体标准一致性。例如，它仅在编译时启用-cif FEATURE_FANCY_TAIL，如果您要优化大小，则不会：https://git.busybox.net/busybox/tree/coreutils/tail.c#n28

相关内容