| Current Path : /usr/share/webmin/grub/ |
| Current File : //usr/share/webmin/grub/config.info.es |
line1=Opciones Configurables,11 install=Instalar GRUB en disco/partición,0 line2=Configuración del sistema,11 menu_file=Archivo de configuración de menú GRUB,0 grub_path=Trayectoria a ejecutable grub,0 device_map=Archivo para mapeos de nombre de dispositivo,3,Tomar de GRUB