From 9a6d2c3343984103723990a574dbe651c992c06e Mon Sep 17 00:00:00 2001
From: William Carroll <wpcarro@gmail.com>
Date: Sun, 16 Aug 2020 18:17:58 +0100
Subject: [PATCH] Debug $USER in build-socrates.sh

Attempting to see what $USER the buildkite-agent is when it runs.
---
 ci/scripts/build-socrates.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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