#! /bin/sh . .config if [ -z "$PAGER" ]; then PAGER=more fi ( isoinfo -i "$1" -d && exec isoinfo -i "$1" -R -l) | $PAGER