using the script/command gifsize

This little program finds the width and height (in pixels) of one or more GIF files, and displays the information in a form which can be pasted into a web page. For example:

newton>  gifsize *.gif

<img width=40 height=40 src="greenball.gif">
<img width=204 height=206 src="rooster.gif">
<img width=18 height=18 src="section.gif">
<img width=122 height=158 src="splash.gif">
<img width=46 height=44 src="zap.gif">