我一直在尝试做类似的事情:
dune runtest > test.txt
但是,每当我尝试这样做时,都会创建一个空的 test.txt 文件。我希望将 dune runtest 的输出保存到 test.txt 中,理想情况下终端不输出任何内容(输出只能在文件中查看)。任何帮助,将不胜感激。
我一直在尝试做类似的事情:
dune runtest > test.txt
但是,每当我尝试这样做时,都会创建一个空的 test.txt 文件。我希望将 dune runtest 的输出保存到 test.txt 中,理想情况下终端不输出任何内容(输出只能在文件中查看)。任何帮助,将不胜感激。