linux下用于配置grub的工。