#!/bin/sh # Generate directory listings in case the web server does # not allow directory listings. # # First created: 2004-11-30 # Last changed: 2012-05-11 HEADER=' Anders Logg :: public file archive
' FOOTER='
' for f in `find pub`; do if [ -d $f ]; then echo Generating listing for $f echo $HEADER > $f/index.html echo "

Directory listing for $f

" >> $f/index.html echo "

" >> $f/index.html for g in `ls $f`; do if [ -d $f/$g ]; then echo "Skipping directory" else if [ $g != index.html ]; then size=`ls -sh $f/$g | awk '{print $1}'` echo "  $g ($size)
" >> $f/index.html fi fi done echo "

" >> $f/index.html for g in `ls $f`; do if [ -d $f/$g ]; then echo "  $g
" >> $f/index.html fi done echo "

" >> $f/index.html echo $FOOTER >> $f/index.html fi done