Désireux d'utiliser gedit d'une part, et de continuer à compiler en latex et non pdflatex d'autre part, j'ai décidé d'utiliser un outil externe réalisé par un gars d'ici chez lequel il marche parfaitement. Le voici:
Code : Tout sélectionner
#!/bin/sh
#--------------------------------------------------------------------------
#fonction de visualisation des images
visualisation()
{
dvips "$1.dvi" -o "$1.ps"
ps2pdf "$1.ps"
evince "$1.pdf" &
}
#--------------------------------------------------------------------------
# sauvegarde du fichier courant
xdotool key "ctrl+s"
#nomfichier : nom du fichier courant
nomfichier="$GEDIT_CURRENT_DOCUMENT_NAME"
#base : nom du fichier sans extension
base=${nomfichier%.*}
#ext : extension du fichier
ext=`echo $nomfichier |cut -f2 -d.`
# test
#-------------------------- si fichier tex, compilation
if test $ext = "tex" ; then
latex -shell-escape -src -interaction=nonstopmode $nomfichier &&
asy -noV $base &&
latex -shell-escape -src -interaction=nonstopmode $nomfichier &&
visualisation $base || gedit +"$(grep -n '^l\.' "$base.log"|sed -n '1p' | cut -d':' -f1)" "$base.log"
#-------------------------- si fichier log, retour au fichier tex
elif test $ext = "log" ; then
gedit +"$(grep '^l\.' "$base.log"|sed -n '1p' | cut -d' ' -f1 |
sed 's/.\{2\}//')" "$base.tex"
else
echo "F5 nécessite un fichier tex ou log !"
fi
Sauf que chez moi, cet outil est plutôt capricieux, il eût marché, puis non avant hier, puis oui hier et aujourd'hui il refait la tête. Est-ce que quelqu'un voit pourquoi?
Asymptote 2.00svn + Ubuntu 10.04
Merci