3ed3abd562
PR: ports/141117 Submitted by: Matthew Seaman <m.seaman@infracaninophile.co.uk> (maintainer)
32 lines
568 B
Bash
32 lines
568 B
Bash
#!/bin/sh
|
|
#
|
|
# $FreeBSD$
|
|
#
|
|
|
|
sphinx_usr=%%SPHINX_USR%%
|
|
sphinx_grp=%%SPHINX_GRP%%
|
|
sphinx_dir=%%SPHINX_DIR%%
|
|
portname=%%PORTNAME%%
|
|
|
|
case $2 in
|
|
POST-DEINSTALL)
|
|
|
|
cat <<EOMSG
|
|
|
|
The $portname port has been deleted. If you are not
|
|
upgrading and don't intend to use $portname any more
|
|
then you may wish to delete the $sphinx_usr account,
|
|
and the $sphinx_grp group together with the working
|
|
directory $sphinx_dir; which can be done with the
|
|
following commands:
|
|
|
|
# pw userdel -n $sphinx_usr
|
|
# rm -rf $sphinx_dir
|
|
EOMSG
|
|
echo
|
|
;;
|
|
esac
|
|
|
|
#
|
|
# That's All Folks!
|
|
#
|