:vj"dZddlmZddlZddlZddlZddlZddlZddlZddl Z ddl Z ddl Z ddl Z ddl ZddlZddlmZddlmZddlZddlmZddlmZmZmZddlmZdd lmZdd lmZmZm Z m!Z!m"Z"m#Z#dd l$m%Z&dd l'm(Z(dd l)m*Z*ddl+m,Z,ddl-m.Z.m/Z/ddl0m1Z1m2Z2ddl3m4Z4m5Z5m6Z6 ddl7m8Z8dZ;ddZ<Gdde2e5Z=Gdde=e1e4Z>y#e9$r ddl+m:Z8Y-wxYw)z?A contents manager that uses the local file system for storage.) annotationsN)datetime)Path)run_sync)existsis_file_hidden is_hidden) send2trash)web)BoolInt TraitErrorUnicodedefaultvalidate)_tzAuthenticatedFileHandler)_i18n) to_api_path)AsyncFileCheckpointsFileCheckpoints)AsyncFileManagerMixinFileManagerMixin)AsyncContentsManagerContentsManagercopy_pat)samefile)samefile_simplect|dd}t|ttfr|dk\rt j |r|S|j S)a^Get best-effort file creation timestamp from stat result. Uses st_birthtime (actual creation time) when available (macOS, BSD, and Linux with kernel 4.11+ via statx on supported filesystems). On Windows, st_ctime is the creation time. On Linux/other, falls back to st_ctime (note: this is inode change time, not creation time, so operations like chmod may update 'created'). Falls back to st_ctime if st_birthtime is unavailable, non-numeric, negative, or non-finite. Returns st_ctime as final fallback, which is validated in _base_model() during datetime conversion. st_birthtimeNr)getattr isinstanceintfloatmathisfinitest_ctime)info birthtimes }/workspace/moltex-experiments/.pixi/envs/default/lib/python3.12/site-packages/jupyter_server/services/contents/filemanager.py_get_created_timestampr-/sFnd3I )c5\*yA~$--PYBZ ==ceZdZdZedZedddZeddZ e dd Z ed d Z e d fd Z ed dZedddZedddZeddZeddZdZdZd,dZdZdZd-dZdZd.dZd/dZd0dZd1d Zd2d!Zd2d"Z d#Z!d$Z"d%Z#d3d&Z$d3fd' Z%d(Z&d)Z'd4d*Z(d+Z)xZ*S)5FileContentsManagerzA file contents manager.T)configz&The max folder size that can be copied)r1helproot_dircn|jstjS|jjSN)parentosgetcwdr4selfs r,_default_root_dirz%FileContentsManager._default_root_dirOs%{{99; {{###r.c|d}tjj|stjj|}tjj |st d|z|S)Nvaluez%r is not a directory)r8pathisabsabspathisdirr)r;proposalr>s r,_validate_root_dirz&FileContentsManager._validate_root_dirUsT!ww}}U#GGOOE*Eww}}U#4u<= = r. preferred_dirc~|jsy |jj}||jjk(rd}|Qtjdt d t |}|j|jjSy#t$rtd|zdwxYw#t$rYywxYw)NzqServerApp.preferred_dir config is deprecated in jupyter-server 2.0. Use FileContentsManager.preferred_dir instead) stacklevelz%%s is outside root contents directory) r7rEr4warningswarn FutureWarningr relative_toas_posix ValueErrorrAttributeError)r;r>r?s r,_default_preferred_dirz*FileContentsManager._default_preferred_dir_s{{ `KK--E ,,,  H!  `;D++DMM:CCEE"`$%Lu%TU[__`   s1B03BB-0 B<;B<cZt|d|j|d<t| |S)Nr>)rr4super_validate_preferred_dir)r;rC __class__s r,rTz+FileContentsManager._validate_preferred_dirws/((94==Iw.x88r.checkpoints_classctSr6)rr:s r,_checkpoints_class_defaultz.FileContentsManager._checkpoints_class_default}sr.zIf True (default), deleting files will send them to the platform's trash/recycle bin, where they can be recovered. If False, deleting files really deletes them.FaIf True, deleting a non-empty directory will always be allowed. WARNING this may result in files being permanently removed; e.g. on Windows, if the data size is too big for the trash/recycle bin the directory will be permanently deleted. If False (default), the non-empty directory will be sent to the trash only if safe. And if ``delete_to_trash`` is True, the directory won't be deleted.files_handler_classctSr6rr:s r,_files_handler_class_defaultz0FileContentsManager._files_handler_class_defaults''r.files_handler_paramscd|jiS)Nr?)r4r:s r,_files_handler_params_defaultz1FileContentsManager._files_handler_params_defaults &&r.ct|jd}|j|}t||jS)aTDoes the API style path correspond to a hidden directory or file? Parameters ---------- path : str The path to check. This is an API path (`/` separated, relative to root_dir). Returns ------- hidden : bool Whether the path exists and is hidden. /r?strip _get_os_pathr r4r;r?os_paths r,r zFileContentsManager.is_hiddens5zz####.$--00r.c|jd}|j|} tj|tjS#t $r|j jd|YywxYw)aXDoes the API style path correspond to a writable directory or file? Parameters ---------- path : str The path to check. This is an API path (`/` separated, relative to root_dir). Returns ------- hidden : bool Whether the path exists and is writable. r`raz'Failed to check write permissions on %sF)rcrdr8accessW_OKOSErrorlogerrorres r, is_writablezFileContentsManager.is_writablesczz####. 99Wbgg. .  HHNNDg N s#A %A10A1c|jd}|j|}tjj |S)aCReturns True if the file exists, else returns False. API-style wrapper for os.path.isfile Parameters ---------- path : str The relative path to the file (with '/' as separator) Returns ------- exists : bool Whether the file exists. r`rcrdr8r?isfileres r, file_existszFileContentsManager.file_existss4zz###D)ww~~g&&r.c|jd}|j|}tjj |S)avDoes the API-style path refer to an extant directory? API-style wrapper for os.path.isdir Parameters ---------- path : str The path to check. This is an API path (`/` separated, relative to root_dir). Returns ------- exists : bool Whether the path is indeed a directory. r`rarcrdr8r?rBres r, dir_existszFileContentsManager.dir_existss7 zz####.ww}}W%%r.c^|jd}|j|}t|S)a@Returns True if the path exists, else returns False. API-style wrapper for os.path.exists Parameters ---------- path : str The API path to the file (with '/' as separator) Returns ------- exists : bool Whether the target exists. r`ra)rcrdrres r,rzFileContentsManager.existss.zz####.gr.c2t|} |j}||k7r|jrwttj j |j}ttj j |} |j|t|}t||j} |j|}t|r|Sy#t$r|}YwxYw#t$rYywxYw#tj$rYywxYw)z'Resolve path relative to root resource.Nra)r expanduser RuntimeError is_absoluter8r?rAr4rMrOstrrrdr HTTPErrorr)r;r? original_path expanded_pathroot expanded_abs relative_pathrfs r, resolve_pathz FileContentsManager.resolve_pathsT  *)446M M )m.G.G.I 67D >?L ((.|$D#D$--8  '']';G '? % *)M *  }}  s5C C1D C.-C.1 C=<C=DDc *|j|}tj|}d|z}|jsHt ||j r2|j jd|tjd| |j} tj|j }t)|} tj|}i} |j+d dd | d<|| d<|| d<|| d<d| d<d| d<d| d<|| d<|j-|| d<d| d<d| d<| S#ttf$r |j jdd}YwxYw#tt"tf$rJ|j jd|j |t%dddd d tj& }Y wxYw#tt"tf$r@|j jd ||t%dddd d tj& }YCwxYw)z)Build the common base of a contents model$file or directory does not exist: %r