jenkins-bot has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/344327 )
Change subject: Misc updates to my export scripts
......................................................................
Misc updates to my export scripts
Change-Id: I9e1c0fabf3c6a06fe2d12f53d6a2e38543b7cf9e
---
M bin/clupdate-git-repo
M bin/nike-export-all
2 files changed, 4 insertions(+), 2 deletions(-)
Approvals:
jenkins-bot: Verified
Nikerabbit: Looks good to me, approved
diff --git a/bin/clupdate-git-repo b/bin/clupdate-git-repo
index 143e1df..bff3343 100755
--- a/bin/clupdate-git-repo
+++ b/bin/clupdate-git-repo
@@ -13,7 +13,6 @@
if [ -d "$DIR/.git" ]
then
- echo "$DIR" "$BRANCH"
"$DIRSCRIPT/update-reset-repo" "$DIR" "" "$BRANCH"
else
git clone "$URL" "$DIR" -b "$BRANCH"
diff --git a/bin/nike-export-all b/bin/nike-export-all
index c758297..5431241 100755
--- a/bin/nike-export-all
+++ b/bin/nike-export-all
@@ -59,8 +59,11 @@
wikipedia-ios
"
+_b=$(tput bold)
+b_=$(tput sgr0)
+
for i in $PROJECTS; do
- echo $i
+ echo "${_b}$i${b_}"
"$DIRSCRIPT/repoupdate" $i
"$DIRSCRIPT/repoexport" $i
"$DIRSCRIPT/repocommit" $i
--
To view, visit https://gerrit.wikimedia.org/r/344327
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I9e1c0fabf3c6a06fe2d12f53d6a2e38543b7cf9e
Gerrit-PatchSet: 1
Gerrit-Project: translatewiki
Gerrit-Branch: master
Gerrit-Owner: Nikerabbit <[email protected]>
Gerrit-Reviewer: Nikerabbit <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
