#!/bin/sh [ "$2" != "POST-DEINSTALL" ] && exit 0 # remove scorefile if it's empty [ "`md5 -q '%%SCOREFILE%%'`" = 7ba69f4ec41007c035beb73aa29d6b32 ] && rm -f "%%SCOREFILE%%" 2>/dev/null rmdir "%%SCOREDIR%%" 2>/dev/null if [ -e "%%SCOREDIR%%" ]; then echo echo "To completely remove the port, please remove the following" echo "directory manually, if it's no longer needed:" echo echo " %%SCOREDIR%%" echo fi