I have a dual-boot system (Windows10+Ubuntu18.04). Sometimes I get the prompt >grub instead of the grub menu. When I enter the command - 6961780