Replies: 1 comment
-
Hi there, it has been tested to work with the method that you mention. But you can also try the preinstalled GRUB Customizer tool. |
Beta Was this translation helpful? Give feedback.
0 replies
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Uh oh!
There was an error while loading. Please reload this page.
-
Hi. How can I edit grub to get a shorter waiting time or to hide grub menu ? I tried to edit /etc/default/grub and then update grub but it doesn't work
Beta Was this translation helpful? Give feedback.
All reactions