From 51cdb872237c86f33a14a845f62a6ee5f267bed6 Mon Sep 17 00:00:00 2001
From: William Carroll <wpcarro@gmail.com>
Date: Sun, 16 Aug 2020 20:45:50 +0100
Subject: [PATCH] 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.
---
 ci/scripts/build-socrates.sh | 10 ++++++----
 1 file changed, 6 insertions(+), 4 deletions(-)

diff --git a/ci/scripts/build-socrates.sh b/ci/scripts/build-socrates.sh
index b6413e9ab..f89b9e657 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