Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Access error while reading project files. #174

Closed
sheridanchris opened this issue Oct 18, 2022 · 0 comments · Fixed by #175
Closed

Access error while reading project files. #174

sheridanchris opened this issue Oct 18, 2022 · 0 comments · Fixed by #175
Assignees
Labels

Comments

@sheridanchris
Copy link
Contributor

sheridanchris commented Oct 18, 2022

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:

  1. Create an F# project
  2. Add a folder/files that requires elevated permissions (root/admin)
  3. Try loading the solution with Ionide
  4. 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).
  5. See error

Expected behaviour
I expected the directory to be ignored.

Screenshots
https://imgur.com/a/Fyi965I

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.

I would like to create a PR to fix this issue.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Development

Successfully merging a pull request may close this issue.

2 participants