now all in one repo to avoid an explosion of git repos for the blog

2023-02-26 13:41:04 +01:00
parent 6a75c512c4
commit 092c830f52
4 changed files with 41 additions and 0 deletions
@@ -0,0 +1,16 @@
+#!/bin/bash 
+
+awk '
+  /^Node/ { 
+    node = $2
+    next
+  }
+  
+  / *Coeff/ { 
+    gsub(/^ *Coeff /, "")
+    gsub(/:/, "")
+    print node " " $0 
+  }
+   
+' "$@"
+