通过 \write18 使用 ECHO 会发生什么情况？

Question

这是我的代码：

\documentclass{article}
\begin{document}
\immediate\write18{echo '\detokenize{\hi \foo \hi}' > x.txt}
\end{document}

的内容x.txt包含：

\hi
    oo \hi

发生了什么事\f？另外，我如何确保\foo显示在文件中？

Answer 1

对于我来说，这是依赖于操作系统的，bash 会
echo '\foo'
制作
\foo
，但是
echo -e '\foo'

<form-feed> oo

看来您echo是默认-e并将\f控制字符转义，因此您需要\\foo（只需在命令行上输入，而不是通过 tex）