jupyter-server/jupyter_server_fileid
An extension that maintains file IDs for documents in a running Jupyter Server
PythonBSD-3-Clause
Issues
- 3
Update file path out-of-band
#80 opened by brichet - 0
- 1
- 0
- 3
Allow db_path to be set to ":memory:"
#69 opened by cmd-ntrf - 7
How to deal with file deletion?
#67 opened by dleen - 5
Newly created notebook is not indexed
#66 opened by dleen - 12
tmpfs support
#58 opened by mgorny - 9
UNIQUE constraint failed when moving file
#62 opened by dleen - 0
- 2
conda-forge package
#14 opened by davidbrochart - 15
Using sqlite in WAL mode causes file saving failure when used on JupyterHub on NFS
#60 opened by yuvipanda - 3
ArbitraryFileIdManager should have a configurable option to determine its "content root"
#43 opened by kevin-bates - 1
- 6
jupyter-fileid script needs click
#54 opened by frenzymadness - 5
- 0
create SQLite mixin
#53 opened by dlqqq - 0
Alternative file ID implementation
#48 opened by davidbrochart - 4
remove mtime fallback
#41 opened by dlqqq - 4
fix CI for Windows platforms
#6 opened by dlqqq - 0
pypy compatibility
#44 opened by dlqqq - 0
support crtime on ext4
#40 opened by dlqqq - 2
- 4
optimistic get_path()
#27 opened by dlqqq - 2
create abstract base class for FileIdManager
#1 opened by dlqqq - 1
- 0
make `BaseFileIdManager` a true ABC
#32 opened by dlqqq - 6
use UUIDs for primary keys
#3 opened by dlqqq - 0
Add backward compatible server entry point
#29 opened by davidbrochart - 7
Support any contents manager
#19 opened by davidbrochart - 8
get_path(id) fails if file changed on disk?
#15 opened by davidbrochart - 1
Async API
#13 opened by davidbrochart - 5
use st_dev in conjunction with ino
#2 opened by dlqqq