I don't think that I've seen this before, but in the system menu I found the entrance 'root-terminal' which solved the problem, i.e. let me update GRUB. Thanks

Reply via email to