After running the last command, 'sudo update-grub', I get this output:
sudo: unable to resolve host trisquel/usr/sbin/grub-mkconfig: 37: /usr/share/grub/grub-mkconfig_lib: cannot create /dev/null: Permission denied
/usr/sbin/grub-probe: error: cannot find a device for / (is /dev mounted?).
