[MediaWiki-commits] [Gerrit] scap: silly fix for cf3672d - change (operations/puppet)
Faidon Liambotis has submitted this change and it was merged. Change subject: scap: silly fix for cf3672d .. scap: silly fix for cf3672d Change-Id: I7faa727597bf87a4fee7f1154f01568d4ae45710 --- M modules/scap/files/mwscript 1 file changed, 2 insertions(+), 2 deletions(-) Approvals: Faidon Liambotis: Looks good to me, approved jenkins-bot: Verified diff --git a/modules/scap/files/mwscript b/modules/scap/files/mwscript index 267b6d8..8dad2fa 100755 --- a/modules/scap/files/mwscript +++ b/modules/scap/files/mwscript @@ -12,8 +12,8 @@ fi # PHP spits errors on unknown terminals before falling back to "dumb" -if [ -z "$TERM" ] || [ "$TERM" = unknown ]; then - TERM=dumb +if [ -z "$TERM" ] || [ "$TERM" = unknown ] || [ "$TERM" = dumb ]; then + export TERM=dumb fi if [ "`whoami`" != "$MEDIAWIKI_WEB_USER" ] ; then -- To view, visit https://gerrit.wikimedia.org/r/196562 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I7faa727597bf87a4fee7f1154f01568d4ae45710 Gerrit-PatchSet: 2 Gerrit-Project: operations/puppet Gerrit-Branch: production Gerrit-Owner: Faidon Liambotis Gerrit-Reviewer: Faidon Liambotis Gerrit-Reviewer: jenkins-bot <> ___ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
[MediaWiki-commits] [Gerrit] scap: silly fix for cf3672d - change (operations/puppet)
Faidon Liambotis has uploaded a new change for review. https://gerrit.wikimedia.org/r/196562 Change subject: scap: silly fix for cf3672d .. scap: silly fix for cf3672d Change-Id: I7faa727597bf87a4fee7f1154f01568d4ae45710 --- M modules/scap/files/mwscript 1 file changed, 1 insertion(+), 1 deletion(-) git pull ssh://gerrit.wikimedia.org:29418/operations/puppet refs/changes/62/196562/1 diff --git a/modules/scap/files/mwscript b/modules/scap/files/mwscript index 267b6d8..2ad4541 100755 --- a/modules/scap/files/mwscript +++ b/modules/scap/files/mwscript @@ -13,7 +13,7 @@ # PHP spits errors on unknown terminals before falling back to "dumb" if [ -z "$TERM" ] || [ "$TERM" = unknown ]; then - TERM=dumb + export TERM=dumb fi if [ "`whoami`" != "$MEDIAWIKI_WEB_USER" ] ; then -- To view, visit https://gerrit.wikimedia.org/r/196562 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: newchange Gerrit-Change-Id: I7faa727597bf87a4fee7f1154f01568d4ae45710 Gerrit-PatchSet: 1 Gerrit-Project: operations/puppet Gerrit-Branch: production Gerrit-Owner: Faidon Liambotis ___ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
