Commit 3ee067fe3a900253e74ea7b98bf5809f790c89ff
1 parent
e8387035
Exists in
dev
remove double git clone / pull of guitastro for update
Showing
1 changed file
with
1 additions
and
1 deletions
Show diff stats
pyros.py
| ... | ... | @@ -657,7 +657,7 @@ def install_or_update(UPDATE: bool = False, with_packages: bool = True, with_dat |
| 657 | 657 | cloned_repo = Repo.clone_from( |
| 658 | 658 | "https://gitlab.irap.omp.eu/guitastrolib/guitastro.git", GUITASTRO_PATH) |
| 659 | 659 | print("Cloned successfully: ", cloned_repo.__class__ is Repo) |
| 660 | - if UPDATE and os.path.exists(GUITASTRO_PATH): | |
| 660 | + if UPDATE and os.path.exists(GUITASTRO_PATH) and and not WITH_DOCKER: | |
| 661 | 661 | gitpull_guitastro() |
| 662 | 662 | change_dir("PREVIOUS") |
| 663 | 663 | # 2) install/update requirements & generate API doc | ... | ... |