2015-09-20 04:08:46 +00:00
|
|
|
#!/bin/sh
|
|
|
|
|
|
|
|
|
|
set -e
|
2008-09-09 23:31:30 +00:00
|
|
|
|
|
|
|
|
if [ "$1" = "configure" ]; then
|
2015-08-23 18:29:10 +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
|
2009-01-21 13:37:59 +00:00
|
|
|
# Add an alternative for x-terminal-emulator
|
|
|
|
|
update-alternatives --install /usr/bin/x-terminal-emulator \
|
2015-08-23 18:29:10 +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
|
|
|
|
|
|
2015-08-22 23:33:41 +00:00
|
|
|
for dname in `find /usr/share/doc/terminator/html*/_static/fonts/ -type d` /usr/share/doc/terminator/apidoc/_static/fonts/; do
|
|
|
|
|
if [ -d ${dname} ]; then
|
|
|
|
|
gunzip -f ${dname}/*.gz
|
|
|
|
|
fi
|
|
|
|
|
done
|
|
|
|
|
|
2009-01-21 13:37:59 +00:00
|
|
|
#DEBHELPER#
|
