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
This commit is contained in:
parent
a84a1e54eb
commit
a6abdbaae2
|
@ -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
|
||||
|
|
|
@ -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
|
||||
|
|
@ -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
|
||||
|
Loading…
Reference in New Issue