bsdman 752 B

12345678910111213141516171819202122232425262728293031323334353637383940
  1. #!/bin/sh
  2. if [ "${0##*/}" = "obsdman" ]; then
  3. OS=OpenBSD
  4. DOMAIN="http://www.openbsd.org/cgi-bin"
  5. MANPATH="OpenBSD+Current"
  6. else
  7. OS=FreeBSD
  8. DOMAIN="http://www.freebsd.org/cgi"
  9. MANPATH="FreeBSD+10-current"
  10. fi
  11. usage () {
  12. cat <<EOF>&2
  13. Usage: ${0##*/} [SECTION] PAGE
  14. Fetch $OS man page PAGE from the official website and display it.
  15. EOF
  16. }
  17. [ $# -eq 0 ] && usage && exit 1
  18. [ "$1" = "-h" ] && usage && exit
  19. [ "$1" = "--" ] && shift
  20. SECTION=0
  21. PAGE=$1
  22. if [ $# -eq 2 ]; then
  23. SECTION="$1"
  24. PAGE="$2"
  25. fi
  26. AGENT="curl -s -L"
  27. if ! command -v curl >/dev/null 2>&1; then
  28. AGENT="wget -q -O - "
  29. fi
  30. $AGENT "$DOMAIN/man.cgi?query=$PAGE&apropos=0&sektion=$SECTION&manpath=$MANPATH&arch=default&format=ascii" | if [ "$TERM" = dumb ]; then cat; else less; fi