![Shell 替代方案:Grep 函数](https://linux22.com/image/281665/Shell%20%E6%9B%BF%E4%BB%A3%E6%96%B9%E6%A1%88%EF%BC%9AGrep%20%E5%87%BD%E6%95%B0.png)
我想编辑输出 PDF 文件,但很难在源编辑器中找到正确的位置。从输出 PDF 中的某个位置跳转到文档源中相应位置的键盘快捷键是什么?
我在 Mac OS X 上使用编辑器 TeXShop。
答案1
从 LaTeX 文件到 PDF 文件以及从 PDF 文件到 LaTeX 文件之间的转换过程如下:
Command+Shift+单击
答案2
实际上,使用 TeXShop,Command+Click 就足以在源文件和 pdf 文件之间切换。(这个答案本来是作为评论,但“我必须有 50 点声誉才能评论”……)
答案3
Shell 替代方案:Grep 函数
它独立于任何类型的编辑器。其理念是通过对(所有)文件进行搜索来找到感兴趣的地方(字符串,如字母、单词或较长的片段)*.tex
。
对于多文件搜索,您可以使用 shell 命令grep -r "source code" *.tex
,因为在 OS X 中您也有 shell。