A ajouter dans votre ~/.bashrc
utilisation :
crop figure.ps
il sort : figure.pdf
#convert ps tp pdf and crop it for pdflatex.
function crop ()
{
fichier=`echo $1 | sed "s/.ps//"`
ps2pdf "$fichier".ps
pdfcrop "$fichier".pdf >/dev/null
rm -f "$fichier".pdf
mv "$fichier"-crop.pdf "$fichier".pdf
echo "$fichier.pdf successfully created"
}
Paste this in your website: <script type="text/javascript" src="http://www.posteet.com/embed/1639"></script>
ps auxw|egrep "nom_process"awk '{print $1}'| xargs kill
Paste this in your website: <script type="text/javascript" src="http://www.posteet.com/embed/566"></script>
alias psg='ps -ef | grep'
# à mettre dans /etc/profile par exemple
Paste this in your website: <script type="text/javascript" src="http://www.posteet.com/embed/42"></script>