diff options
Diffstat (limited to 'i18n/fr_FR/resources/grub/config/extra/common.cfg')
| -rw-r--r-- | i18n/fr_FR/resources/grub/config/extra/common.cfg | 28 |
1 files changed, 0 insertions, 28 deletions
diff --git a/i18n/fr_FR/resources/grub/config/extra/common.cfg b/i18n/fr_FR/resources/grub/config/extra/common.cfg deleted file mode 100644 index 1d3ddcc7..00000000 --- a/i18n/fr_FR/resources/grub/config/extra/common.cfg +++ /dev/null @@ -1,28 +0,0 @@ -set prefix=(memdisk)/boot/grub - -insmod nativedisk -insmod ehci -insmod ohci -insmod uhci -insmod usb -insmod usbms -insmod usbserial_pl2303 -insmod usbserial_ftdi -insmod usbserial_usbdebug - -# Serial and keyboard configuration, very important. -serial --speed=115200 --unit=0 --word=8 --parity=no --stop=1 -terminal_input --append serial -terminal_output --append serial -terminal_input --append at_keyboard -terminal_output --append cbmemc - -gfxpayload=keep -terminal_output --append gfxterm - -# Default to first option, automatically boot after 1 second -set default="0" -set timeout=1 - -# This is useful when using 'cat' on long files on GRUB terminal -set pager=1 |