#!/bin/bash
# File : upd_index-page.sh
# By : Maarten.deBoer, 160914, 170504, 180124
# Subject : Script to update the index.html page
#(0.2),170124 : Added some
#(0.3),210528 : Upd. with
& added ${1}
PGM="`basename $0|cut -d\. -f1`"
VER="0.3"
TMP="/tmp/${PGM}.$$"
LOG="${HOME}/log/${PGM}.log"
HOSTNAME=`hostname|cut -d\. -f1`
INDEX="index.html"
PAGEDIR="/appl/dfm/web/software"
PAGE="${PAGEDIR}/${INDEX}"
echo "`date` ${PGM} ${VER} started."|tee -a ${LOG}
if [ "${1}" != "" ]; then
PAGEDIR="${1}"
PAGE="${PAGEDIR}/${INDEX}"
fi
TITLE="index of ${PAGEDIR}"
echo " Indexing ${PAGEDIR} ..."
sudo touch ${PAGE}
sudo chmod 777 ${PAGE}
echo "" > ${PAGE}
echo "" >> ${PAGE}
echo "" >> ${PAGE}
echo "" >> ${PAGE}
echo "" >> ${PAGE}
echo "">> ${PAGE}
echo "${TITLE}" >> ${PAGE}
echo "" >> ${PAGE}
echo "" >> ${PAGE}
echo "" >> ${PAGE}
echo " List of ${PAGEDIR}
" >> ${PAGE}
echo "
" >> ${PAGE}
cd ${PAGEDIR}
ls -1 *|grep -v ${INDEX}|while read LINE
do
echo ${LINE}
echo " " >> ${PAGE}
echo " " >> ${PAGE}
echo " " >> ${PAGE}
echo " ${LINE}
" >> ${PAGE}
echo " " >> ${PAGE}
echo " | " >> ${PAGE}
done
echo "
" >> ${PAGE}
echo " Last update: `date` by ${PGM} v${VER} at ${HOSTNAME}
" >> ${PAGE}
echo "`date` ${PGM} ${VER} finished."|tee -a ${LOG}
exit 0