diff options
| author | Daniel Baumann <daniel.baumann@progress-linux.org> | 2024-04-27 14:33:00 +0000 |
|---|---|---|
| committer | Daniel Baumann <daniel.baumann@progress-linux.org> | 2024-04-27 14:33:00 +0000 |
| commit | 5d6dc79a88ce48b3a4e833498d9194ee629ca180 (patch) | |
| tree | 0bfa6ef5921e5d1b5b99b05c9fa1d4863e907393 /debian/gedit.postinst | |
| parent | Adding upstream version 3.38.1. (diff) | |
| download | gedit-5d6dc79a88ce48b3a4e833498d9194ee629ca180.tar.xz gedit-5d6dc79a88ce48b3a4e833498d9194ee629ca180.zip | |
Adding debian version 3.38.1-1.debian/3.38.1-1debian
Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>
Diffstat (limited to 'debian/gedit.postinst')
| -rw-r--r-- | debian/gedit.postinst | 29 |
1 files changed, 29 insertions, 0 deletions
diff --git a/debian/gedit.postinst b/debian/gedit.postinst new file mode 100644 index 0000000..ebec24a --- /dev/null +++ b/debian/gedit.postinst @@ -0,0 +1,29 @@ +#!/bin/sh + +set -e + +case "$1" in + configure) + # register gedit as a gnome-text-editor in the alternatives system + update-alternatives \ + --install \ + /usr/bin/gnome-text-editor \ + gnome-text-editor \ + /usr/bin/gedit \ + 50 \ + --slave \ + /usr/share/man/man1/gnome-text-editor.1.gz \ + gnome-text-editor.1.gz \ + /usr/share/man/man1/gedit.1.gz + ;; + + abort-upgrade|abort-remove|abort-deconfigure) + ;; + + *) + echo "postinst called with unknown argument \`$1'" >&2 + exit 0 + ;; +esac + +#DEBHELPER# |