dump can pipe output to external commands

1 files changed, 5 insertions, 1 deletions

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:]]+/, "")