Skip to content

Issues: jupyter-server/jupyter_server_fileid

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.

Sign up for GitHub

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

16 Open 17 Closed
16 Open 17 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Update file path out-of-band bug Something isn't working
#80 opened Aug 29, 2024 by brichet
3
Setup Github publishing actions and PyPI with Jupyter Server Bot. maintenance Maintenance related work
#74 opened Dec 19, 2023 by Zsailer
2 of 3 tasks
How to deal with file deletion? bug Something isn't working
#67 opened Apr 10, 2023 by dleen
7
use a decorator to automatically commit after public methods enhancement New feature or request
#64 opened Apr 9, 2023 by dlqqq
tmpfs support bug Something isn't working
#58 opened Feb 17, 2023 by mgorny
12
jupyter-fileid script needs click bug Something isn't working
#54 opened Dec 14, 2022 by frenzymadness
6
create SQLite mixin enhancement New feature or request
#53 opened Dec 6, 2022 by dlqqq
Alternative file ID implementation
#48 opened Nov 8, 2022 by davidbrochart
pypy compatibility enhancement New feature or request
#44 opened Oct 31, 2022 by dlqqq
ArbitraryFileIdManager should have a configurable option to determine its "content root" enhancement New feature or request
#43 opened Oct 29, 2022 by kevin-bates 0.9.0
3
support crtime on ext4 enhancement New feature or request
#40 opened Oct 28, 2022 by dlqqq
Improve documentation about getting a LocalFileIdManager question Further information is requested
#39 opened Oct 28, 2022 by davidbrochart
2
Add backward compatible server entry point enhancement New feature or request
#29 opened Oct 26, 2022 by davidbrochart
Cannot switch file ID managers with same database bug Something isn't working
#28 opened Oct 26, 2022 by davidbrochart 0.9.0
1
@dlqqq
1
Async API enhancement New feature or request
#13 opened Oct 14, 2022 by davidbrochart
1
use st_dev in conjunction with ino bug Something isn't working
#2 opened Sep 7, 2022 by dlqqq
5
ProTip! Updated in the last three days: updated:>2024-11-24.