diff options
| author | Bruce Hill <bruce@bruce-hill.com> | 2018-12-31 02:16:32 -0800 |
|---|---|---|
| committer | Bruce Hill <bruce@bruce-hill.com> | 2018-12-31 02:16:32 -0800 |
| commit | 06cded44aff81ef9ccfb1cd7af913cf4f8a7eeb5 (patch) | |
| tree | caf67edf7d1101a57a890ad172c0d9cc0222178d /tools/replace.nom | |
| parent | 811aefd0dfdb0bc93ffa8e2c6283c372159ff4ea (diff) | |
Added todo
Diffstat (limited to 'tools/replace.nom')
| -rwxr-xr-x | tools/replace.nom | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/tools/replace.nom b/tools/replace.nom index 7abe960..9d96c54 100755 --- a/tools/replace.nom +++ b/tools/replace.nom @@ -44,6 +44,8 @@ $pattern_vars = { recurse $ on $child } +# TODO: support wildcards and unpacking + e.g. nomsu -t replace "test(: $test; *$more_tests)" "*$more_tests; *$test" ($tree matches $patt with $substitution_values) means: # TODO: optimize $substitution_values = {: for $k = $v in $substitution_values: add $k = $v} |
