grub-{bios-setup,editenv,file,install}: add Spanish translation

pages.es/linux/grub-bios-setup.md

@@ -0,0 +1,17 @@
+# grub-bios-setup
+
+> Configura un dispositivo para usar GRUB con una configuración BIOS.
+> Se debe usar `grub-install` en lugar de `grub-bios-setup` en la mayoría de los casos.
+> Más información: <https://manned.org/grub-bios-setup.8>.
+
+- Configura un dispositivo para arrancar con GRUB:
+
+`grub-bios-setup {{/dev/sdX}}`
+
+- Instala incluso si se detectan problemas:
+
+`grub-bios-setup {{[-f|--force]}} {{/dev/sdX}}`
+
+- Instala GRUB en un directorio específico:
+
+`grub-bios-setup {{[-d|--directory]}} {{/boot/grub}} {{/dev/sdX}}`

pages.es/linux/grub-editenv.md

@@ -0,0 +1,16 @@
+# grub-editenv
+
+> Edita las variables de entorno de GRUB.
+> Más información: <https://www.gnu.org/software/grub/manual/grub/grub.html>.
+
+- Establece una entrada de arranque por defecto (asumiendo que la entrada de arranque ya existe):
+
+`grub-editenv /boot/grub/grubenv set default={{Ubuntu}}`
+
+- Muestra todas las variables de entorno de GRUB:
+
+`grub-editenv /boot/grub/grubenv list`
+
+- Restablece la variable `saved_entry` al valor por defecto:
+
+`grub-editenv /boot/grub/grubenv unset saved_entry`

pages.es/linux/grub-file.md

@@ -0,0 +1,28 @@
+# grub-file
+
+> Verifica si un archivo es de un tipo de imagen arrancable.
+> Más información: <https://manned.org/grub-file>.
+
+- Verifica si un archivo es una imagen ARM EFI:
+
+`grub-file --is-arm-efi {{ruta/al/archivo}}`
+
+- Verifica si un archivo es una imagen i386 EFI:
+
+`grub-file --is-i386-efi {{ruta/al/archivo}}`
+
+- Verifica si un archivo es una imagen x86_64 EFI:
+
+`grub-file --is-x86_64-efi {{ruta/al/archivo}}`
+
+- Verifica si un archivo es una imagen ARM (kernel de Linux):
+
+`grub-file --is-arm-linux {{ruta/al/archivo}}`
+
+- Verifica si un archivo es una imagen x86 (kernel de Linux):
+
+`grub-file --is-x86-linux {{ruta/al/archivo}}`
+
+- Verifica si un archivo es una imagen x86_64 XNU (kernel de macOS):
+
+`grub-file --is-x86_64-xnu {{ruta/al/archivo}}`

pages.es/linux/grub-install.md

@@ -0,0 +1,28 @@
+# grub-install
+
+> Instala GRUB en un dispositivo.
+> Más información: <https://www.gnu.org/software/grub/manual/grub/grub.html#Installing-GRUB-using-grub_002dinstall>.
+
+- Instala GRUB en un sistema BIOS:
+
+`sudo grub-install {{ruta/al/dispositivo}}`
+
+- Instala GRUB en un sistema BIOS especificando la arquitectura:
+
+`sudo grub-install --target {{i386-pc}} {{ruta/al/dispositivo}}`
+
+- Instala GRUB en un sistema UEFI:
+
+`sudo grub-install --efi-directory {{ruta/al/directorio_efi}}`
+
+- Instala GRUB en un sistema UEFI especificando la arquitectura y el texto del menú de arranque:
+
+`sudo grub-install --target {{x86_64-efi}} --efi-directory {{ruta/al/directorio_efi}} --bootloader-id {{GRUB}}`
+
+- Instala GRUB precargando módulos específicos:
+
+`sudo grub-install --target {{x86_64-efi}} --efi-directory {{ruta/al/directorio_efi}} --modules "{{part_gpt part_msdos}}"`
+
+- Muestra la ayuda:
+
+`grub-install {{[-?|--help]}}`