From 341ce4fd56327182111de95d5d446b07382ecb34 Mon Sep 17 00:00:00 2001
From: Stuffed <stuffedgame@gmail.com>
Date: Sun, 8 Apr 2018 14:48:36 +0900
Subject: [PATCH] Print out more useful filename in utf8 checker
---
devTools/check.py | 5 +++--
1 file changed, 3 insertions(+), 2 deletions(-)
diff --git a/devTools/check.py b/devTools/check.py
index 364d4260df0..ddb1682f373 100755
--- a/devTools/check.py
+++ b/devTools/check.py
@@ -7,7 +7,7 @@ WARNING = '\033[93m'
ENDC = '\033[0m'
def myprint(*args):
- print(WARNING, filename + ":", ENDC,*args)
+ print(WARNING, fileinput.filename() + ":", ENDC,*args)
def yield_line_and_islastline(f):
global filename
@@ -72,6 +72,7 @@ try:
except UnicodeDecodeError as e:
myprint(e)
print(" Hint: In linux, you can get more details about unicode errors by running:")
- print(" isutf8", filename)
+ print(" isutf8", fileinput.filename())
+ print(" :Note it might be caused by ", filename)
--
GitLab