Debugging branch switch

datajoint · Jul 11, 2024 · c0a1f78 · c0a1f78
1 parent 3c4bbc3
commit c0a1f78
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/singleuser/config/before_start_hook.sh b/singleuser/config/before_start_hook.sh
@@ -15,7 +15,9 @@ if [[ ! -z "${DJLABHUB_REPO}" ]]; then
   git clone $DJLABHUB_REPO $HOME/$REPO_NAME || echo "WARNING::Failed to clone ${DJLABHUB_REPO}. Continuing..."
   if [[ ! -z "${DJLABHUB_REPO_BRANCH}" ]]; then
     echo "INFO::Switch to branch $DJLABHUB_REPO_BRANCH"
-    git -C $HOME/$REPO_NAME switch $DJLABHUB_REPO_BRANCH
+    git -C $HOME/$REPO_NAME switch $DJLABHUB_REPO_BRANCH || echo "WARNING::Failed to checkout branch ${DJLABHUB_REPO_BRANCH}. Continuing..."
+    ls -lah
+    git branch
   fi
 
   if [[ $DJLABHUB_REPO_INSTALL == "TRUE" ]]; then