2019-12-10 14:34:13 +00:00
|
|
|
# Configuration for a Lenovo x201
|
|
|
|
|
|
|
|
{ config, pkgs, ... }:
|
|
|
|
|
|
|
|
{
|
|
|
|
imports =
|
|
|
|
[
|
|
|
|
../hardware/lenovo_x201.nix
|
|
|
|
../roles/desktop_common.nix
|
2020-03-25 07:31:03 +00:00
|
|
|
../roles/haskell-dev.nix
|
2020-03-25 08:07:51 +00:00
|
|
|
../roles/kids-dev.nix
|
2019-12-10 14:34:13 +00:00
|
|
|
];
|
|
|
|
|
|
|
|
# Use the GRUB 2 boot loader.
|
|
|
|
boot.loader.grub.enable = true;
|
|
|
|
boot.loader.grub.version = 2;
|
|
|
|
boot.loader.grub.device = "/dev/sda";
|
|
|
|
|
|
|
|
deployment.targetHost = "10.69.0.141";
|
2019-12-17 01:00:04 +00:00
|
|
|
networking.hostName = "teintidh"; # Define your hostname.
|
2019-12-10 14:34:13 +00:00
|
|
|
|
|
|
|
nix.nixPath = [
|
2020-04-25 09:11:41 +00:00
|
|
|
"nixpkgs=https://nixos.org/channels/nixos-20.03/nixexprs.tar.xz"
|
2019-12-10 14:34:13 +00:00
|
|
|
];
|
|
|
|
|
|
|
|
system.stateVersion = "18.09"; # The version of NixOS originally installed
|
|
|
|
|
|
|
|
}
|