Quelques astuces au sujet du format dot et des outils graphviz associés.
Comment imprimer un gros graphe ?
J’utilise beaucoup dot pour générer des graphes, et on a parfois besoin d’imprimer les graphes générés. Mais comment les imprimer sur plusieurs pages quand le graphe est gros ?
L’outil dot
permet de générer du postscript avec l’option -Tps
.
Si on souhaite imprimer plusieurs pages, il faut spécifier la taille des pages
soit en ajoutant l’attribut de graphe page
dans le fichier .dot
,
soit en utilisant l’option -Gpage=
sur la ligne de commande. La valeur
correspond à la taille de la page, en inch.
La taille d’un format A4 est 8,27 x 11,69 inches.
On peut aussi appliquer un facteur d'échelle avec l’attribut size
(-Gsize=
) : il correspond à la taille maximal du dessin.
Par exemple, si on a un graphe qui fait 10 pages x 10 pages,
c’est-à-dire environ 80x110 inches, on peut spécifier -Gsize=50
pour réduire environ la taille par deux.
Cette option peut être utilisée de manière plus précise
(cf la doc de size)
et on peut aussi utiliser
l’attribut ratio.
Exemple
Si dans le fichier généré par .dot
, on a :
graph [bb="0,0,18866,1005"];
et qu’on veut une page en hauteur, et une vingtaine de pages en largeur, on fait :
dot -Gpage="8,11" -Gsize="160,10" -Tps graph.dot > graph.ps
Voir aussi :
- Afficher un pourcentage dans une page HTML
- VNC : Virtual Network Computing
- Git : déménagement d'un dépôt
- Quelques liens au sujet de l'analyse statique
- Ocaml: mon principal langage de développement
- Disque dur externe
- Les profiles dans Firefox
- Cryptographie et mail sous Android
- Quelques liens au sujet du C
- Git rebase : pour diviser un commit