aboutsummaryrefslogtreecommitdiffstats
path: root/website/esrs-design-notes.html
blob: 9034bdc59ac9ef46a97193ab70a727a6872af932 (plain)
1
../esrs-design-notes.html
c { color: #336699 } /* Name.Variable.Class */ .highlight .vg { color: #dd7700 } /* Name.Variable.Global */ .highlight .vi { color: #3333bb } /* Name.Variable.Instance */ .highlight .vm { color: #336699 } /* Name.Variable.Magic */ .highlight .il { color: #0000DD; font-weight: bold } /* Literal.Number.Integer.Long */
#	~/.bash_logout
#	Clean things up when I Exit.

# Below is for Fetchmail clean up
#
#	TDEV=my PRESENT terminal device IE: ttyp0, tty5, .....
#
export TDEV=`tty | sed -n -e "s#/dev/##p"`
#
if [ -s ~/.fetchmail ]; then
#
    if [ -s ~/.fetchmail.$TDEV ]; then
	TEST=`/usr/bin/grep 'notowner' ~/.fetchmail.$TDEV`
#
        if [ ! -z $TEST ]; then
	    /bin/rm -rf ~/.fetchmail.$TDEV
	elif [ -z $TEST ]; then
	    /bin/rm -rf ~/.fetchmail.$TDEV
	    /usr/local/bin/fetchmail -q >/dev/null 2>&1
	fi
#
    else
	echo "WARNING: A process either did not record a ~/.fetchmail.$TDEV" >> ~/.fetchmail.warning.$TDEV
	echo "WARNING: Or removed the file manually ." >> ~/.fetchmail.warning.$TDEV
    fi
#
else
    echo "WARNING: parent process has exit'ed & removed primary ~/.fetchmail.$TDEV " >> ~/.fetchmail.warning.$TDEV
fi
# END of Fetchmail clean up