diff options
author | Greg Lewis <glewis@FreeBSD.org> | 2004-04-12 21:02:09 +0000 |
---|---|---|
committer | Greg Lewis <glewis@FreeBSD.org> | 2004-04-12 21:02:09 +0000 |
commit | 49f6c471fd3f6ec869b79e86acbae5bc5f6a2963 (patch) | |
tree | ae46639e76d7fd6edaaa7cdf66c0a75799960946 /games/nethack32/files/pkg-deinstall.in | |
parent | 508bed379a4d0250401332895b99bb7df94aaf9b (diff) | |
download | ports-49f6c471fd3f6ec869b79e86acbae5bc5f6a2963.tar.gz ports-49f6c471fd3f6ec869b79e86acbae5bc5f6a2963.zip |
Notes
Diffstat (limited to 'games/nethack32/files/pkg-deinstall.in')
-rw-r--r-- | games/nethack32/files/pkg-deinstall.in | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/games/nethack32/files/pkg-deinstall.in b/games/nethack32/files/pkg-deinstall.in new file mode 100644 index 000000000000..eef0b35d65e1 --- /dev/null +++ b/games/nethack32/files/pkg-deinstall.in @@ -0,0 +1,16 @@ +#!/bin/sh +# +# $FreeBSD$ + +if [ "${2}" = "POST-DEINSTALL" ]; then + if [ -d "${PKG_PREFIX}/%%HACKDIR%%" ]; then + echo + echo "The ${1} save files have not been removed." + echo + echo "If you are deleting ${1} permanently then you can " + echo "remove the save files with the command:" + echo + echo " rm -rf ${PKG_PREFIX}/%%HACKDIR%%" + echo + fi +fi |