diff options
| author | William Carroll <wpcarro@gmail.com> | 2020-08-16T17·17+0100 |
|---|---|---|
| committer | William Carroll <wpcarro@gmail.com> | 2020-08-20T10·26+0100 |
| commit | 9a6d2c3343984103723990a574dbe651c992c06e (patch) | |
| tree | 91cd2edd87693a12921dde38e0a56396941650a0 | |
| parent | d56b2210cd9fcef0ce6fd1d0f47f5fae6a9b75e2 (diff) | |
Debug $USER in build-socrates.sh
Attempting to see what $USER the buildkite-agent is when it runs.
| -rw-r--r-- | ci/scripts/build-socrates.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ci/scripts/build-socrates.sh b/ci/scripts/build-socrates.sh index 93b3b49a64a6..b6413e9abe77 100644 --- a/ci/scripts/build-socrates.sh +++ b/ci/scripts/build-socrates.sh @@ -1,6 +1,6 @@ set -euo pipefail set -x -echo "$PATH" +echo "$USER" /home/wpcarro/.nix-profile/bin/rebuild |