From 8f739ae7f255277c49cb14c3d3e558c265ffe9eb Mon Sep 17 00:00:00 2001 From: Emiliano Vavassori Date: Tue, 1 Feb 2022 23:01:43 +0100 Subject: [PATCH] Correzione installer pinmanager per rimozione file desktop alla disinstallazione. --- bit4id-pinmanager-bin.install | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/bit4id-pinmanager-bin.install b/bit4id-pinmanager-bin.install index 36ddc2e..07dcf32 100644 --- a/bit4id-pinmanager-bin.install +++ b/bit4id-pinmanager-bin.install @@ -1,3 +1,7 @@ post_install() { ln -sf /opt/pinmanager/bit4pin.desktop /usr/share/applications/bit4pin.desktop } + +pre_remove() { + rm -f /usr/share/applications/bit4pin.desktop +}