{ config, ... }; { boot.loader.grub.device = "/dev/sda"; networking.hostName = "nixT14s"; }