diff options
author | Kevin Fenzi <kevin@scrye.com> | 2015-10-30 18:29:09 +0000 |
---|---|---|
committer | Kevin Fenzi <kevin@scrye.com> | 2015-10-30 18:29:09 +0000 |
commit | 940cdcc18f0efaf8b85172a1df56a5ba923fc6be (patch) | |
tree | dcfabe4bdf315f2416018137d7a9591fddce63c8 | |
parent | 144655961277972045ff75cdf880562d4f69cc88 (diff) | |
download | ansible-940cdcc18f0efaf8b85172a1df56a5ba923fc6be.tar.gz ansible-940cdcc18f0efaf8b85172a1df56a5ba923fc6be.tar.xz ansible-940cdcc18f0efaf8b85172a1df56a5ba923fc6be.zip |
Additional changes for developer needed.
-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 |