diff options
| author | P. J. McDermott <pj@pehjota.net> | 2014-10-13 15:03:26 (EDT) |
|---|---|---|
| committer | P. J. McDermott <pj@pehjota.net> | 2014-10-13 15:03:26 (EDT) |
| commit | 1262c93dbc890bd15307810f17adcce3a7ebd672 (patch) | |
| tree | f363f9d087e30d5b36eb3928d99188bbc641092b | |
| parent | 3c74862973762516dfb0b686c983dea10a95c9b3 (diff) | |
patch: Add maintainer scripts
| -rw-r--r-- | patch.pkg/postinst | 5 | ||||
| -rw-r--r-- | patch.pkg/prerm | 5 |
2 files changed, 10 insertions, 0 deletions
diff --git a/patch.pkg/postinst b/patch.pkg/postinst new file mode 100644 index 0000000..acf86ea --- /dev/null +++ b/patch.pkg/postinst @@ -0,0 +1,5 @@ +#!/bin/sh + +if [ "x${1}" = 'xconfigure' ]; then + update-alternatives --install /usr/bin/patch patch /usr/bin/patch.gnu 20 +fi diff --git a/patch.pkg/prerm b/patch.pkg/prerm new file mode 100644 index 0000000..bdbfd66 --- /dev/null +++ b/patch.pkg/prerm @@ -0,0 +1,5 @@ +#!/bin/sh + +if [ "x${1}" = 'xremove' ]; then + update-alternatives --remove patch /usr/bin/patch.gnu +fi |