Ubuntu
linux package

  1. Bug #194816
  2. Comment #43

Comment 43 for bug 194816

Revision history for this message
Sylvain Pasche (sylvain-pasche) wrote :

That's a Grub option you can set on boot. See https://help.ubuntu.com/community/BootOptions for explanations