diff options
Diffstat (limited to 'ci')
| -rw-r--r-- | ci/scripts/build-socrates.sh | 10 |
1 files changed, 4 insertions, 6 deletions
diff --git a/ci/scripts/build-socrates.sh b/ci/scripts/build-socrates.sh index f89b9e657501..f62f97e89951 100644 --- a/ci/scripts/build-socrates.sh +++ b/ci/scripts/build-socrates.sh @@ -1,8 +1,6 @@ set -euo pipefail -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 +nix-build /home/wpcarro/nixpkgs/nixos \ + -I nixos-config=/home/wpcarro/briefcase/nixos/socrates/default.nix \ + -A system \ + --show-trace |