[Trisquel-users] Re : Boot Trisquel on computers without PAE

[magicbanana]

The second 'dist-upgrade' probably claimed that you system was up to date  
because you did not revert /etc/apt/sources.list. You then only need to 'sudo  
apt-get upgrade'.