diff options
| author | Michael Forney <mforney@mforney.org> | 2017-10-10 02:45:46 -0700 |
|---|---|---|
| committer | Michael Forney <mforney@mforney.org> | 2017-10-10 03:22:25 -0700 |
| commit | 8bfb60a368487a8ffa1e0b20543becc4bea0806b (patch) | |
| tree | f2898328c7a9f95099ebe8a6a9ec373d856bfa76 /scripts/fetch-curl.rc | |
| parent | d676f9545bb66558fbf81a49d32f8bb0edaa8aa9 (diff) | |
fetch-curl: Allow overriding substitutions
Diffstat (limited to 'scripts/fetch-curl.rc')
| -rw-r--r-- | scripts/fetch-curl.rc | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/scripts/fetch-curl.rc b/scripts/fetch-curl.rc index edc2b6e5..a525bcdf 100644 --- a/scripts/fetch-curl.rc +++ b/scripts/fetch-curl.rc @@ -1,7 +1,7 @@ flag e + if(~ $#* 0) { - echo 'usage: fetch-curl.rc dir pattern...' >[1=2] + echo 'usage: fetch-curl.rc dir [paxflags...]' >[1=2] exit 2 } @@ -26,15 +26,15 @@ for(archive in `{awk '{print $2}' sha256}) { case * tool=() } - pats=() + flags=() while(! ~ $1 '' ';') { - pats=($pats $1) + flags=($flags $1) shift } - if(~ $#pats 0) - pats='*/*' + if(~ $#flags 0) + flags=(-s '/^\.\|[^\/]*/src/' '*/*') shift - if(! ~ $#tool 0) $tool $archive | pax -r -s '/^\.\|[^\/]*/src/' $pats + if(! ~ $#tool 0) $tool $archive | pax -r $flags } if([ -d patch ]) { |