w3m

Unnamed repository; edit this file to name it for gitweb.
git clone https://logand.com/git/w3m.git/
Log | Files | Refs | README

htmldump (198B)


      1 #!/bin/sh
      2 OPT=
      3 if [ $# -gt 0 -a $1 = "-u" ]; then
      4   OPT=-u
      5   shift
      6 fi
      7 if [ $# = 0 ]; then
      8   URL=$WWW_HOME
      9 else
     10   URL=$1
     11 fi
     12 w3m -dump_source $URL | makeref $OPT -url $URL | w3m -dump -F -T text/html