- Update to 1.533

- Support stage properly

Inspired by:	bdrewery

1 files changed, 38 insertions, 0 deletions

diff --git a/devel/jenkins/files/pkg-deinstall.in b/devel/jenkins/files/pkg-deinstall.in
new file mode 100644
index 000000000000..96d7d8b15513
--- /dev/null
+++ b/devel/jenkins/files/pkg-deinstall.in
@@ -0,0 +1,38 @@
+#!/bin/sh
+#
+# $FreeBSD$
+#
+
+PATH=/bin:/usr/bin:/usr/sbin
+
+case $2 in
+DEINSTALL)
+	# try to cleanup %%JENKINS_HOME%%
+	rmdir %%JENKINS_HOME%% 2>/dev/null
+	;;
+POST-DEINSTALL)
+	echo "===> post-deinstallation information for $1:"
+	echo ""
+	echo "     Note:"
+	echo "     jenkins related user accounts and groups were not removed."
+	echo ""
+	echo "     To remove the '%%JENKINS_USER%%' user and the '%%JENKINS_GROUP%%' group which were"
+	echo "     created by a default installation of this package, run"
+	echo ""
+	echo "     pw userdel %%JENKINS_USER%%"
+	echo "     pw groupdel %%JENKINS_GROUP%%"
+	if  [ -d %%JENKINS_HOME%% ] ; then
+		echo ""
+		echo "     In order to ease updates, the job directories, plugins"
+		echo "     and all configuration files were preserved."
+		echo ""
+		echo "     Please remove %%JENKINS_HOME%% manually if you do not want to use"
+	       	echo "     jenkins any longer."
+	fi
+	echo ""
+	;;
+*)
+	exit 64
+	;;
+esac
+exit 0