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 /patch.pkg/prerm | |
| parent | 3c74862973762516dfb0b686c983dea10a95c9b3 (diff) | |
patch: Add maintainer scripts
Diffstat (limited to 'patch.pkg/prerm')
| -rw-r--r-- | patch.pkg/prerm | 5 |
1 files changed, 5 insertions, 0 deletions
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 |