blob: fdd33822d7596a5f5ea1ca591893d65b3c1349d4 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
#!/bin/sh -e
set -e
#DEBHELPER#
if [ "$1" = "configure" ]; then
update-alternatives --install /usr/bin/x-terminal-emulator \
x-terminal-emulator /usr/bin/gnome-terminal.wrapper 40 \
--slave /usr/share/man/man1/x-terminal-emulator.1.gz \
x-terminal-emulator.1.gz /usr/share/man/man1/gnome-terminal.1.gz
fi
|
