diff options
| author | Christian Duerr <contact@christianduerr.com> | 2020-05-12 15:18:37 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-05-12 15:18:37 +0000 |
| commit | 73c7f0c48d32ab5dc4b50e14e875306f4ddb6545 (patch) | |
| tree | 0c513882d279d216d622d7ad8233a1c9124e07c9 /extra/linux | |
| parent | 77f2d6e853f1ad54e6dc844a811b78daeb463e76 (diff) | |
Remove prebuilt linux binaries
Fixes #3628.
Diffstat (limited to 'extra/linux')
| -rw-r--r-- | extra/linux/debian/postinst | 3 | ||||
| -rw-r--r-- | extra/linux/debian/prerm | 3 |
2 files changed, 0 insertions, 6 deletions
diff --git a/extra/linux/debian/postinst b/extra/linux/debian/postinst deleted file mode 100644 index 55a6032d..00000000 --- a/extra/linux/debian/postinst +++ /dev/null @@ -1,3 +0,0 @@ -#!/bin/sh -e - -update-alternatives --install /usr/bin/x-terminal-emulator x-terminal-emulator /usr/bin/alacritty 20 diff --git a/extra/linux/debian/prerm b/extra/linux/debian/prerm deleted file mode 100644 index 61427c04..00000000 --- a/extra/linux/debian/prerm +++ /dev/null @@ -1,3 +0,0 @@ -#!/bin/sh -e - -update-alternatives --remove x-terminal-emulator /usr/bin/alacritty |