From 1a90ecafbbd38413a1e16756c7fe330e169603bf Mon Sep 17 00:00:00 2001
From: teto <teto@users.noreply.github.com>
Date: Mon, 30 Jun 2025 15:19:59 +0000
Subject: [PATCH] deploy: 0f21ed5182a158d2f84e9136f6bf8539fd9a6890

---
 options.xhtml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/options.xhtml b/options.xhtml
index b09f844d0..db4639959 100644
--- a/options.xhtml
+++ b/options.xhtml
@@ -17837,7 +17837,7 @@ strings concatenated with “\n”</p>
 <p>Environment variables that will be set for the Bash session.</p>
 
 <p><span class="emphasis"><em>Type:</em></span>
-attribute set</p>
+lazy attribute set of (string or signed integer)</p>
 
 <p><span class="emphasis"><em>Default:</em></span>
 <code class="literal">{ }</code></p>