From 73c7f0c48d32ab5dc4b50e14e875306f4ddb6545 Mon Sep 17 00:00:00 2001 From: Christian Duerr Date: Tue, 12 May 2020 15:18:37 +0000 Subject: Remove prebuilt linux binaries Fixes #3628. --- extra/linux/debian/postinst | 3 --- extra/linux/debian/prerm | 3 --- 2 files changed, 6 deletions(-) delete mode 100644 extra/linux/debian/postinst delete mode 100644 extra/linux/debian/prerm (limited to 'extra/linux') 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 -- cgit