change file names

[Ben Scott]

On 2/21/06, Jon maddog Hall <maddog at li.org> wrote:
> This is why I really miss the printed man pages.

  Well, you can always do something like this:

cd /usr/shared/man/man1
for i in *.1 *.gz ; do j="$(basename $i .gz)" ; j="$(basename $j .1)"
; man -t "$j" | lpr ; done

  However, on my system at least, that would print roughly 2500 man
"pages", some of which are 50+ printed pages long.  So I wouldn't
recommend it.

  Unix was small.  For better or worse, Linux is not.    :)

-- Ben