diff options
Diffstat (limited to 'contrib/logout')
| -rwxr-xr-x | contrib/logout | 30 |
1 files changed, 30 insertions, 0 deletions
diff --git a/contrib/logout b/contrib/logout new file mode 100755 index 00000000..96c9111d --- /dev/null +++ b/contrib/logout @@ -0,0 +1,30 @@ +# ~/.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 |