Skip to content
Snippets Groups Projects
Commit ae94c536 authored by Tobias Stein's avatar Tobias Stein
Browse files

Removed pull from git script to avoid pull conflicts

parent f55273aa
No related branches found
No related tags found
No related merge requests found
......@@ -27,7 +27,7 @@
- python3-venv
roles:
- git-clone-or-pull
- git-clone
- jupyter-lab
- ml-python-packages
- misc-applications
......@@ -7,10 +7,9 @@ CLONE_DIRECTORY="$HOME/notebooks"
mkdir -p $CLONE_DIRECTORY
cd $CLONE_DIRECTORY
if test -d "$DIRECTORY_NAME"; then
# directory already exists. Just pull to update
cd $DIRECTORY_NAME
git pull
# directory already exists.
exit
else
# directory does not exist. Clone the repo
git clone $GIT_URL
git clone $GIT_URL $DIRECTORY_NAME
fi
\ No newline at end of file
---
# roles/git-clone-or-pull
- name: Copy clone-or-pull script to remote fs
- name: Copy clone script to remote fs
copy:
mode: u=rwx,g=rx,o=rx
src: files/clone-or-pull.sh
dest: /tmp/clone-or-pull.sh
src: files/clone.sh
dest: /tmp/clone.sh
- name:
become: true
become_user: "{{ target_user }}"
shell: "bash /tmp/clone-or-pull.sh"
\ No newline at end of file
shell: "bash /tmp/clone.sh"
\ No newline at end of file
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment