# csh to create an index of all *.gif/jpg files in this dir
echo 'My files' > myImagefiles.html
echo 'See current files in this directory
' >> myImagefiles.html
# create myfiles.html in html (wipes out old stuff)
# add info on directory
pwd >> myImagefiles.html
# add date and time
echo ' on ' >> myImagefiles.html
date >> myImagefiles.html
echo '
' >> myImagefiles.html #put in line break
# now add each type of graphics file (gif, GIF, jpg, jpeg, JPG)
foreach file (*.gif)
echo '- '$file'' >> myImagefiles.html
end
foreach file (*.GIF)
echo '
- '$file'' >> myImagefiles.html
end
foreach file (*.jpg)
echo '
- '$file'' >> myImagefiles.html
end
foreach file (*.JPG)
echo '
- '$file'' >> myImagefiles.html
end
#
# now close html file
echo '
' >> myImagefiles.html