| Current Path : /usr/share/webmin/grub/ |
| Current File : //usr/share/webmin/grub/config.info |
line1=Configurable options,11 install=Install GRUB on disk/partition,0 line2=System configuration,11 menu_file=GRUB menu configuration file,0 grub_path=Path to grub executable,0 device_map=File for device name mappings,3,Get from GRUB