bin/posix @ 09d4b82224fc

New stuff for the debian machine
author Steve Losh <steve@stevelosh.com>
date Sat, 15 Jul 2023 23:07:30 -0400
parents 65b7fdace3da
children (none)
#!/usr/bin/env bash

if [ -z "$1" ]; then
    w3m "$HOME/Dropbox/docs/posix/idx/utilities.html"
else
    HTMLFILE="$HOME/Dropbox/docs/posix/utilities/$1.html"
    if [ -s "$HTMLFILE" ]; then
        w3m "$HTMLFILE"
    else
        echo "No matching file for '$1'"
    fi
fi