bit4id-tools-bin/bit4id-pinmanager-bin.install

post_install() {
  ln -sf /opt/pinmanager/bit4pin.desktop /usr/share/applications/bit4pin.desktop
}

pre_remove() {
  rm -f /usr/share/applications/bit4pin.desktop
}
Aggiunta file dello split package. 2022-02-01 22:27:21 +01:00			`post_install() {`
			`ln -sf /opt/pinmanager/bit4pin.desktop /usr/share/applications/bit4pin.desktop`
			`}`
Correzione installer pinmanager per rimozione file desktop alla disinstallazione. 2022-02-01 23:01:43 +01:00
			`pre_remove() {`
			`rm -f /usr/share/applications/bit4pin.desktop`
			`}`