- Codice: Seleziona tutto
deb [check-valid-until=no] http://snapshot.debian.org/archive/debian/20170118T152611Z/ stretch main
e poi:
- Codice: Seleziona tutto
# apt-get update
Al momento non ho una Debian a portata di mano per cui non so se questa riga è corretta e nemmeno conosco il nome esatto del pacchetto da installare. Puoi ottenerlo con:
- Codice: Seleziona tutto
# apt-get install linux-headers[TAB][TAB]
Dove per [TAB] si intende la pressione del tasto [TAB]

Più tardi potrò essere più preciso.