blob: 197007abe29df721f670d866bc923b105e5fb5af (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
|
{ config, pkgs, ... }:
# TODO(wpcarro): Refactor to prefer nested attribute for configuration values
# instead of using one-liner field accessors.
{
imports = [
./hardware-configuration.nix
];
# TODO(wpcarro): Is this correct? I believe my laptop only supports BIOS and
# not UEFI.
boot.loader.grub.device = "/dev/sda";
networking.hostName = "socrates";
networking.wireless.enable = true;
# Don't remove this.
networking.useDHCP = false;
networking.interfaces.enp2s0f1.useDHCP = true;
networking.interfaces.wlp3s0.useDHCP = true;
time.timeZone = "UTC";
environment.systemPackages = with pkgs; [
emacs
];
services.openssh.enable = true;
users.users.wpcarro = {
isNormalUser = true;
extraGroups = [ "wheel" ];
};
system.stateVersion = "20.09";
}
|