tvl-depot/nixos/socrates/rebuild.nix

{ pkgs, ... }:

pkgs.writeShellScriptBin "rebuild" ''
  set -ue
  sudo nixos-rebuild \
    -I nixos-config=/home/wpcarro/briefcase/nixos/socrates/default.nix \
    -I nixpkgs=/home/wpcarro/nixpkgs \
    -I depot=/home/wpcarro/depot \
    -I briefcase=/home/wpcarro/briefcase \
    switch
''
Nest configuration beneath socrates directory Create a socrates directory to store configuration for socrates. 2020-02-23 23:28:02 +01:00			`{ pkgs, ... }:`
Incorporate NixOS configuration TL;DR: - Move /etc/nixos/configuration.nix -> //nixos/configuration.nix - Move /etc/nixos/hardware-configuration.nix -> //nixos/harware.nix - Document installer.nix - Create rebuild.nix wrapper around `sudo nixos-rebuild switch` Previously I sketched ideas for the configuration.nix for socrates -- also known as flattop -- the inexpensive Acer laptop residing in my flat and stored that configuration.nix file in briefcase. Now, however, I have successfully installed NixOS onto socrates. By default NixOS saves the configuration.nix and hardware-configuration.nix files to /etc/nixos/. I'm moving both of these files into briefcase. Because the command `nixos-rebuild` looks for the NixOS configuration file in /etc/nixos, I wrote rebuild.nix, which creates a program to call `nixos-rebuild` with the new location of my configuration.nix. 2020-02-22 19:44:44 +01:00
			`pkgs.writeShellScriptBin "rebuild" ''`
			`set -ue`
			`sudo nixos-rebuild \`
Nest configuration beneath socrates directory Create a socrates directory to store configuration for socrates. 2020-02-23 23:28:02 +01:00			`-I nixos-config=/home/wpcarro/briefcase/nixos/socrates/default.nix \`
Incorporate NixOS configuration TL;DR: - Move /etc/nixos/configuration.nix -> //nixos/configuration.nix - Move /etc/nixos/hardware-configuration.nix -> //nixos/harware.nix - Document installer.nix - Create rebuild.nix wrapper around `sudo nixos-rebuild switch` Previously I sketched ideas for the configuration.nix for socrates -- also known as flattop -- the inexpensive Acer laptop residing in my flat and stored that configuration.nix file in briefcase. Now, however, I have successfully installed NixOS onto socrates. By default NixOS saves the configuration.nix and hardware-configuration.nix files to /etc/nixos/. I'm moving both of these files into briefcase. Because the command `nixos-rebuild` looks for the NixOS configuration file in /etc/nixos, I wrote rebuild.nix, which creates a program to call `nixos-rebuild` with the new location of my configuration.nix. 2020-02-22 19:44:44 +01:00			`-I nixpkgs=/home/wpcarro/nixpkgs \`
Expose depot and briefcase to rebuild script At the moment, I don't think nixos-rebuild is reading $NIX_PATH, which appropriately sets the paths for depot and briefcase. I'm going to explicitly expose these values in the rebuild script for now. 2020-02-23 21:08:19 +01:00			`-I depot=/home/wpcarro/depot \`
			`-I briefcase=/home/wpcarro/briefcase \`
Incorporate NixOS configuration TL;DR: - Move /etc/nixos/configuration.nix -> //nixos/configuration.nix - Move /etc/nixos/hardware-configuration.nix -> //nixos/harware.nix - Document installer.nix - Create rebuild.nix wrapper around `sudo nixos-rebuild switch` Previously I sketched ideas for the configuration.nix for socrates -- also known as flattop -- the inexpensive Acer laptop residing in my flat and stored that configuration.nix file in briefcase. Now, however, I have successfully installed NixOS onto socrates. By default NixOS saves the configuration.nix and hardware-configuration.nix files to /etc/nixos/. I'm moving both of these files into briefcase. Because the command `nixos-rebuild` looks for the NixOS configuration file in /etc/nixos, I wrote rebuild.nix, which creates a program to call `nixos-rebuild` with the new location of my configuration.nix. 2020-02-22 19:44:44 +01:00			`switch`
			`''`