Alway filter irrelevant log lines when sharing it

This commit is contained in:
Alexandre Aubin 2020-06-15 19:22:39 +02:00
parent 38704cbae4
commit 51d53be54c

View file

@ -136,6 +136,9 @@ def log_display(path, number=None, share=False, filter_irrelevant=False):
share share
""" """
if share:
filter_irrelevant = True
if filter_irrelevant: if filter_irrelevant:
filters = [ filters = [
r"set [+-]x$", r"set [+-]x$",