diff options
Diffstat (limited to 'bin/pylint-gui.bat')
| -rw-r--r-- | bin/pylint-gui.bat | 23 |
1 files changed, 4 insertions, 19 deletions
diff --git a/bin/pylint-gui.bat b/bin/pylint-gui.bat index b721e5c..88e566b 100644 --- a/bin/pylint-gui.bat +++ b/bin/pylint-gui.bat @@ -1,20 +1,5 @@ @echo off
-rem = """-*-Python-*- script
-@echo off
-rem -------------------- DOS section --------------------
-rem You could set PYTHONPATH or TK environment variables here
-python -x "%~f0" %*
-goto exit
-
-"""
-# -------------------- Python section --------------------
-import sys
-from pylint import gui
-gui.Run(sys.argv[1:])
-
-
-DosExitLabel = """
-:exit
-rem """
-
-
+rem Use python to execute the python script having the same name as this batch
+rem file, but without any extension, located in the same directory as this
+rem batch file
+python "%~dpn0" %*
|