Disko模块化配置中GRUB重复设备问题的分析与解决

问题背景

在使用Disko作为NixOS系统配置模块时，用户遇到了一个关于GRUB引导加载器的配置问题。具体表现为系统构建时出现"Failed assertions: - You cannot have duplicated devices in mirroredBoots"的错误提示。这个问题特别出现在使用传统BIOS启动的VirtualBox虚拟机环境中，而使用EFI启动的类似配置则不会出现此问题。

问题分析

通过深入分析，我们发现问题的根源在于Disko模块与GRUB配置的交互方式。当Disko作为模块集成到系统配置中时，它会自动处理磁盘分区和挂载点的配置。在这个过程中，Disko会设置boot.loader.grub.mirroredBoots属性，而该属性包含了重复的设备路径。

具体表现为：

• mirroredBoots.devices数组包含了两个相同的设备路径"/dev/sda"
• 这种重复配置触发了NixOS的断言检查，导致构建失败

技术细节

在传统BIOS启动模式下，GRUB需要知道安装引导加载器的设备位置。Disko模块尝试自动配置这些信息，但可能与用户原有的GRUB配置产生冲突。特别是当用户同时设置了boot.loader.grub.device和Disko配置时，容易出现重复定义的问题。

解决方案

经过验证，最简洁有效的解决方案是：

1. 移除显式的boot.loader.grub.device配置
2. 仅保留基本的GRUB启用设置：boot.loader.grub.enable = true;
3. 让Disko模块完全接管磁盘和引导相关的配置

这种做法的优势在于：

• 避免了手动配置与自动配置的冲突
• 保持了配置的简洁性
• 确保Disko能够正确管理整个磁盘布局和引导设置

经验总结

这个案例揭示了在使用Disko模块时需要注意的几个要点：

1. 配置优先级：当使用Disko这类自动化工具时，应该尽量减少手动的、可能产生冲突的配置项
2. 启动模式差异：BIOS和EFI启动模式下的配置要求不同，需要特别注意传统BIOS模式下的GRUB配置
3. 调试技巧：使用Nix REPL的:p命令可以深入查看配置属性的实际值，是排查类似问题的有效手段

对于从传统配置迁移到Disko模块的用户，建议采用渐进式的方法：

1. 先确保基础磁盘配置工作正常
2. 逐步移除冗余的手动配置
3. 充分利用Disko提供的自动化功能

通过这种方式，可以避免配置冲突，同时充分发挥Disko在磁盘管理方面的优势。