bin/posix @ 65b7fdace3da

More documentation shortcuts
author Steve Losh <steve@stevelosh.com>
date Tue, 13 Jul 2021 14:07:56 -0400
parents (none)
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