blob: ea85b73ea4538b7847c5126614175c8b9bf1e8a3 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
|
#!/bin/sh
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!
#
|
