diff options
| author | William Carroll <wpcarro@gmail.com> | 2020-08-16T19·45+0100 |
|---|---|---|
| committer | William Carroll <wpcarro@gmail.com> | 2020-08-20T10·26+0100 |
| commit | 51cdb872237c86f33a14a845f62a6ee5f267bed6 (patch) | |
| tree | 93f6ce17c4d3e5b56ce6de6edf1070d2c7c36d4a /ci | |
| parent | 0a0b09c714f9bae0c829e820108943a43549f7e4 (diff) | |
Prefer nixos-rebuild to the rebuild script
The rebuild script calls sudo, which I won't need as I test running buildkite-agent prefixed with `sudo` or as the root user.
Diffstat (limited to 'ci')
| -rw-r--r-- | ci/scripts/build-socrates.sh | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/ci/scripts/build-socrates.sh b/ci/scripts/build-socrates.sh index b6413e9abe77..f89b9e657501 100644 --- a/ci/scripts/build-socrates.sh +++ b/ci/scripts/build-socrates.sh @@ -1,6 +1,8 @@ set -euo pipefail -set -x -echo "$USER" - -/home/wpcarro/.nix-profile/bin/rebuild +nixos-rebuild \ + -I nixos-config=/home/wpcarro/briefcase/nixos/socrates/configuration.nix \ + -I nixpkgs=/home/wpcarro/nixpkgs \ + -I depot=/home/wpcarro/depot \ + -I briefcase=/home/wpcarro/briefcase \ + switch |