grace/dots
dotfiles/nix configs
git clone https://git.gae.moe/grace/dots
fdde154
vulcan
1let 2hosts = { 3turing = { 4user = "grace" ; 5home = "/Users/grace" ; 6system = "aarch64-darwin" ; 7type = "darwin" ; 8}; 9 10"cs.purdue.edu" = { 11user = "yoder177" ; 12home = "/homes/yoder177" ; 13system = "x86_64-linux" ; 14type = "home" ; 15}; 16 17vulcan = { 18user = "scie" ; 19home = "/home/scie" ; 20system = "x86_64-linux" ; 21type = "home" ; 22}; 23 24dijkstra = { 25user = "scie" ; 26home = "/home/scie" ; 27system = "x86_64-linux" ; 28type = "home" ; 29}; 30 31knuth = { 32user = "grace" ; 33home = "/home/scie" ; 34system = "x86_64-linux" ; 35type = "nixos" ; 36}; 37}; 38 39hostname = builtins . getEnv "NIX_HOST" ; 40name = 41if builtins . match "(.+\\.)?cs\\.purdue\\.edu" hostname != null then 42"cs.purdue.edu" 43else 44builtins . head ( builtins . split "\\." hostname ); 45in 46( hosts .${ name } or ( throw "Set NIX_HOST to a host in hosts.nix (got ' ${ hostname } ')." )) 47// { inherit name ; }