From 2f80dabbe677a80426eca88f364e514e9c1ae968 Mon Sep 17 00:00:00 2001
From: Clement Lefebvre <clement.lefebvre@linuxmint.com>
Date: Mon, 25 Jan 2016 15:24:14 +0000
Subject: [PATCH] Override xedit bin and man page (from x11-apps)

---
 debian/xedit.postrm  | 10 ++++++++++
 debian/xedit.preinst | 12 ++++++++++++
 2 files changed, 22 insertions(+)
 create mode 100644 debian/xedit.postrm
 create mode 100644 debian/xedit.preinst

diff --git a/debian/xedit.postrm b/debian/xedit.postrm
new file mode 100644
index 0000000..78a1457
--- /dev/null
+++ b/debian/xedit.postrm
@@ -0,0 +1,10 @@
+#!/bin/sh
+
+set -e
+
+if [ remove = "$1" -o abort-install = "$1" -o disappear = "$1" ]; then
+    dpkg-divert --package xedit --remove --rename --divert /usr/bin/x11edit /usr/bin/xedit
+    dpkg-divert --package xedit --remove --rename --divert /usr/share/man/man1/x11edit.1.gz /usr/share/man/man1/xedit.1.gz
+fi
+
+exit 0
diff --git a/debian/xedit.preinst b/debian/xedit.preinst
new file mode 100644
index 0000000..565d73b
--- /dev/null
+++ b/debian/xedit.preinst
@@ -0,0 +1,12 @@
+#!/bin/sh
+
+set -e
+
+case "$1" in
+    install|upgrade)
+        dpkg-divert --package xedit --add --rename --divert /usr/bin/x11edit /usr/bin/xedit
+        dpkg-divert --package xedit --add --rename --divert /usr/share/man/man1/x11edit.1.gz /usr/share/man/man1/xedit.1.gz
+    ;;
+esac
+
+exit 0