Eu descobri como resolver isso. O problema é que a instância iniciada pela Synctex não foi reconhecida pelo comando no meu script 'External Tools'.
A instância Synctex foi listada como /usr/bin/evince file:///path/to/my/file.pdf
, enquanto a instância chamada por xdg-open foi listada como evince file.pdf
.
Então, acabei de alterar meu script para que ele também seja listado como /usr/bin/evince file:///path/to/my/file.pdf
. O meu script de ferramentas externas agora lê:
#!/bin/bash
if [ "$GEDIT_CURRENT_DOCUMENT_TYPE" == "text/html" ]; then
google-chrome $GEDIT_CURRENT_DOCUMENT_NAME
elif [ "$GEDIT_CURRENT_DOCUMENT_TYPE" == "text/x-tex" ]; then
filename=$GEDIT_CURRENT_DOCUMENT_NAME
shortname='echo $filename | sed 's/\(.*\)\.tex$//''
path=file://$GEDIT_CURRENT_DOCUMENT_PATH
shortpath='echo $path | sed 's/\(.*\)\.tex$//''
latex -synctex=1 -interaction batchmode -src $filename
dvips -t a4 $shortname.dvi
ps2pdf -sPAPERSIZE=a4 -dOptimize=true -dEmbedAllFonts=true $shortname.ps
rm --interactive=never $shortname.dvi $shortname.out $shortname.ps $shortname.blg $shortname.toc $shortname.log
#xdg-open $shortname.pdf
/usr/bin/evince $shortpath.pdf
else
echo "I don't know how to compile files of the type:" "$GEDIT_CURRENT_DOCUMENT_TYPE"
fi