I comandi in questione erano: > sudo apt-get update > sudo apt-get dist-upgrade Scusatemi -- Giorgio Cambri Genova,via oliveto 5/9 "Noi siamo l'istante che divide in due l'eternità"