Maintenance will be performed on,,, and on Tuesday 26 May 2020 starting at approximately 10am CDT. It is expected to take around 30 minutes and will involve a short period of downtime, around 5 minutes, towards the end of the maintenance period. Please address any questions, comments, or concerns to

Commit 7c3834ec authored by Phil Jones's avatar Phil Jones

Fix line numbers and remove ignored_commands.

parent f822536d
......@@ -44,7 +44,7 @@ class ParseException(ExitCodeException):
from test import do_upload, diff
def prepkat(katfile):
irrelevent_commands = ['gnuterm', 'pyterm', 'trace', 'retrace']
irrelevent_commands = []
newkat = []
with open(katfile) as katf:
for line in katf:
......@@ -52,7 +52,7 @@ def prepkat(katfile):
print('Removing line as known to be incompatible in finesse3: \n\t'+line)
return '\n'.join(newkat)
return ''.join(newkat)
def runkat(katfile):
""" Run the katfile """
Markdown is supported
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment