workspace-explorer
workspace-explorer copied to clipboard
Bug: Workspace fails to load if capitalization is incorrect on linux systems but acts like it is correct.
OS: Linux
Flavor: Mint
code --version
1.75.1
441438abd1ac652551dbe4d408dfcec8a499b8bf
x64
Extension version: v2.3.0
If i set the config workspaceExplorer.workspaceStorageDirectory
to /home/user/Workspace
when the actual path is /home/user/workspace
the extension reports everything as functioning correctly but will not show any workspaces in the sidebar. If it is set to the correct capitalization everything works correctly.