#!/bin/sh # # $dotat: scripts/info,v 1.6 2001/12/17 16:25:52 fanf Exp $ it=info/$1 for file in /usr/$it /usr/*/$it /opt/*/$it /usr/$it.info /usr/*/$it.info /opt/*/$it.info do echo $file if [ -f $file-1 -o -f $file-1.gz ] then # there must be a better way of doing this gzip -fdc `ls -f1 $file-* | sed -e 's/.*\.info-\([0-9]*\)/\1 &/' | sort -n | sed -e 's/[0-9]* //'` | less exit elif [ -f $file -o -f $file.gz ] then less $file* exit fi done echo "info for \"$1\" not found" 1>&2 exit 1