Shell 替代方案：Grep 函数

Question

我想编辑输出 PDF 文件，但很难在源编辑器中找到正确的位置。从输出 PDF 中的某个位置跳转到文档源中相应位置的键盘快捷键是什么？

我在 Mac OS X 上使用编辑器 TeXShop。

Answer 1

从 LaTeX 文件到 PDF 文件以及从 PDF 文件到 LaTeX 文件之间的转换过程如下：

Command+Shift+单击

Answer 2

实际上，使用 TeXShop，Command+Click 就足以在源文件和 pdf 文件之间切换。（这个答案本来是作为评论，但“我必须有 50 点声誉才能评论”……）

Answer 3

Shell 替代方案：Grep 函数

它独立于任何类型的编辑器。其理念是通过对（所有）文件进行搜索来找到感兴趣的地方（字符串，如字母、单词或较长的片段）*.tex。

对于多文件搜索，您可以使用 shell 命令grep -r "source code" *.tex，因为在 OS X 中您也有 shell。