Stefano Stevie Mioli wrote:
Già, è proprio quello lo svantaggio (che mi sono dimenticato di scrivere, grazie di avermi corretto! ;)). Se cambia /etc/apt/sources.list deve per forza fare apt-get update per rilevare i pacchetti nuovi, altrimenti non può installare. Però capisci bene che se proprio vuole l'immagine del kernel come pacchetto .deb, non credo proprio che ci siano alternative di nessun genere (magari misbaglio).
Basta scaricare i deb dal sito debian e poi dpkg -i nomedeb.deb In questo modo non devi modificare proprio nulla. Ciao Michele Orsenigo