정리 증명자 HOL의 vim 인터페이스를 사용하는 데 문제가 있습니다.
https://github.com/HOL-Theorem-Prover/HOL/tree/master/tools/vim
hsMobaXterm(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 문서버전이 일치하는지 확인하세요.
즉, busybox가 POSIX에 맞다면 놀랄 것입니다 tail. busybox는 전체 표준 준수보다는 내보낸 인터페이스의 크기를 강력하게 최적화합니다. 예를 들어, 크기를 최적화하려는 경우가 아니라 컴파일 타임 -c에만 활성화됩니다.FEATURE_FANCY_TAILhttps://git.busybox.net/busybox/tree/coreutils/tail.c#n28