From 22a7e5d77587372ea4c63c84fd8e0447f424bc15 Mon Sep 17 00:00:00 2001 From: Marc Vertes Date: Mon, 14 Jul 2025 18:34:38 +0200 Subject: dump can pipe output to external commands --- mp | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/mp b/mp index 06631cb..62f0e6d 100755 --- a/mp +++ b/mp @@ -26,7 +26,11 @@ BEGIN { } else if ($1 == "key") { key(v, $2) } else if ($1 == "dump") { - for (k in v) print k " '" v[k] "'" + if ($2 ~ /^\|/) { + cmd = substr($0, 1+index($0, "|")) + for (k in v) print k " '" v[k] "'" | cmd + close(cmd) + } else for (k in v) print k " '" v[k] "'" } else if ($1 == "parse_string") { delete v sub(/^[[:space:]]+/, "") -- cgit v1.2.3