Hallo!

Ich lasse mittels dot mit dem Befehl male_automat | dot -Tpng -Gcharset=latin1 > bild.png ein Bild erzeugen. Da die Automaten die ich da male mitunter sehr groß sein können wird ein irrsinnig winziges Bild produziert, welches zudem nicht vergrößerbar ist (das ist dann nur noch Pixelsalat).
Jetzt komme ich mit der schlechtesten Dokumentation der Welt (die von dot) leider nicht soweit klar, dass ich herausbekommenkönnte, was ich an Parametern übergeben müsste, damit ich ein Bild erstellen lasse, dessen Größe c.a. 4000 Pixel je Achse beträgt (soviel dürfte ich wohl ca. brauchen).

Weis das jemand? Wie kann man einstellen, dass pngs mit dot größer erstellt werden?

Grüße, pktm