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, 28 insertions, 0 deletions
diff --git a/i18n/fr_FR/resources/grub/config/extra/common.cfg b/i18n/fr_FR/resources/grub/config/extra/common.cfg new file mode 100644 index 00000000..1d3ddcc7 --- /dev/null +++ b/i18n/fr_FR/resources/grub/config/extra/common.cfg @@ -0,0 +1,28 @@ +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 |