Shell 替代方案:Grep 函數

Shell 替代方案:Grep 函數

我想編輯輸出的 PDF 文件,但很難在來源編輯器中找到正確的位置。從輸出 PDF 中的某個位置跳到文件來源中對應位置的鍵盤快速鍵是什麼?

我在 Mac OS X 上使用 TeXShop 編輯器。

答案1

從 LaTeX 檔案到 PDF 檔案來回的操作是

Command+Shift+點擊

答案2

實際上,Command+Click 足以使用 TeXShop 在原始檔案和 pdf 檔案之間切換。 (這個答案是作為評論,但「我必須有 50 聲望才能發表評論」...)

答案3

Shell 替代方案:Grep 函數

它獨立於任何類型的編輯器。這個想法是透過對(所有)文件進行搜尋來找到感興趣的地方(字母、單字或更長片段的字串)*.tex

對於多個檔案搜索,您可以使用 shell 命令grep -r "source code" *.tex,因為 OS X 中也有 shell。

相關內容