11 lines
383 B
Plaintext
11 lines
383 B
Plaintext
|
# If you change this file, run 'update-grub' afterwards to update
|
||
|
|
# /boot/grub/grub.cfg.
|
||
|
|
# For full documentation of the options in this file, see:
|
||
|
|
# info -f grub -n 'Simple configuration'
|
||
|
|
|
||
|
|
GRUB_DEFAULT=0
|
||
|
|
GRUB_TIMEOUT=5
|
||
|
|
GRUB_DISTRIBUTOR=`lsb_release -i -s 2> /dev/null || echo Debian`
|
||
|
|
GRUB_CMDLINE_LINUX_DEFAULT="quiet splash fsck.mode=force fsck.repair=yes"
|
||
|
|
GRUB_CMDLINE_LINUX=""
|