C'è differenza fra digitare da terminale apt-get -f dist-upgrade
e aggiornare tutti i pacchetti disponibili marcati da synaptic?