Vấn đề được giải quyết bằng cách sửa đổi tham số GRUB_HIDDEN_TIMEOUT
trong /etc/default/grub
tệp (cần phải là siêu người dùng để sửa đổi nó) và (như luôn luôn áp dụng các thay đổi cấu hình được thực hiện trong tệp này) đang chạy sudo update-grub
.
Thay đổi giá trị từ 0 thành một số giá trị dương cho phép vào menu GRUB bằng cách nhấn Shifttrong khi khởi động.
Đối với những người không quen với việc cập nhật cài đặt GRUB của bạn:
- Nhấn Ctrl+ Alt+ Tđể mở thiết bị đầu cuối.
- Chạy đi
gksu gedit /etc/default/grub
.
- Thay đổi
GRUB_HIDDEN_TIMEOUT
dòng như trên, lưu nó và đóng gedit.
- Chạy đi
sudo update-grub
. Bây giờ bạn có thể khởi động lại.
Nếu bạn muốn từ GUI
Để mở thiết bị đầu cuối:
Mở Dash (Super Key) hoặc Ứng dụng và gõ terminal
Đối với phiên bản cũ hơn hoặc Ubuntu:
Ứng dụng -> Phụ kiện -> Thiết bị đầu cuối
Sau đó gõ lệnh gksu gedit /etc/default/grub
và sau đó thay đổi giá trị GRUB_HIDDEN_TIMEOUT
như trên.
Lưu nó và đóng trình soạn thảo.
và chạy sudo update-grub
trong thiết bị đầu cuối.