config: change 'Def' to 'Default' (#1827)

pull/1828/head
Disconnect3d 2 years ago committed by GitHub
parent 835c77cbdc
commit 13cd7d8d86
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

@ -69,7 +69,7 @@ def display_config(filter_pattern: str, scope: str, has_file_command: bool = Tru
map(len, [extend_value_with_default(repr(v.value), repr(v.default)) for v in values])
)
header = print_row("Name", "Value", "Def", "Documentation", longest_optname, longest_value)
header = print_row("Name", "Value", "Default", "Documentation", longest_optname, longest_value)
print("-" * (len(header)))
for v in sorted(values):

@ -18,7 +18,7 @@ def test_config():
def test_config_filtering():
out = gdb.execute("config context-code-lines", to_string=True).splitlines()
assert re.match(r"Name\s+Value\s+\(Def\)\s+Documentation", out[0])
assert re.match(r"Name\s+Value\s+\(Default\)\s+Documentation", out[0])
assert re.match(r"-+", out[1])
assert re.match(
r"context-code-lines\s+10\s+number of additional lines to print in the code context", out[2]

Loading…
Cancel
Save