NixOSConfig/devices/E01/configuration.nix at f1d26ec1fba029f590d27f47a7726e3f0c6fef8f · Supermarcel10/NixOSConfig · GitHub

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
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
{ config, pkgs, ... }:

{
  imports =
    [
      ./hardware-configuration.nix

			./../shared/locale.nix
			./../shared/networking.nix
    ];

  boot.kernelPackages = pkgs.linuxPackages-rt_latest;
  boot.loader.systemd-boot.enable = true;
  boot.loader.efi.canTouchEfiVariables = true;

	# Configure hostname
	networking.hostName = "E01";

  # Configure keymap in X11
  services.xserver.xkb = {
    layout = "pl";
    variant = "";
  };

  # Configure console keymap
  console.keyMap = "pl2";

  users.users.marcel = {
    isNormalUser = true;
    description = "marcel";
    extraGroups = [ "networkmanager" "wheel" ];
  };

	security.sudo.extraConfig = ''
		Defaults                timestamp_timeout=30
		Defaults                passwd_tries=3
		Defaults                insults
	'';

	environment.systemPackages = with pkgs; [
		neovim
		wget
		btop
		tree
		killall
		git

		rustup
		cargo
		mold # Drop in replacement for LLVM lld linkers
		gcc
		clang
		cmake

		# SMT Solvers
		bitwuzla
		cvc5
		yices
		z3
		boolector
		stp
	];

	environment.variables = {
		RUSTFLAGS = "-C link-arg=-fuse-ld=mold";
		CARGO_BUILD_TARGET = "x86_64-unknown-linux-gnu";
	};

  # Open ports in the firewall.
  # networking.firewall.allowedTCPPorts = [ ... ];
  # networking.firewall.allowedUDPPorts = [ ... ];
  # networking.firewall.enable = false;

  services.openssh = {
    enable = true;
  };

	# DO NOT CHANGE STATE WITHOUT READING DOCS!
  system.stateVersion = "24.11";
}