-
Notifications
You must be signed in to change notification settings - Fork 28
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
Uknown file fileid.db
gets created each time jupyverse starts in a folder
#300
Comments
Thank you for opening your first issue in this project! Engagement like this is essential for open source projects! 🤗 |
It's the path to the database used by the file ID manager (see here), which is responsible for tracking files and giving them a global ID. |
Ok, if it could be put out of the user's way e.g. Alternatively I tested with name |
I'm not sure it can live in a Jupyter directory, because between two server sessions the file system could be completely different (say the local file system and a file system on the cloud, for instance), and it wouldn't make sense to mix the information from both file systems. |
Ok, I have inspected the So yes the conclusion seems to be that renaming it to |
Description
Uknown file
fileid.db
gets created each time jupyverse starts in a folder.Is it important ? Can a user delete it ? Probably it should not be there ? or at least visible ?
Probably not serious, but worrying.
Reproduce
Open jupyverse in any folder in any mode.
The text was updated successfully, but these errors were encountered: