diff options
| -rwxr-xr-x | bootstrap.sh | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/bootstrap.sh b/bootstrap.sh index e54d75c..7981884 100755 --- a/bootstrap.sh +++ b/bootstrap.sh @@ -1,5 +1,7 @@ #!/bin/bash +set -x + echo "Initializing repo" PKGS=(m4 make git) @@ -57,4 +59,14 @@ EOF cd $HOME/.config/coderv2/dotfiles m4 -P Makefile.m4 > Makefile + +echo "Waiting a bit to ensure any lock file is created" +sleep 5 +LOCK_FILE="$HOME/.startup-script-lock" +while [[ -e "$LOCK_FILE" ]]; do + echo "Waiting for ${LOCK_FILE} to be released" + sleep 5 +done + make + |
