diff --git a/bashrc b/bashrc index 9d1fa3b..ce02fd1 100644 --- a/bashrc +++ b/bashrc @@ -379,6 +379,27 @@ function mutt() { fi; } +function latex2pdf() { + test #$ -gt 1 || exit 1 + + tmp=tmp$$ + file=/dev/shm/$tmp + result=$(echo $1 | rev | cut -d. -f2- | rev).pdf + + sed 's/oeil/\\oe{}il/g; + s/oeuvre/\\oe{}uvre/g; + s/soeur/s\\oe{}ur/g; + s/noeud/n\\oe{}ud/g; + s/oeuf/\\oe{}uf/g; + s/boeuf/b\\oe{}uf/g + ' $1 > $file + + pdflatex $file + mv $tmp.pdf $result + rm -f $tmp* +} + + # }}} SSHAGENT=/usr/bin/ssh-agent