diff --git a/scripts/base.py b/scripts/base.py index 48e9e09..a0957de 100644 --- a/scripts/base.py +++ b/scripts/base.py @@ -63,6 +63,10 @@ def print_info(info=""): print("------------------------------------------") return +def print_list(list): + print('[%s]' % ', '.join(map(str, list))) + return + # file system ------------------------------------------- def is_file(path): return os.path.isfile(get_path(path))