diff options
| -rwxr-xr-x | mp | 6 |
1 files changed, 5 insertions, 1 deletions
@@ -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:]]+/, "") |
