2020-02-23 23:28:02 +01:00
|
|
|
{ pkgs, ... }:
|
2020-02-22 19:44:44 +01:00
|
|
|
|
|
|
|
pkgs.writeShellScriptBin "rebuild" ''
|
|
|
|
set -ue
|
|
|
|
sudo nixos-rebuild \
|
2020-03-07 16:23:11 +01:00
|
|
|
-I nixos-config=/home/wpcarro/briefcase/nixos/socrates/configuration.nix \
|
2020-02-22 19:44:44 +01:00
|
|
|
-I nixpkgs=/home/wpcarro/nixpkgs \
|
2020-02-23 21:08:19 +01:00
|
|
|
-I depot=/home/wpcarro/depot \
|
|
|
|
-I briefcase=/home/wpcarro/briefcase \
|
2020-02-22 19:44:44 +01:00
|
|
|
switch
|
|
|
|
''
|