Extractor tool for plan txt file

Author: j-woz

Pilot1/Uno/get-node-txt.awk

@@ -0,0 +1,20 @@
+
+# GET NODE TXT AWK
+# See get-node-txt.sh
+
+$2 == node && $1 == "node:" {
+  print $0;
+  while (1) {
+    if (getline <= 0) {
+      # EOF:
+      exit;
+    }
+
+    if ($1 == "node:") {
+      # The next node is starting:
+      exit;
+    }
+    # Good node data:
+    print $0;
+  }
+}

Pilot1/Uno/get-node-txt.sh

@@ -0,0 +1,18 @@
+#!/bin/bash
+set -eu
+
+# GET NODE TXT
+# Pull out one node from a plan txt file
+
+if (( ${#} != 2 ))
+then
+  echo "get-node-txt: Provide PLAN_JSON NODE"
+  exit 1
+fi
+
+PLAN_JSON=$1
+NODE=$2
+
+THIS=$( dirname $0 )
+
+awk -v node=$NODE -f $THIS/get-node-txt.awk < $PLAN_JSON