Skip to content
Snippets Groups Projects
Commit a26d71f5 authored by Elias Chetouane's avatar Elias Chetouane
Browse files

Changement pour la création du dossier pour le git clone.

parent fb55d0fa
No related branches found
No related tags found
No related merge requests found
...@@ -31,7 +31,7 @@ actualisation_dois: ...@@ -31,7 +31,7 @@ actualisation_dois:
# création d'un espace accueillant le clone du repo du site web, et tests au cas où l'espace existe déjà # création d'un espace accueillant le clone du repo du site web, et tests au cas où l'espace existe déjà
- cd .. - cd ..
- if ! [ -d "cloned_repo" ]; then mkdir ../cloned_repo; fi - if ! [ -d "cloned_repo" ]; then mkdir cloned_repo; fi
- if [ -d "cloned_repo/${PATH_TO_PUSH}" ]; then cd cloned_repo/${PATH_TO_PUSH}; git pull; else cd cloned_repo; git clone ${LINK_TO_CLONE}; fi - if [ -d "cloned_repo/${PATH_TO_PUSH}" ]; then cd cloned_repo/${PATH_TO_PUSH}; git pull; else cd cloned_repo; git clone ${LINK_TO_CLONE}; fi
- cd - - cd -
# copier le fichier "nb-dois.txt" pour commit dans le repo du site web # copier le fichier "nb-dois.txt" pour commit dans le repo du site web
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment