Describe the bug
When crawling through project files in a solution, encountering a directory which proj-info doesn't have permission to read, will result in a System.IO.Exception: Permission Denied
To Reproduce
Steps to reproduce the behaviour:
Create an F# project
Add a folder/files that requires elevated permissions (root/admin)
Try loading the solution with Ionide
Look at F# log output with the adaptive lsp server enabled (without this, the error will still occur but the exception doesn't appear in the output).
See error
Expected behaviour
I expected the directory to be ignored.
Environment (please complete the following information):
OS: Windows + Linux (Arch Linux)
Ionide version: 7.3.0 (latest)
VSCode version: 1.72.2-1 (latest)
dotnet SDK version: 6.0.402
mono / .Net Framework version: N/A
Additional context
I'm using docker-compose to create volumes for PostgreSQL + Redis. On Linux and Windows, these volumes require elevated (admin/root) privileges to access.
Describe the bug When crawling through project files in a solution, encountering a directory which proj-info doesn't have permission to read, will result in a
System.IO.Exception: Permission DeniedTo Reproduce Steps to reproduce the behaviour:
Expected behaviour I expected the directory to be ignored.
Screenshots https://imgur.com/a/Fyi965I
Environment (please complete the following information):
Additional context I'm using docker-compose to create volumes for PostgreSQL + Redis. On Linux and Windows, these volumes require elevated (admin/root) privileges to access.
I would like to create a PR to fix this issue.