diff options
author | P. J. McDermott <pjm@nac.net> | 2013-09-08 11:51:26 (EDT) |
---|---|---|
committer | P. J. McDermott <pjm@nac.net> | 2013-09-08 11:51:26 (EDT) |
commit | 33d619a3a1f841158782a03fb78759aae1bec3ed (patch) | |
tree | 22efc03a1466afc05c3f3ac2c18623af5f0f2665 /gawk.pkg/prerm | |
parent | b833998bf932d783e3fb078353129d25ea1ef323 (diff) |
gawk: Make /usr/bin/awk with update-alternatives.
Diffstat (limited to 'gawk.pkg/prerm')
-rw-r--r-- | gawk.pkg/prerm | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/gawk.pkg/prerm b/gawk.pkg/prerm new file mode 100644 index 0000000..0a76458 --- /dev/null +++ b/gawk.pkg/prerm @@ -0,0 +1,5 @@ +#!/bin/sh + +if [ "x${1}" = 'xremove' ]; then + update-alternatives --remove awk /usr/bin/gawk +fi |