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.
OS: Linux Flavor: Mint
code --version
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.