|
本帖最后由 blank007 于 2023-11-1 10:09 编辑
请问各位: grub4dos 的 is64bit 怎么用?
我想实现以下功能:
grub4dos 在 bios 下,如果判断是 64 位的,则 configfile /menux64.txt。否则, configfile /menux86.txt
仿C语言的 伪代码:
if (true==is64bit())
configfile /menux64.txt;
else
configfile /menux86.txt;
现在,不知道如何获取、使用 is64bit 的返回值。
请各位大侠赐教
翻阅本坛资料,已经完美解决。代码如下:
clear
checkrange 2:3 is64bit && set BIOS=64
checkrange 0:1 is64bit && set BIOS=32
clear
if %BIOS%==64 configfile /EFI/Grub/BIOS/Menux64.txt
if %BIOS%==32 configfile /EFI/Grub/BIOS/Menux86.txt
多谢各位大神
|
|