The package jedit needs to be reinstalled, but I can't find an archive for it

Puo' capitare, installando un pacchetto deb, di ricevere questo simpatico errore

The package NOME_PACCHETTO needs to be reinstalled, but I can't find an archive for it

Il brutto e' che dopo averlo ricevuto non riuscirete piu' a installare/rimuovere alcun pacchetto.

Per sbloccare la situazione potete lanciare il comando seguente:

dpkg --remove --force-remove-reinstreq NOME_PACCHETTO

Creare un pacchetto .deb partendo dai sorgenti.

Dovete installare il pacchetto checkinstall:

sudo apt-get install checkinstall

Poi vi spostate nella directory contenente i sorgenti da installare.

cd DIRECTORY_SORGENTI
./configure
make

Normalmente concludereste l'installazione con il comando:

make install

Questa volta invece usiamo il comando:

sudo checkinstall

Confermate pure tutti i default proposti, verra' creato e installato il pacchetto deb con i binari compilati.

ATTENZIONE!!!!

N.B.: il pacchetto creato non si preoccupa di controllare le dipendenze, quindi non puo' essere usato per la distribuzione pubblica in repository e altro. E' piu' che altro adatto per il vostro sistema o per piu' sistemi allineati tra loro.