Things on this page are fragmentary and immature notes/thoughts of the author. Please read with your own judgement!

1. Open the file /etc/default/grub with sudo permission.

   sudo vim /etc/default/grub
   

2. Update the value assigned to GRUB_TIMEOUT to a smaller one (e.g., 3). Notice that the time …

Things on this page are fragmentary and immature notes/thoughts of the author. Please read with your own judgement!

Mount the Windows File System

When you dual boot your machine with Linux (e.g., Ubuntu) and Windows, the Windows disk/partition might not be mounted automatically. In that case, you …