From 31ccc9f0a261598d80976abbfc97cd2a169ce82e Mon Sep 17 00:00:00 2001 From: MingxuanGame Date: Sun, 30 Nov 2025 00:44:15 +0800 Subject: [PATCH] chore(dev): update development environment --- .devcontainer/start-dev.sh | 0 osu_lazer_api.code-workspace | 6 +++++- 2 files changed, 5 insertions(+), 1 deletion(-) mode change 100644 => 100755 .devcontainer/start-dev.sh diff --git a/.devcontainer/start-dev.sh b/.devcontainer/start-dev.sh old mode 100644 new mode 100755 diff --git a/osu_lazer_api.code-workspace b/osu_lazer_api.code-workspace index 6eb9584..9ffc097 100644 --- a/osu_lazer_api.code-workspace +++ b/osu_lazer_api.code-workspace @@ -9,5 +9,9 @@ { "path": "performance-server" } - ] + ], + "settings": { + "python.languageServer": "None", + "python.analysis.typeCheckingMode": "off" + } }