search

microsoft / vscode-remote-release

Visual Studio Code Remote Development: Open any folder in WSL, in a Docker container, or on a remote machine using SSH and take advantage of VS Code's full feature set.
https://aka.ms/vscode-remote
Other
3.65k stars 285 forks source link

Resource manager doesn't show all directories #1990

Closed XiaoTianCan closed 4 years ago

XiaoTianCan commented 4 years ago

I used macos 10.12.6 to ssh a server with ubuntu 14.04.

How to reproduce: step 1: ssh to a remote server, and we can check files/directories in the resource manager step 2: In a terminal, make two new directories named as "test" and "Test" respectively using command "mkdir" in a same existing directory step 3: refresh the resource manager, then we can only find "test". "Test" is not shown. But we can find both of them through command "ls" in a terminal

aeschli commented 4 years ago

We currently treat all remote file systems as case-insensitive. That means test and Test look like the same file. @isidorn The check whether a file system is case-sensitive or not is async. IMO the file explorer could add support for that and pass that a log all operations that are filtering or finding files.

isidorn commented 4 years ago

Yes the fileExplorer should check that asyncly and nowhere should we have code isWindows and the like. Here's the issue that caputres that I believe https://github.com/microsoft/vscode/issues/48258

isidorn commented 4 years ago

Should be fixed via https://github.com/microsoft/vscode/issues/48258 Please try out vscode insiders from tomorrow