about summary refs log tree commit diff
path: root/ci
diff options
context:
space:
mode:
authorWilliam Carroll <wpcarro@gmail.com>2020-08-16T19·45+0100
committerWilliam Carroll <wpcarro@gmail.com>2020-08-20T10·26+0100
commit51cdb872237c86f33a14a845f62a6ee5f267bed6 (patch)
tree93f6ce17c4d3e5b56ce6de6edf1070d2c7c36d4a /ci
parent0a0b09c714f9bae0c829e820108943a43549f7e4 (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.sh10
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