diff options
Diffstat (limited to 'pkg/git/fetch.rc')
| -rw-r--r-- | pkg/git/fetch.rc | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/pkg/git/fetch.rc b/pkg/git/fetch.rc new file mode 100644 index 00000000..9d830d08 --- /dev/null +++ b/pkg/git/fetch.rc @@ -0,0 +1,17 @@ +flag e + + +@ . ./scripts/fetch-git.rc $* + +cd $1 +shift + +if([ -e man ]) + rm -rf man + +if(! sha256sum -c sha256 >[2]/dev/null) { + curl -L -O -K url + sha256sum -c sha256 +} + +archive=`{awk '{print $2}' sha256} +xzcat $archive | pax -r -s '/^\./man/' |
