bin/posix @ 30faa48af4ce default tip

More
author Steve Losh <steve@stevelosh.com>
date Mon, 19 Aug 2024 08:56:24 -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