← Back to branch summary

~dpb/ubuntu-manpage-repository/make-parallel

« back to all changes in this revision

Viewing changes to bin/fetch-man-pages.sh

  • Committer: David Britton
  • Date: 2018-05-23 05:00:34 UTC
  • Revision ID: david.britton@canonical.com-20180523050034-q5ux2hwh37y0wu06
partial work.

Show diffs side-by-side

added added

removed removed

Lines of Context:
bin/fetch-man-pages.sh
26
26
# License can be found in /usr/share/common-licenses/GPL-3
27
27
###############################################################################
28
28
 
29
 
. ./config
30
 
 
31
29
TEMPDIR=$(mktemp -d -t manpages-fetch-XXXXXX)
32
30
trap 'rm -rf $TEMPDIR 2>/dev/null || true' EXIT HUP INT QUIT TERM
33
31
 
 
32
. ./config
 
33
 
 
34
is_cache_stale() {
 
35
        if [ "$FORCE" = "-f" -o "$FORCE" = "--force" ]; then
 
36
                return 0
 
37
        fi
 
38
        deb="$1"
 
39
        sum="$2"
 
40
        dist="$3"
 
41
        name=$(basename "$deb" | awk -F_ '{print $1}')
 
42
        existing_sum=$(cat "$PUBLIC_HTML_DIR/manpages/$dist/.cache/$name" 2>/dev/null)
 
43
        if [ "$existing_sum" = "$sum" ]; then
 
44
                echo "INFO: cksum skip: $deb"
 
45
                return 1
 
46
        else
 
47
                return 0
 
48
        fi
 
49
}
 
50
 
34
51
DIST="$1"
35
52
PKGURL="$2"
 
53
DEBNAME="$3"
 
54
SUM="$4"
 
55
 
 
56
if ! is_cache_invalid "$DEBNAME" "$SUM" "$DIST"; then
 
57
        exit 0
 
58
fi
 
59
 
36
60
PKG=$(basename "$PKGURL")
37
61
NAME=$(echo "$PKG" | awk -F_ '{print $1}')
38
62
# shellcheck disable=SC2001
42
66
echo "INFO: fetching: $PKGURL"
43
67
curl --silent "$PKGURL" > "$DEB"
44
68
 
 
69
 
45
70
DESTDIR="$PUBLIC_HTML_DIR/manpages/$DIST"
46
71
DESTDIRGZ="$PUBLIC_HTML_DIR/manpages.gz/$DIST"
47
72