-
Notifications
You must be signed in to change notification settings - Fork 64
Description
Environment
- OS and Version:
Windows Running WSL
Edition Windows 11 Pro
Version 24H2
Installed on 6/27/2025
OS build 26100.6584
Experience Windows Feature Experience Pack 1000.26100.234.0
WSL version: 2.6.1.0
Kernel version: 6.6.87.2-1
WSLg version: 1.0.66
MSRDC version: 1.2.6353
Direct3D version: 1.611.1-81528511
DXCore version: 10.0.26100.1-240331-1435.ge-release
Windows version: 10.0.26100.6584
Ubuntu 25.04
- IDE Version: VS Code 1.104.3
- Ada & SPARK Extension Version: 26.0.202507021
Bug Summary and Reproducer
Bug Summary:
Launching VS Code or connecting to a WSL Instance And Trying To Install The VS Code Extension Leads to Popup Error
"Can't install 'adacore.ada' extension because it is not compatible with the current version of Visual Studio Code (version 1.104.3)."
Steps to reproduce:
Use WSL
Launch VS Code
Connect to WSL Instance
Try To Install Extensions
Receives Popup Error
Expected behavior:
Use WSL
Launch VS Code
Connect to WSL Instance
Try To Install Extensions
Extension Successfully Installs
Configuration and Logs
I have an als.json but it is just an empty JSON
{
}
Project Settings JSON
{
// Editing & consistency
"editor.insertSpaces": true,
"files.trimTrailingWhitespace": true,
"files.insertFinalNewline": true,
"editor.indentSize" : 4,
"editor.tabSize": 4,
"editor.detectIndentation": false
}
User Settings JSON
{
"security.workspace.trust.untrustedFiles": "open",
"workbench.editor.empty.hint": "hidden",
"remote.SSH.remotePlatform": {
"pi": "linux"
},
}
Other VS Code Extensions
These are all the extensions I was trying to have installed on the project basis
{
"recommendations": [
"aaron-bond.better-comments",
"ms-vscode-remote.remote-containers",
"ms-vscode-remote.remote-ssh",
"ms-vscode-remote.remote-ssh-edit",
"ms-vscode.remote-server",
"ms-vscode-remote.vscode-remote-extensionpack",
"ms-vscode.remote-explorer",
"ms-vscode-remote.remote-wsl",
"ms-vscode.cpptools",
"ms-sarifvscode.sarif-viewer",
"adacore.ada"
],
"unwantedRecommendations": [
]
}
Additional context
