blob: 18ffd04daae07a21d97d3848b72f813093a0c9b0 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
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
|
