Skip to content
Snippets Groups Projects
Commit 9050ef74 authored by Jörg Sachse's avatar Jörg Sachse
Browse files

fix: remove MediaConch repo directory before cloning a fresh copy to avoid...

fix: remove MediaConch repo directory before cloning a fresh copy to avoid errors from ansible.builtin.git
parent 98391800
No related branches found
No related tags found
No related merge requests found
......@@ -23,6 +23,11 @@
( not mediaconch_stat.stat.islnk ) or
( mediaconch_stat.stat.isreg )
- name: remove existing MediaConch-Profile repo directory (otherwise, we can't clone it in the next task -.-)
file:
path: "/tmp/mediaconch-profile/"
state: absent
- name: checkout MediaConch-Profile repo
git:
repo: "https://git.slub-dresden.de/digital-preservation/mediaconch-profile.git"
......@@ -41,8 +46,3 @@
owner: "{{ vault_rosetta_user }}"
group: "{{ vault_rosetta_group }}"
mode: 0644
- name: cleanup MediaConch build directory
file:
path: "/tmp/mediaconch-profile/build/"
state: absent
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment