Il 18/06/2017 17:47, Gianluca Boero ha scritto: > E' previsto un avanzamento di distribuzione tramite terminale? Sì, da terminale il modo che ho sempre usato io è: 1) modificare /etc/apt/sources.list sostituendo il nome della release installata con il nome della nuova (quindi, in questo caso, sostituendo jessie con stretch) 2) apt-get dist-upgrade