2016-11-03 03:03:51 +00:00
|
|
|
#!/bin/sh
|
|
|
|
|
|
|
|
set -e
|
2008-09-09 23:31:30 +00:00
|
|
|
|
|
|
|
if [ "$1" = "configure" ]; then
|
2015-09-01 21:22:03 +00:00
|
|
|
# Ensure the old alternative is removed
|
|
|
|
update-alternatives --remove terminator /usr/bin/terminator || true
|
|
|
|
update-alternatives --remove x-terminal-emulator /usr/bin/terminator
|
2016-11-03 03:03:51 +00:00
|
|
|
|
2009-01-21 13:37:59 +00:00
|
|
|
# Add an alternative for x-terminal-emulator
|
|
|
|
update-alternatives --install /usr/bin/x-terminal-emulator \
|
2015-09-01 21:22:03 +00:00
|
|
|
x-terminal-emulator /usr/bin/terminator.wrapper 50 \
|
2009-01-21 13:37:59 +00:00
|
|
|
--slave /usr/share/man/man1/x-terminal-emulator.1.gz \
|
|
|
|
x-terminal-emulator.1.gz /usr/share/man/man1/terminator.1.gz
|
2008-09-09 23:31:30 +00:00
|
|
|
fi
|
|
|
|
|
2009-01-21 13:37:59 +00:00
|
|
|
#DEBHELPER#
|