grace/dots

dotfiles/nix configs

git clone https://git.gae.moe/grace/dots

Grace Yoderbig changesc1be8e3

main
branchesidkmainvulcanwafrn-testingall refs →
1.2 KiB60 linesraw
1let
2  hosts = {
3    turing = {
4      user = "grace";
5      home = "/Users/grace";
6      system = "aarch64-darwin";
7      type = "darwin";
8    };
9
10    "cs.purdue.edu" = {
11      user = "yoder177";
12      home = "/homes/yoder177";
13      system = "x86_64-linux";
14      type = "home";
15    };
16
17    vulcan = {
18      sshPrincipals = [ "t:dev" ];
19      user = "scie";
20      home = "/home/scie";
21      system = "x86_64-linux";
22      type = "home";
23    };
24
25    dijkstra = {
26      sshPrincipals = [ "t:dev" ];
27      user = "grace";
28      home = "/home/scie";
29      system = "x86_64-linux";
30      type = "nixos";
31    };
32
33    knuth = {
34      sshPrincipals = [ "t:dev" ];
35      user = "grace";
36      home = "/home/scie";
37      system = "x86_64-linux";
38      type = "nixos";
39    };
40
41    portable = {
42      sshPrincipals = [ "t:dev" ];
43      user = "grace";
44      home = "/home/grace";
45      system = "x86_64-linux";
46      type = "nixos";
47    };
48  };
49
50  hostname = builtins.getEnv "NIX_HOST";
51  name =
52    if builtins.match "(.+\\.)?cs\\.purdue\\.edu" hostname != null then
53      "cs.purdue.edu"
54    else
55      builtins.head (builtins.split "\\." hostname);
56in
57(hosts.${name} or (throw "Set NIX_HOST to a host in hosts.nix (got '${hostname}')."))
58// {
59  inherit name;
60}