##// END OF EJS Templates
compare-disco: display a header by default...
marmoute -
r50355:3c026138 default
parent child Browse files
Show More
@@ -113,8 +113,29 b' def to_revsets(case):'
113 113 assert False
114 114
115 115
116 def compare(repo, local_case, remote_case):
116 def compare(
117 repo,
118 local_case,
119 remote_case,
120 display_header=True,
121 ):
117 122 case = (repo, local_case, remote_case)
123 if display_header:
124 print(
125 "#",
126 "repo",
127 "local-subset",
128 "remote-subset",
129 "discovery-variant",
130 "roundtrips",
131 "queries",
132 "revs",
133 "local-heads",
134 "common-heads",
135 "undecided-initial",
136 "undecided-common",
137 "undecided-missing",
138 )
118 139 for variant in VARIANTS_KEYS:
119 140 res = process(case, VARIANTS[variant])
120 141 revs = res["nb-revs"]
@@ -175,6 +196,10 b" if __name__ == '__main__':"
175 196 argv = sys.argv[:]
176 197
177 198 kwargs = {}
199 # primitive arg parsing
200 if '--no-header' in argv:
201 kwargs['display_header'] = False
202 argv = [a for a in argv if a != '--no-header']
178 203
179 204 if len(argv) != 4:
180 205 usage = f'USAGE: {script_name} REPO LOCAL_CASE REMOTE_CASE'
General Comments 0
You need to be logged in to leave comments. Login now