– Usavo ubuntu. Sono passato da poco a Mint; dalle prime esperienze sembra un bel passo avanti;
– Non uso il plugin LaTeX/Gedit in quanto non uso LaTeX, ma plain.
– Quelle poche righe devono diventare un comando gedit per mezzo del plugin standard “strumenti esterni”, che consente di chiamare programmi esterni all’editor e di eseguire script della shell.
– Lo header #!/bin/sh è quello usato nel codice dei comandi forniti di default con il plugin.
– Il codice postato serve solo come esempio (peraltro davvero non funzionante sulla mia macchina). Nello script finale il nome del file è scritto dinamicamente. Nel codice “vero” il secondo rigo dovrebbe essere
`TEXFILE=$GEDIT_CURRENT_DOCUMENT_NAME # il file con il codice TeX`
in modo che, mentre scrivo il codice, posso chiamare il compilatore e gestirne i codici di uscita.
– da ultimo la mia opinione. Uso Gedit perchè è TOTALMENTE e facilmente configurabile. Ad esempio TeXWorks e Scite non sono così elastici e potenti. Gedit 3 (insieme a evince) gestisce synctex.
——————————
p.s. – Il tuo post è stato utile. Testando il seguente codice
`#!/bin/bash # <=== TEXFILE=$GEDIT_CURRENT_DOCUMENT_NAME # <=== PDFFILE=${TEXFILE/%.*/.pdf} LOGFILE=${TEXFILE/%.*/.log} if pdftex -halt-on-error -synctex=1 $TEXFILE; then evince $PDFFILE else gedit $LOGFILE fi` tutto funziona perfettamente. Grazie, ciao.