diff options
| -rw-r--r-- | roles/developer/build/files/syncDeveloper.sh | 13 | ||||
| -rw-r--r-- | roles/developer/build/tasks/main.yml | 14 |
2 files changed, 20 insertions, 7 deletions
diff --git a/roles/developer/build/files/syncDeveloper.sh b/roles/developer/build/files/syncDeveloper.sh new file mode 100644 index 000000000..f8e7d488b --- /dev/null +++ b/roles/developer/build/files/syncDeveloper.sh @@ -0,0 +1,13 @@ +#!/bin/bash + +if [ ! -d /srv/web/developer.fedoraproject.org/.git ] +then + /usr/bin/git clone -q https://github.com/developer-portal/developer.fedoraproject.org.git /srv/web/developer.fedoraproject.org +fi + +cd /srv/web/developer.fedoraproject.org + +/usr/bin/git clean -q -fdx || exit 1 +/usr/bin/git reset -q --hard || exit 1 +/usr/bin/git checkout -q master || exit 1 +/usr/bin/git pull -q --ff-only || exit 1 diff --git a/roles/developer/build/tasks/main.yml b/roles/developer/build/tasks/main.yml index f54394725..8b995788e 100644 --- a/roles/developer/build/tasks/main.yml +++ b/roles/developer/build/tasks/main.yml @@ -16,13 +16,13 @@ tags: - developer.fedoraproject.org -#- name: Copy syncDeveloper script (prod) -# when: env == "production" -# copy: > -# src=syncDeveloper.sh dest=/usr/local/bin/syncDeveloper owner=root group=root -# mode=0755 -# tags: -# - developer.fedoraproject.org +- name: Copy syncDeveloper script (prod) + when: env == "production" + copy: > + src=syncDeveloper.sh dest=/usr/local/bin/syncDeveloper owner=root group=root + mode=0755 + tags: + - developer.fedoraproject.org - name: install rss.py script copy: src=rss.py dest=/usr/local/bin/rss.py mode=0755 owner=root group=root |