12 |
show duplicated breaks 50 | awk '// {inpre=1}; inpre && / *
$/ { next }; /<\/pre>/ { inpre=0 } { print }' 51 | } 52 | 53 | serve_manpage() { 54 | url="$1" 55 | ref="${url#"man:"}" 56 | # Remove #fragment if any 57 | cleanref=$(echo "$ref" | sed 's/#.*$//') 58 | # Reverse open(3) -> 3 open if given 59 | manpage=$(echo "$cleanref" | sed 's/\(.*\)(\(.*\))/\2 \1/') 60 | # If page not found, return 404 61 | if [ -z "$manpage" ]; then 62 | serve_404 63 | exit 0 64 | fi 65 | if ! man -w $manpage >/dev/null; then 66 | apropos=$(echo "$cleanref" | sed 's/(.*)//') 67 | serve_404 "$manpage" "$apropos" 68 | else 69 | printf " \n" 70 | printf "Content-type: text/html\r\n\r\n" 71 | unset MANROFFOPT 72 | man -Thtml $manpage | fix_br | inject_css | link_xrefs 2>&1 73 | fi 74 | } 75 | 76 | case "$url" in 77 | man:*) serve_manpage "$url";; 78 | *) serve_404;; 79 | esac 80 | -------------------------------------------------------------------------------- /screenshot.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dillo-browser/dillo-plugin-man/663f04f8f35e071618b8fa271297740ce1dfea63/screenshot.png -------------------------------------------------------------------------------- /screenshot2.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dillo-browser/dillo-plugin-man/663f04f8f35e071618b8fa271297740ce1dfea63/screenshot2.png -------------------------------------------------------------------------------- /style.css: -------------------------------------------------------------------------------- 1 | body { 2 | width: 40em; 3 | margin: 2em; 4 | font-size: 17px; 5 | line-height: 1.4em; 6 | background-color: white 7 | } 8 | 9 | h1 { 10 | padding-bottom: 0.5em; 11 | font-size: 26px; 12 | } 13 | 14 | h2 { 15 | padding-bottom: 0.5em; 16 | font-size: 22px; 17 | } 18 | 19 | pre { 20 | border: 1px #ddd solid; 21 | background-color: #f4f4f4; 22 | padding: 1em; 23 | font-size: 14px; 24 | } 25 | 26 | table { 27 | border: 1px; 28 | } 29 | 30 | .head { 31 | font-size: 16px; 32 | font-weight: bold; 33 | background-color: #e7e7e7; 34 | padding: 0.5em; 35 | } 36 | 37 | p { 38 | /*text-align: justify;*/ 39 | } 40 | --------------------------------------------------------------------------------