jenkins-bot has submitted this change and it was merged.
Change subject: Use /usr/bin/python as the shebang ......................................................................
Use /usr/bin/python as the shebang
30d1df9d4f8942ff489cc0c101c2026206cd4440 normalised all shebangs to /usr/bin/python, except these two scripts.
Change-Id: Ie28add198c4645324eeef6abb1fe0c85623667bf --- M scripts/archivebot.py M scripts/replicate_wiki.py 2 files changed, 2 insertions(+), 2 deletions(-)
Approvals: John Vandenberg: Looks good to me, but someone else must approve Xqt: Looks good to me, approved jenkins-bot: Verified
diff --git a/scripts/archivebot.py b/scripts/archivebot.py index 22d9af7..6c48ccb 100755 --- a/scripts/archivebot.py +++ b/scripts/archivebot.py @@ -1,4 +1,4 @@ -#!/usr/bin/env python +#!/usr/bin/python # -*- coding: utf-8 -*- """ archivebot.py - discussion page archiving bot. diff --git a/scripts/replicate_wiki.py b/scripts/replicate_wiki.py index aef3948..c890910 100755 --- a/scripts/replicate_wiki.py +++ b/scripts/replicate_wiki.py @@ -1,4 +1,4 @@ -#!/usr/bin/env python +#!/usr/bin/python # -*- coding: utf-8 -*- """ This bot replicates pages in a wiki to a second wiki within one family.