Alternativa de Shell: función Grep

Alternativa de Shell: función Grep

Quiero editar el archivo PDF de salida, pero es difícil encontrar el lugar correcto en el editor de origen. ¿Cuál es el método abreviado de teclado para saltar de un lugar del PDF de salida al lugar correspondiente en el origen del documento?

Estoy usando el editor TeXShop con Mac OS X.

Respuesta1

La maniobra para ir y venir del archivo LaTeX al archivo PDF y viceversa es

Comando+Mayús+Clic

Respuesta2

En realidad, Comando+Clic es suficiente para cambiar entre el archivo fuente y el pdf con TeXShop. (Esta respuesta fue pensada como un comentario, pero "Debo tener 50 de reputación para comentar"...)

Respuesta3

Alternativa de Shell: función Grep

Es independiente de cualquier tipo de editores. La idea es encontrar el lugar de interés (cadena como letras, palabras o fragmentos más largos) aplicando una búsqueda en (todos) los *.texarchivos.

Para la búsqueda de múltiples archivos, puede usar el comando shell grep -r "source code" *.tex, ya que también tiene un shell en OS X.

información relacionada