Filippo Giunchedi has submitted this change and it was merged.
Change subject: Removing support for DOLOGMSGNOLOG
......................................................................
Removing support for DOLOGMSGNOLOG
This is bad behavior, we don't want people silently syncing things
Change-Id: I4c300e92c96659a144382b7678f5f78f576699e9
---
M modules/admin/files/home/ori/.hosts/tin
1 file changed, 2 insertions(+), 4 deletions(-)
Approvals:
Filippo Giunchedi: Looks good to me, approved
jenkins-bot: Verified
diff --git a/modules/admin/files/home/ori/.hosts/tin
b/modules/admin/files/home/ori/.hosts/tin
index 0dbe5d0..8888bd3 100755
--- a/modules/admin/files/home/ori/.hosts/tin
+++ b/modules/admin/files/home/ori/.hosts/tin
@@ -76,8 +76,6 @@
}
sync() {
- QUIET=0
- case "$1" in -q|--quiet) QUIET=1 ; shift ;; esac
local target="$1" ; shift ; local message="$@"
if [ -z "$target" -o -z "$message" ]; then
@@ -87,8 +85,8 @@
echo >&2 "No such file: ${target}"
return 1
elif [ -d "$target" ]; then
- DOLOGMSGNOLOG="$QUIET" scap sync-dir "$target" "$message"
+ scap sync-dir "$target" "$message"
else
- DOLOGMSGNOLOG="$QUIET" scap sync-file "$target" "$message"
+ scap sync-file "$target" "$message"
fi
}
--
To view, visit https://gerrit.wikimedia.org/r/317848
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I4c300e92c96659a144382b7678f5f78f576699e9
Gerrit-PatchSet: 2
Gerrit-Project: operations/puppet
Gerrit-Branch: production
Gerrit-Owner: Chad <[email protected]>
Gerrit-Reviewer: Alex Monk <[email protected]>
Gerrit-Reviewer: Filippo Giunchedi <[email protected]>
Gerrit-Reviewer: Ori.livneh <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
