diff options
author | Boss Marco <bossm8@bfh.ch> | 2022-05-21 16:32:39 +0200 |
---|---|---|
committer | Boss Marco <bossm8@bfh.ch> | 2022-05-21 16:32:39 +0200 |
commit | be57fcf1d9698ea3ca0d7f95796dfd7b5bddc1af (patch) | |
tree | 99913f92f7b518760ca7d1d2eaad8190cb005c2b | |
parent | cfaa7fc4d3c22782bff3ad96f40186224105ddf8 (diff) | |
download | grid5k-be57fcf1d9698ea3ca0d7f95796dfd7b5bddc1af.tar.gz grid5k-be57fcf1d9698ea3ca0d7f95796dfd7b5bddc1af.tar.bz2 grid5k-be57fcf1d9698ea3ca0d7f95796dfd7b5bddc1af.zip |
fix update of g5k repo
-rw-r--r-- | experiment/scripts/setup.sh | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/experiment/scripts/setup.sh b/experiment/scripts/setup.sh index 762baf5..724b9e9 100644 --- a/experiment/scripts/setup.sh +++ b/experiment/scripts/setup.sh @@ -129,7 +129,12 @@ function setup_environment() { # Setup shared configurations such as the ones from configs/* function setup_config() { # Temporarily checkout to the feature branch - cd "${G5K_HOME}" && git checkout "${G5K_COMMIT_SHA}" && git pull && cd + cd "${G5K_HOME}" + + git pull + git checkout "${G5K_COMMIT_SHA}" + + cd # Remove default nginx config rm /etc/nginx/sites-enabled/default > /dev/null 2>&1 || true |