From c657c2afbfc241ad76cc7bfc54197decb2d3c294 Mon Sep 17 00:00:00 2001 From: Dario Camonita Date: Thu, 11 Sep 2025 17:29:55 +0200 Subject: [PATCH] docs(troubleshooting): update terminal type workaround to use env --- docs/Developer-Guide_Build-Preparation.md | 13 +++++++------ 1 file changed, 7 insertions(+), 6 deletions(-) diff --git a/docs/Developer-Guide_Build-Preparation.md b/docs/Developer-Guide_Build-Preparation.md index 9507efb0..a6acf64d 100644 --- a/docs/Developer-Guide_Build-Preparation.md +++ b/docs/Developer-Guide_Build-Preparation.md @@ -69,13 +69,14 @@ Run framework: ``` !!! tip "Troubleshooting: 'unknown terminal type' error" -When running the script, especially from modern terminal emulators (like Ghostty, Kitty, WezTerm), you might encounter an error like 'xterm-ghostty': unknown terminal type + When running the script, especially from modern terminal emulators (like Ghostty, Kitty, WezTerm), you might encounter an error like -**Quick Workaround:** You can force a more common terminal type before running the script: -```bash -export TERM=xterm-256color -./compile.sh -``` + 'xterm-ghostty': unknown terminal type + + **Quick workaround:** you can force a more common terminal type before running the script: + ```bash + env TERM=xterm-256color ./compile.sh + ``` Only one command can be specified.