-#! /bin/sh -e
+#! /bin/bash -e
# debman - read a man page from an uninstalled Debian package file (.deb)
FD=1
fi
cat >&$FD <<EOF
-Usage: debman [options] [-- man options] <man page name> ...
+Usage: debman [options] [-- man(1) options] <man page name> ...
Options should be exactly one of:
-f package.deb read pages from package.deb archive
trap 'rm -rf "$TEMPDIR"' EXIT ERR HUP INT QUIT TERM
if [ -n "$PACKAGE" ]; then
- # This duplicates debget; if an option is added there to use an
- # externally-specified filename then we can use it instead.
- FILENAME="$TEMPDIR/$PACKAGE.deb"
- wget -O "$FILENAME" \
- $(apt-get -q2 --print-uris --reinstall install "$PACKAGE" | \
- sed -ne "\$s/^'\([^']*\)'.*$/\1/p")
+ (cd "$TEMPDIR" && debget "$PACKAGE")
+ # There should be at most one file in $TEMPDIR now.
+ FILENAME="`find \"$TEMPDIR\" -name \*.deb -print`"
+ if [ -z "$FILENAME" ]; then
+ echo "Failed to fetch package $PACKAGE; exiting." >&2
+ exit 1
+ fi
fi
# Ignore errors from tar (though not dpkg). They'll generally just be of the