-
-
Notifications
You must be signed in to change notification settings - Fork 503
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
WSL: Add how to handle strange permission error #32714
Comments
Branch pushed to git repo; I updated commit sha1. New commits:
|
Commit: |
This comment has been minimized.
This comment has been minimized.
comment:4
It would be more idiomatic to use just |
comment:5
Is your Sage source tree somewhere in |
comment:6
Replying to @mkoeppe:
I think I tried this first and ended up with a |
comment:7
Replying to @mkoeppe:
Yes, the source files are in the Windows file system (as I want to use git etc from Windows). I know it's not ideal and might switch to the linux file system in the future. But apart from this permission error everything is working. |
comment:8
Perhaps then better advice to give to the user would be to use |
comment:10
Replying to @mkoeppe:
Good suggestion! I tried it and confirmed it worked as well. Changed the docs accordingly now. sage-conf etc are still not working, since they seem to respect neither prefix nor build dir. But that's something for another ticket. |
comment:11
|
comment:12
I know, but aren't these build artifacts some kind of semi-temporary files that can "easily" be recreated in case they got deleted? I'm not familiar with the linux conventions, what would be a good folder? |
comment:13
Replying to @tobiasdiez:
No. Its subdirectory, What I am saying is, we should give users on WSL the advice to create the installation hierarchy ( |
comment:14
Replying to @mkoeppe:
I understood this, but thought I edited the "developer" guide where you would treat this as only as a semi-temporary build output and not as a valid installation that you try to keep. Will change that later. |
comment:15
Everything is sort of temporary, of course. But in a Unix context, |
Branch pushed to git repo; I updated commit sha1. New commits:
|
comment:18
I've now added a recommendation to put the source files in the linux file system so that the error doesn't occur in the first place. However, WSL has a few limitations and performance problems if you try to access files across the Windows <> Linux bridge; thus in some cases you might still prefer to put the files under the windows file system. In this case the workaround is still necessary. Also I've changed the workaround back to use use |
comment:19
The rst markup doesn't look quite right, have you built the HTML doc? |
comment:21
Sorry, still living to much in a markdown world. Should be fine now. |
Reviewer: Matthias Koeppe |
comment:23
Thanks |
Changed branch from public/docs/wsl_permission_error to |
Could this happen with WSL 2? If it was only an issue with WSL, I would delete this remark in #38659. |
On WSL you sometimes hit a strange "Permission denied" error while building other packages (always during copying of the dist-info file). There are some discussions online (like pypa/packaging-problems#258) and a few workarounds. The only thing that worked for me is no use a folder under the sage directory for building by setting
SAGE_BUILD_DIR
. So I've added this to the documentation in case someone else also encounters this error.By the way, is it by design that the other sage packages like sage_conf ignore
SAGE_BUILD_DIR
? Same question for the docbuild.CC: @mkoeppe
Component: documentation
Author: Tobias Diez
Branch/Commit:
a74251f
Reviewer: Matthias Koeppe
Issue created by migration from https://trac.sagemath.org/ticket/32714
The text was updated successfully, but these errors were encountered: