From 6d7e96f43b5d52d18c0864ba24152a6466f09a15 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Maximilian=20Ke=C3=9Fler?= Date: Tue, 26 Apr 2022 09:02:36 +0200 Subject: [PATCH] update labels script for build folders --- scripts/labels.py | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/scripts/labels.py b/scripts/labels.py index 66720ca..84e8d06 100644 --- a/scripts/labels.py +++ b/scripts/labels.py @@ -46,7 +46,7 @@ def main(args): arglist = [] if len(args) > 1: path = Path(args[1]) - arglist = list(path.glob('*.aux')) + arglist = list(path.glob('*.aux')) + list(path.glob('build/*.aux')) else: arglist = ['/home/maximilian/current_course/full.aux'] @@ -61,6 +61,7 @@ def main(args): else: command = selected return command.strip() + if __name__ == '__main__':