如何让 GRUB 在标签组件中显示环境变量？

Question

因此，我一直在尝试让当前日期和时间显示在启动菜单上，但没有成功。

我读这里加载datehook模块会有所帮助，因为它为星期几、月份、年份等添加了几个新变量。

这是我尝试过的：

+ label {
    id = "time"
    text = "$hour : $minute : $second"
    color = #ffffff
}

这里的问题是，引号使得它不将 视为$运算符。但同时，如果我不将其括在引号中，它会抛出一个错误！

+ label {
    id = "time"
    text = "@HOUR@ : @MINUTE@ : @SECOND@"
    color = #ffffff
    }

我尝试了这个，因为我认为既然其他 GRUB 变量也使用这种语法，并且可以毫无障碍地打印它们的值（例如@KEYMAP_SHORT@），那么它会起到相同的作用。