ptools (4.3+2) unstable; urgency=medium

  * Added diversion of /usr/bin/gcore to /usr/bin/gcore.gdb
    and /usr/share/man/man1/gcore.1.gz to /usr/share/man/man1/gcore.gdb.1.gz

3 files changed, 33 insertions, 0 deletions

diff --git a/ptools/debian/changelog b/ptools/debian/changelog
index 86f91b6..95f228a 100644
--- a/ptools/debian/changelog
+++ b/ptools/debian/changelog
@@ -1,3 +1,10 @@
+ptools (4.3+2) unstable; urgency=medium
+
+  * Added diversion of /usr/bin/gcore to /usr/bin/gcore.gdb
+    and /usr/share/man/man1/gcore.1.gz to /usr/share/man/man1/gcore.gdb.1.gz
+
+ -- Igor Pashev <pashev.igor@gmail.com>  Sun, 16 Nov 2014 21:38:02 +0300
+
 ptools (4.3+1) unstable; urgency=medium
 
   * Added gcore
diff --git a/ptools/debian/ptools.postrm b/ptools/debian/ptools.postrm
new file mode 100644
index 0000000..b83d84f
--- /dev/null
+++ b/ptools/debian/ptools.postrm
@@ -0,0 +1,13 @@
+#!/bin/sh
+
+set -e
+
+if [ "$1" = "remove" ] ; then
+    dpkg-divert --package ptools --rename --remove /usr/bin/gcore
+    dpkg-divert --package ptools --rename --remove /usr/share/man/man1/gcore.1.gz
+fi
+
+#DEBHELPER#
+
+exit 0
+
diff --git a/ptools/debian/ptools.preinst b/ptools/debian/ptools.preinst
new file mode 100644
index 0000000..18ffd04
--- /dev/null
+++ b/ptools/debian/ptools.preinst
@@ -0,0 +1,13 @@
+#!/bin/sh
+
+set -e
+
+if [ "$1" = "upgrade" ] || [ "$1" = "install" ] ; then
+    dpkg-divert --package ptools --divert /usr/bin/gcore.gdb --rename /usr/bin/gcore
+    dpkg-divert --package ptools --divert /usr/share/man/man1/gcore.gdb.1.gz --rename /usr/share/man/man1/gcore.1.gz
+fi
+
+#DEBHELPER#
+
+exit 0
+