Réponses:
Vous pouvez utiliser l' imagemagick
outil de ligne de commande
http://www.imagemagick.org/script/convert.php
alors vous pouvez l'utiliser comme:
$ convert myfile.eps foo.png
-density
également l' option, par exemple convert -density 150 myfile.eps foo.png
. La densité par défaut n'est que de 72 dpi, ce qui semble volumineux.
mogrify
commande est également utile à la place convert
. Voir man mogrify
ou rechercher sur Askubuntu
apt-get install imagemagick
.