# This Source Code Form is subject to the terms of the Mozilla Public # License, v. 2.0. If a copy of the MPL was not distributed with this # file, You can obtain one at http://mozilla.org/MPL/2.0/.
"""A generic script to add entries to a file if the entry does not already exist.
def addEntriesToListFile(listFile, entries): """Given a file ``listFile`` containing one entry per line,
add each entry in ``entries`` to the file, unless it is already
present."""
ensureParentDir(listFile) with SoftFileLock(listFile + ".lck", timeout=-1): if os.path.exists(listFile): with open(listFile) as f:
existing = {x.strip() for x in f.readlines()} else:
existing = set()
existing.update(entries) with open(listFile, "w", newline="\n") as f:
f.write("\n".join(sorted(existing)) + "\n")
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung und die Messung sind noch experimentell.