From 09231721ce67fe526062fd243fb9a3a9c8731d46 Mon Sep 17 00:00:00 2001 From: johannst Date: Sat, 25 Jun 2022 19:53:14 +0000 Subject: deploy: 6b252dbc87462a5ccfd31c8fc6c27195646365dd --- tools/dot.html | 272 +++++++++++++++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 272 insertions(+) create mode 100644 tools/dot.html (limited to 'tools/dot.html') diff --git a/tools/dot.html b/tools/dot.html new file mode 100644 index 0000000..a78f568 --- /dev/null +++ b/tools/dot.html @@ -0,0 +1,272 @@ + + + + + + dot - Notes + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +
+ +
+ + + + + + + + + + +
+
+

dot(1)

+

Example dot file to copy & paste from.

+

Can be rendered to svg with the following command.

+
dot -T svg -o g.svg g.dot
+
+

Example dot file.

+
// file: g.dot
+digraph {
+    // Render ranks from left to right.
+    rankdir=LR
+    // Make background transparent.
+    bgcolor=transparent
+
+    // Global node attributes.
+    node [shape=box]
+    // Global edge attributes.
+    edge [style=dotted,color=red]
+
+    // Add nodes & edge.
+    stage1 -> stage2
+    // Add multiple edges at once.
+    stage2 -> { stage3_1, stage3_2 }
+    // Add edge with custom attributes.
+    stage3_2 -> stage4 [label="some text"]
+
+    // Set custom attributes for specific node.
+    stage4 [color=green,fillcolor=lightgray,style="filled,dashed",label="s4"]
+
+    // Create a subgraph. This can be used to group nodes/edges or as scope for
+    // global node/edge attributes.
+    // If the name starts with 'cluster' a border is drawn.
+    subgraph cluster_1 {
+        stage5_1
+        stage5_2
+    }
+
+    // Add some edges to subgraph nodes.
+    stage3_1 -> { stage5_1, stage5_2 }
+}
+
+

Rendered svg file. +g.svg

+

References

+ + +
+ + +
+
+ + + +
+ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + -- cgit v1.2.3