From 09231721ce67fe526062fd243fb9a3a9c8731d46 Mon Sep 17 00:00:00 2001 From: johannst Date: Sat, 25 Jun 2022 19:53:14 +0000 Subject: deploy: 6b252dbc87462a5ccfd31c8fc6c27195646365dd --- print.html | 64 +++++++++++++++++++++++++++++++++++++++++++++++++++++++------- 1 file changed, 57 insertions(+), 7 deletions(-) (limited to 'print.html') diff --git a/print.html b/print.html index f0056f3..dc5c6f2 100644 --- a/print.html +++ b/print.html @@ -83,7 +83,7 @@ @@ -172,6 +172,7 @@
  • radare2
  • qemu
  • pacman
    • +
  • dot

    • zsh(1)

    Keybindings

    @@ -2022,6 +2023,55 @@ package and sort by size.

    /Installed Size/ { printf "%8.2f%s %s\n", $4, $5, name }' | sort -h +

    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

    +

    Resource analysis & monitor