diff --git a/debian/screen-profiles.postinst b/debian/screen-profiles.postinst new file mode 100644 index 00000000..bf37e11a --- /dev/null +++ b/debian/screen-profiles.postinst @@ -0,0 +1,8 @@ +#!/bin/sh -e + +if [ -x "/usr/bin/screen.real" ]; then + dpkg-divert --package screen-profiles --rename --remove /usr/bin/screen || true +fi + +#DEBHELPER# +