I tested those commands before posting them, and they just worked fine. It looks that the GRUB configuration was not refreshed after the older kernels was removed from the system. In the future, you can use the following command after fiddling with your Linux kernel:

sudo update-grub

If you want, I can post here the instructions on how to chroot into your system using your Trisquel formatted USB key. It's just a matter of some commands...

Reply via email to