bin/posix @ b7239c572353

More
author Steve Losh <steve@stevelosh.com>
date Tue, 01 Feb 2022 10:49:39 -0500
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