This website requires JavaScript.
Explore
Help
Register
Sign In
mdebray
/
tvl-depot
Watch
1
Star
0
Fork
You've already forked tvl-depot
0
Code
Issues
Pull requests
Projects
Releases
Packages
Wiki
Activity
Actions
9a6d2c3343
tvl-depot
/
ci
/
scripts
/
build-socrates.sh
7 lines
79 B
Bash
Raw
Normal View
History
Unescape
Escape
Debug build-socrates.sh - using `set -euo pipefail` for setting recommended failure-modes - using `set -x` and `echo "$PATH"` to debug my failing build Sidenote: I find BuildKite's documentation quite helpful!
2020-08-16 18:38:14 +02:00
set
-euo pipefail
set
-x
Debug $USER in build-socrates.sh Attempting to see what $USER the buildkite-agent is when it runs.
2020-08-16 19:17:58 +02:00
echo
"
$USER
"
Attempt to build Socrates using BuildKite Let's see what happens...
2020-08-16 16:42:16 +02:00
/home/wpcarro/.nix-profile/bin/rebuild
Reference in a new issue
Copy permalink