first stab at porting dman to debian, rather slow
Antoine Beaupré
7 years ago
| 25 | 25 | ############################################################################### |
| 26 | 26 | |
| 27 | 27 | |
| 28 | . /etc/lsb-release | |
| 28 | if [ -r /etc/lsb-release ] ; then | |
| 29 | . /etc/lsb-release | |
| 30 | else | |
| 31 | DISTRIB_CODENAME=$(lsb_release -c -s) | |
| 32 | fi | |
| 29 | 33 | while true; do |
| 30 | 34 | case "$1" in |
| 31 | 35 | --release) |
| 43 | 47 | # Mirror support of man's languages |
| 44 | 48 | if [ ! -z "$LANG" ]; then |
| 45 | 49 | LOCALE="$LANG" |
| 50 | LOCPATH="-$LANG" | |
| 51 | LOCDOT=".$LANG" | |
| 46 | 52 | fi |
| 47 | 53 | if [ ! -z "$LC_MESSAGES" ]; then |
| 48 | 54 | LOCALE="$LC_MESSAGES" |
| 55 | LOCPATH="-$LOCALE" | |
| 56 | LOCDOT=".$LOCALE" | |
| 49 | 57 | fi |
| 50 | if echo $LOCALE | grep -q "^en"; then | |
| 58 | if echo $LOCALE | grep -E -q "^(C|en)"; then | |
| 51 | 59 | LOCALE="" |
| 60 | LOCPATH="" | |
| 61 | LOCDOT=".en" | |
| 52 | 62 | fi |
| 53 | 63 | |
| 54 | URL="http://manpages.ubuntu.com/manpages.gz/" | |
| 64 | URL="http://manpages.debian.org" | |
| 55 | 65 | |
| 56 | 66 | mandir=`mktemp -d dman.XXXXXX` |
| 57 | 67 | trap "rm -rf $mandir" EXIT HUP INT QUIT TERM |
| 58 | 68 | for i in `seq 1 9`; do |
| 59 | 69 | man="$mandir/$i" |
| 60 | if wget -O "$man" "$URL/$DISTRIB_CODENAME/$LOCALE/man$i/$PAGE.$i.gz" 2>/dev/null; then | |
| 61 | man $MAN_ARGS -l "$man" || true | |
| 70 | if wget -O "$man" "$URL/$DISTRIB_CODENAME/manpages$LOCPATH/$PAGE.$i$LOCDOT.gz" 2>/dev/null; then | |
| 71 | echo man $MAN_ARGS -l "$man" || true | |
| 62 | 72 | fi |
| 63 | 73 | rm -f "$man" |
| 64 | 74 | done |