ParentFull threadpopey·Yes, but I would either use Software Updater (update manager) or "sudo apt-get update" followed by "sudo apt-get dist-upgrade" (not upgrade as suggested above). Just a minor nitpick.View on HN