diff options
author | Ilya Epifanov <elijah.epifanov@gmail.com> | 2018-11-19 10:24:22 +0100 |
---|---|---|
committer | Christian Duerr <chrisduerr@users.noreply.github.com> | 2018-11-19 09:24:22 +0000 |
commit | fc04bc1e6dfc6f1bd3f0a70b1d6d2b6cbc551d40 (patch) | |
tree | ffbfe7b635c4d4b2174ee1277ff1d8118cf31a3b /debian | |
parent | 42d89899162164128364c503cee29dc65103d55d (diff) |
Changed path to standard /usr/bin/..., registered as an x-terminal-emulator alternative
Diffstat (limited to 'debian')
-rw-r--r-- | debian/postinst | 3 | ||||
-rw-r--r-- | debian/prerm | 3 |
2 files changed, 6 insertions, 0 deletions
diff --git a/debian/postinst b/debian/postinst new file mode 100644 index 00000000..55a6032d --- /dev/null +++ b/debian/postinst @@ -0,0 +1,3 @@ +#!/bin/sh -e + +update-alternatives --install /usr/bin/x-terminal-emulator x-terminal-emulator /usr/bin/alacritty 20 diff --git a/debian/prerm b/debian/prerm new file mode 100644 index 00000000..61427c04 --- /dev/null +++ b/debian/prerm @@ -0,0 +1,3 @@ +#!/bin/sh -e + +update-alternatives --remove x-terminal-emulator /usr/bin/alacritty |