per aggiornare il kernel in debian mi tocca smpre usare synaptic perchè non riesco a fare le query a riga di comando sul db dei pacchetti con apt-get. non sono riuscito a trovare l'opzione ne quantaltro mi sapete aiutare? grazie in anticipo