Skip to content

Commit 00d0ecc

Browse files
committed
docs(troubleshooting): update terminal type workaround to use env
1 parent 45397b9 commit 00d0ecc

File tree

1 file changed

+7
-6
lines changed

1 file changed

+7
-6
lines changed

docs/Developer-Guide_Build-Preparation.md

Lines changed: 7 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -69,13 +69,14 @@ Run framework:
6969
```
7070

7171
!!! tip "Troubleshooting: 'unknown terminal type' error"
72-
When running the script, especially from modern terminal emulators (like Ghostty, Kitty, WezTerm), you might encounter an error like 'xterm-ghostty': unknown terminal type
72+
When running the script, especially from modern terminal emulators (like Ghostty, Kitty, WezTerm), you might encounter an error like
7373

74-
**Quick Workaround:** You can force a more common terminal type before running the script:
75-
```bash
76-
export TERM=xterm-256color
77-
./compile.sh
78-
```
74+
'xterm-ghostty': unknown terminal type
75+
76+
**Quick workaround:** you can force a more common terminal type before running the script:
77+
```bash
78+
env TERM=xterm-256color ./compile.sh
79+
```
7980

8081
Only one command can be specified.
8182

0 commit comments

Comments
 (0)