#!/bin/sh
set -e

if [ "$1" = "configure" ] ; then
	update-alternatives --quiet --remove x-terminal-emulator /usr/bin/Terminal
	#update-alternatives --quiet --install /usr/bin/x-terminal-emulator x-terminal-emulator \
	#	/usr/bin/Terminal 20 \
        #        --slave /usr/share/man/man1/x-terminal-emulator.1.gz x-terminal-emulator.1.gz \
	#        /usr/share/man/man1/Terminal.1.gz
fi

#DEBHELPER#
