Dear maintainer,
The attached patch makes terminology provide the x-terminal-emulator
alternative.
--
Алексей Шилин
diff -aNru terminology-0.7.0.orig/debian/terminology.postinst terminology-0.7.0/debian/terminology.postinst
--- terminology-0.7.0.orig/debian/terminology.postinst 1970-01-01 00:00:00.000000000 +0000
+++ terminology-0.7.0/debian/terminology.postinst 2016-06-16 19:00:33.116245973 +0000
@@ -0,0 +1,10 @@
+#!/bin/sh
+
+set -e
+
+if [ "$1" = "configure" ]; then
+ update-alternatives --install /usr/bin/x-terminal-emulator \
+ x-terminal-emulator /usr/bin/terminology 40 \
+ --slave /usr/share/man/man1/x-terminal-emulator.1.gz \
+ x-terminal-emulator.1.gz /usr/share/man/man1/terminology.1.gz
+fi
diff -aNru terminology-0.7.0.orig/debian/terminology.prerm terminology-0.7.0/debian/terminology.prerm
--- terminology-0.7.0.orig/debian/terminology.prerm 1970-01-01 00:00:00.000000000 +0000
+++ terminology-0.7.0/debian/terminology.prerm 2016-06-16 19:00:33.116245973 +0000
@@ -0,0 +1,7 @@
+#!/bin/sh
+
+set -e
+
+if [ "$1" = "remove" ] || [ "$1" = "deconfigure" ]; then
+ update-alternatives --remove x-terminal-emulator /usr/bin/terminology
+fi
