From 61cff94a28e9415cf5a23a58f223cb3ac2dd1348 Mon Sep 17 00:00:00 2001 From: Martin Weinelt Date: Mon, 10 Nov 2025 23:53:27 +0100 Subject: [PATCH] scripts/generate-options: prefer defaultText over default --- scripts/generate-options.py | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/scripts/generate-options.py b/scripts/generate-options.py index b5ec939..2e77297 100644 --- a/scripts/generate-options.py +++ b/scripts/generate-options.py @@ -91,7 +91,9 @@ def print_option(option): key=option["name"], description=description or "", type=f"- type: {md_literal(option['type'])}", - default=render_option_value(option, "default"), + default=render_option_value(option, "defaultText") + if "defaultText" in option + else render_option_value(option, "default"), example=render_option_value(option, "example"), ) )