Add a typeset of updfLatex for TexWorks

addupdflatex.py

#!/usr/bin/python3

__author__ = 'idkqh7'

import os
import re

updfLatex = '''[001]
name=updfLatex
program=updflatex
arguments=$basename
showPdf=true

'''

tools_path = os.path.expanduser("~/.TeXworks/configuration/tools.ini")
tmp_path = tools_path + ".tmp"

with open(tools_path) as tools:
    typeset = tools.read()

if "updfLatex" in typeset:
    print("A typeset of updfLatex Already exist.")
    exit()

sections = re.findall("[0-9]+", typeset)
if sections:
    for section in reversed(sections):
        next_section = "{0:03d}".format(int(section) + 1)
        typeset = typeset.replace(section, next_section)

typeset = updfLatex + typeset

with open(tmp_path, mode='w') as tmp:
    tmp.write(typeset)
#
os.rename(tools_path, tools_path + ".old")
os.rename(tmp_path, tools_path)
print("Adding a typeset of updfLatex is successful!")