diff options
| author | Michael Forney <mforney@mforney.org> | 2016-12-17 22:32:20 -0800 |
|---|---|---|
| committer | Michael Forney <mforney@mforney.org> | 2016-12-18 18:17:04 -0800 |
| commit | 393306274e1042368f586516cff41c0e222493cb (patch) | |
| tree | 29e4631ae957be0356be2b0d51cbfac911f3e947 /pkg/git/fetch.rc | |
| parent | d2319858ae61e0cee1d65712e622a879c3dda286 (diff) | |
git: Fetch and install man pages
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/' |