Dzahn has uploaded a new change for review.

  https://gerrit.wikimedia.org/r/273552

Change subject: add running puppet to the deployment script
......................................................................

add running puppet to the deployment script

Before deploying one has to run puppet and it's easy
to forget. So let this script do the puppet run to make sure.

Change-Id: I9cd2b9e1a311a75a793645c224bf5faff4dd5aad
---
M usr/local/bin/wikistats/deploy-wikistats
1 file changed, 2 insertions(+), 0 deletions(-)


  git pull ssh://gerrit.wikimedia.org:29418/operations/debs/wikistats 
refs/changes/52/273552/1

diff --git a/usr/local/bin/wikistats/deploy-wikistats 
b/usr/local/bin/wikistats/deploy-wikistats
index a5645ae..79550e7 100755
--- a/usr/local/bin/wikistats/deploy-wikistats
+++ b/usr/local/bin/wikistats/deploy-wikistats
@@ -11,6 +11,8 @@
 
 function deploy {
 
+  echo -e "\nfirst running puppet to git pull\n"
+  sudo puppet agent -tv
   echo -e "\ndeploying files from git repository (${pp}/${pn})\n"
 
   for dp in "${dps[@]}"; do

-- 
To view, visit https://gerrit.wikimedia.org/r/273552
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: newchange
Gerrit-Change-Id: I9cd2b9e1a311a75a793645c224bf5faff4dd5aad
Gerrit-PatchSet: 1
Gerrit-Project: operations/debs/wikistats
Gerrit-Branch: master
Gerrit-Owner: Dzahn <dz...@wikimedia.org>

_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

Reply via email to