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
-
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