From 92bd1b16ef25e3f7a2085cf9a412795e25451295 Mon Sep 17 00:00:00 2001 From: Daniel Seiller Date: Sat, 28 Sep 2019 19:31:44 +0200 Subject: [PATCH] feat(build scripts): skip .history folder when building UI files --- build_gui.py | 2 ++ 1 file changed, 2 insertions(+) diff --git a/build_gui.py b/build_gui.py index 82a1d86..14d87fe 100644 --- a/build_gui.py +++ b/build_gui.py @@ -5,6 +5,8 @@ import os ui_path = os.path.dirname(os.path.abspath(__file__)) for root, folders, files in os.walk(ui_path): + if ".history" in folders: + folders.remove(".history") for file in files: file = os.path.join(root, file) outfile, ext = os.path.splitext(file)