| from __future__ import annotations |
|
|
| import json |
| import os |
| import shutil |
| import stat |
| from datetime import datetime |
| from typing import Annotated, Optional |
| import re |
|
|
| import gradio as gr |
|
|
| from app import _log_call_end, _log_call_start, _truncate_for_log |
| from ._docstrings import autodoc |
|
|
|
|
| TOOL_SUMMARY = ( |
| "Browse and manage files within a safe root. " |
| "Actions: list, read, write, append, mkdir, move, copy, delete, info, help. " |
| "Fill other fields as needed. " |
| "Use paths like `.` because all paths are relative to the root (`/`). " |
| "Use 'help' to see action-specific required fields and examples." |
| ) |
|
|
| HELP_TEXT = ( |
| "File System — actions and usage\n\n" |
| "Root: paths resolve under Nymbo-Tools/Filesystem by default (or NYMBO_TOOLS_ROOT if set). " |
| "Absolute paths are disabled unless UNSAFE_ALLOW_ABS_PATHS=1.\n\n" |
| "Actions and fields:\n" |
| "- list: path='.' (default), recursive=false, show_hidden=false, max_entries=200\n" |
| "- read: path, offset=0, max_chars=4000 (shows next_cursor when truncated)\n" |
| "- write: path, content (UTF-8), create_dirs=true\n" |
| "- append: path, content (UTF-8), create_dirs=true\n" |
| "- mkdir: path (directory), exist_ok=true\n" |
| "- move: path (src), dest_path (dst), overwrite=false\n" |
| "- copy: path (src), dest_path (dst), overwrite=false\n" |
| "- delete: path, recursive=true (required for directories)\n" |
| "- info: path\n" |
| "- help: show this guide\n\n" |
| "Errors are returned as JSON with fields: {status:'error', code, message, path?, hint?, data?}.\n\n" |
| "Examples:\n" |
| "- list current: action=list, path='.'\n" |
| "- make folder: action=mkdir, path='notes'\n" |
| "- write file: action=write, path='notes/todo.txt', content='hello'\n" |
| "- read file: action=read, path='notes/todo.txt', max_chars=200\n" |
| "- move file: action=move, path='notes/todo.txt', dest_path='notes/todo-old.txt', overwrite=true\n" |
| "- delete dir: action=delete, path='notes', recursive=true\n" |
| ) |
|
|
|
|
| def _default_root() -> str: |
| |
| root = os.getenv("NYMBO_TOOLS_ROOT") |
| if root and root.strip(): |
| return os.path.abspath(os.path.expanduser(root.strip())) |
| |
| try: |
| here = os.path.abspath(__file__) |
| tools_dir = os.path.dirname(os.path.dirname(here)) |
| default_root = os.path.abspath(os.path.join(tools_dir, "Filesystem")) |
| return default_root |
| except Exception: |
| |
| return os.path.abspath(os.getcwd()) |
|
|
|
|
| ROOT_DIR = _default_root() |
| |
| try: |
| os.makedirs(ROOT_DIR, exist_ok=True) |
| except Exception: |
| pass |
| ALLOW_ABS = bool(int(os.getenv("UNSAFE_ALLOW_ABS_PATHS", "0"))) |
|
|
| def _safe_err(exc: Exception | str) -> str: |
| """Return an error string with any absolute root replaced by '/' and slashes normalized. |
| This handles variants like backslashes and duplicate slashes in OS messages. |
| """ |
| s = str(exc) |
| |
| s_norm = s.replace("\\", "/") |
| root_fwd = ROOT_DIR.replace("\\", "/") |
| |
| root_variants = {ROOT_DIR, root_fwd, re.sub(r"/+", "/", root_fwd)} |
| for variant in root_variants: |
| if variant: |
| s_norm = s_norm.replace(variant, "/") |
| |
| s_norm = re.sub(r"/+", "/", s_norm) |
| return s_norm |
|
|
|
|
| def _err(code: str, message: str, *, path: Optional[str] = None, hint: Optional[str] = None, data: Optional[dict] = None) -> str: |
| """Return a structured error JSON string. |
| Fields: status='error', code, message, path?, hint?, data?, root='/' |
| """ |
| payload = { |
| "status": "error", |
| "code": code, |
| "message": message, |
| "root": "/", |
| } |
| if path is not None and path != "": |
| payload["path"] = path |
| if hint: |
| payload["hint"] = hint |
| if data: |
| payload["data"] = data |
| return json.dumps(payload, ensure_ascii=False) |
|
|
|
|
| def _resolve_path(path: str) -> tuple[str, str]: |
| """ |
| Resolve a user-provided path to an absolute, normalized path constrained to ROOT_DIR |
| (unless UNSAFE_ALLOW_ABS_PATHS=1). Returns (abs_path, error_message). error_message is empty when ok. |
| """ |
| try: |
| user_input = (path or ".").strip() |
| raw = os.path.expanduser(user_input) |
| if os.path.isabs(raw): |
| if not ALLOW_ABS: |
| |
| return "", _err( |
| "absolute_path_disabled", |
| "Absolute paths are disabled in safe mode.", |
| path=raw.replace("\\", "/"), |
| hint="Use a path relative to / (e.g., notes/todo.txt)." |
| ) |
| abs_path = os.path.abspath(raw) |
| else: |
| abs_path = os.path.abspath(os.path.join(ROOT_DIR, raw)) |
| |
| if not ALLOW_ABS: |
| try: |
| common = os.path.commonpath([os.path.normpath(ROOT_DIR), os.path.normpath(abs_path)]) |
| except Exception: |
| |
| root_cmp = os.path.normcase(os.path.normpath(ROOT_DIR)) |
| abs_cmp = os.path.normcase(os.path.normpath(abs_path)) |
| if not abs_cmp.startswith(root_cmp): |
| return "", _err( |
| "path_outside_root", |
| "Path not allowed outside root.", |
| path=user_input.replace("\\", "/"), |
| hint="Use a path under / (the tool's root)." |
| ) |
| else: |
| root_cmp = os.path.normcase(os.path.normpath(ROOT_DIR)) |
| common_cmp = os.path.normcase(os.path.normpath(common)) |
| if common_cmp != root_cmp: |
| return "", _err( |
| "path_outside_root", |
| "Path not allowed outside root.", |
| path=user_input.replace("\\", "/"), |
| hint="Use a path under / (the tool's root)." |
| ) |
| return abs_path, "" |
| except Exception as exc: |
| return "", _err( |
| "resolve_path_failed", |
| "Failed to resolve path.", |
| path=(path or ""), |
| data={"error": _safe_err(exc)} |
| ) |
|
|
|
|
| def _fmt_size(num_bytes: int) -> str: |
| units = ["B", "KB", "MB", "GB", "TB"] |
| size = float(num_bytes) |
| for unit in units: |
| if size < 1024.0: |
| return f"{size:.1f} {unit}" |
| size /= 1024.0 |
| return f"{size:.1f} PB" |
|
|
|
|
| def _display_path(abs_path: str) -> str: |
| """Return a user-friendly path relative to ROOT_DIR using forward slashes. |
| Example: ROOT_DIR -> '/', a file under it -> '/sub/dir/file.txt'.""" |
| try: |
| norm_root = os.path.normpath(ROOT_DIR) |
| norm_abs = os.path.normpath(abs_path) |
| common = os.path.commonpath([norm_root, norm_abs]) |
| if os.path.normcase(common) == os.path.normcase(norm_root): |
| rel = os.path.relpath(norm_abs, norm_root) |
| if rel == ".": |
| return "/" |
| return "/" + rel.replace("\\", "/") |
| except Exception: |
| pass |
| |
| return abs_path.replace("\\", "/") |
|
|
|
|
| def _list_dir(abs_path: str, *, show_hidden: bool, recursive: bool, max_entries: int) -> str: |
| lines: list[str] = [] |
| total = 0 |
| root_display = "/" |
| listing_display = _display_path(abs_path) |
| for root, dirs, files in os.walk(abs_path): |
| |
| if not show_hidden: |
| dirs[:] = [d for d in dirs if not d.startswith('.')] |
| files = [f for f in files if not f.startswith('.')] |
| try: |
| rel_root = os.path.relpath(root, ROOT_DIR) |
| except Exception: |
| rel_root = root |
| rel_root_disp = "/" if rel_root == "." else "/" + rel_root.replace("\\", "/") |
| lines.append(f"\n📂 {rel_root_disp}") |
| |
| dirs.sort() |
| files.sort() |
| for d in dirs: |
| p = os.path.join(root, d) |
| try: |
| mtime = datetime.fromtimestamp(os.path.getmtime(p)).isoformat(sep=' ', timespec='seconds') |
| except Exception: |
| mtime = "?" |
| lines.append(f" • [DIR] {d} (modified {mtime})") |
| total += 1 |
| if total >= max_entries: |
| lines.append(f"\n… Truncated at {max_entries} entries.") |
| return "\n".join(lines).strip() |
| for f in files: |
| p = os.path.join(root, f) |
| try: |
| size = _fmt_size(os.path.getsize(p)) |
| mtime = datetime.fromtimestamp(os.path.getmtime(p)).isoformat(sep=' ', timespec='seconds') |
| except Exception: |
| size, mtime = "?", "?" |
| lines.append(f" • {f} ({size}, modified {mtime})") |
| total += 1 |
| if total >= max_entries: |
| lines.append(f"\n… Truncated at {max_entries} entries.") |
| return "\n".join(lines).strip() |
| if not recursive: |
| break |
| header = f"Listing of {listing_display}\nRoot: {root_display}\nEntries: {total}" |
| return (header + "\n" + "\n".join(lines)).strip() |
|
|
|
|
| def _read_file(abs_path: str, *, offset: int, max_chars: int) -> str: |
| if not os.path.exists(abs_path): |
| return _err("file_not_found", f"File not found: {_display_path(abs_path)}", path=_display_path(abs_path)) |
| if os.path.isdir(abs_path): |
| return _err("is_directory", f"Path is a directory, not a file: {_display_path(abs_path)}", path=_display_path(abs_path), hint="Provide a file path.") |
| try: |
| with open(abs_path, 'r', encoding='utf-8', errors='replace') as f: |
| data = f.read() |
| except Exception as exc: |
| return _err("read_failed", "Failed to read file.", path=_display_path(abs_path), data={"error": _safe_err(exc)}) |
| total = len(data) |
| start = max(0, min(offset, total)) |
| if max_chars > 0: |
| end = min(total, start + max_chars) |
| else: |
| end = total |
| chunk = data[start:end] |
| next_cursor = end if end < total else None |
| meta = { |
| "offset": start, |
| "returned": len(chunk), |
| "total": total, |
| "next_cursor": next_cursor, |
| "path": _display_path(abs_path), |
| } |
| header = ( |
| f"Reading {_display_path(abs_path)}\n" |
| f"Offset {start}, returned {len(chunk)} of {total}." |
| + (f"\nNext cursor: {next_cursor}" if next_cursor is not None else "") |
| ) |
| sep = "\n\n---\n\n" |
| return header + sep + chunk |
|
|
|
|
| def _ensure_parent(abs_path: str, create_dirs: bool) -> None: |
| parent = os.path.dirname(abs_path) |
| if parent and not os.path.exists(parent): |
| if create_dirs: |
| os.makedirs(parent, exist_ok=True) |
| else: |
| raise FileNotFoundError(f"Parent directory does not exist: {_display_path(parent)}") |
|
|
|
|
| def _write_file(abs_path: str, content: str, *, append: bool, create_dirs: bool) -> str: |
| try: |
| _ensure_parent(abs_path, create_dirs) |
| mode = 'a' if append else 'w' |
| with open(abs_path, mode, encoding='utf-8') as f: |
| f.write(content or "") |
| return f"{'Appended to' if append else 'Wrote'} file: {_display_path(abs_path)} (chars={len(content or '')})" |
| except Exception as exc: |
| return _err("write_failed", "Failed to write file.", path=_display_path(abs_path), data={"error": _safe_err(exc)}) |
|
|
|
|
| def _mkdir(abs_path: str, exist_ok: bool) -> str: |
| try: |
| os.makedirs(abs_path, exist_ok=exist_ok) |
| return f"Created directory: {_display_path(abs_path)}" |
| except Exception as exc: |
| return _err("mkdir_failed", "Failed to create directory.", path=_display_path(abs_path), data={"error": _safe_err(exc)}) |
|
|
|
|
| def _move_copy(action: str, src: str, dst: str, *, overwrite: bool) -> str: |
| try: |
| if not os.path.exists(src): |
| return _err("source_not_found", f"Source not found: {_display_path(src)}", path=_display_path(src)) |
| if os.path.isdir(dst): |
| |
| dst_path = os.path.join(dst, os.path.basename(src)) |
| else: |
| dst_path = dst |
| if os.path.exists(dst_path): |
| if overwrite: |
| if os.path.isdir(dst_path): |
| shutil.rmtree(dst_path) |
| else: |
| os.remove(dst_path) |
| else: |
| return _err( |
| "destination_exists", |
| f"Destination already exists: {_display_path(dst_path)}", |
| path=_display_path(dst_path), |
| hint="Set overwrite=True to replace the destination." |
| ) |
| if action == 'move': |
| shutil.move(src, dst_path) |
| else: |
| if os.path.isdir(src): |
| shutil.copytree(src, dst_path) |
| else: |
| shutil.copy2(src, dst_path) |
| return f"{action.capitalize()}d: {_display_path(src)} -> {_display_path(dst_path)}" |
| except Exception as exc: |
| return _err(f"{action}_failed", f"Failed to {action}.", path=_display_path(src), data={"error": _safe_err(exc), "destination": _display_path(dst)}) |
|
|
|
|
| def _delete(abs_path: str, *, recursive: bool) -> str: |
| try: |
| if not os.path.exists(abs_path): |
| return _err("path_not_found", f"Path not found: {_display_path(abs_path)}", path=_display_path(abs_path)) |
| if os.path.isdir(abs_path): |
| if not recursive: |
| |
| return _err("requires_recursive", "Refusing to delete a directory without recursive=True", path=_display_path(abs_path), hint="Pass recursive=True to delete a directory.") |
| shutil.rmtree(abs_path) |
| else: |
| os.remove(abs_path) |
| return f"Deleted: {_display_path(abs_path)}" |
| except Exception as exc: |
| return _err("delete_failed", "Failed to delete path.", path=_display_path(abs_path), data={"error": _safe_err(exc)}) |
|
|
|
|
| def _info(abs_path: str) -> str: |
| try: |
| st = os.stat(abs_path) |
| except Exception as exc: |
| return _err("stat_failed", "Failed to stat path.", path=_display_path(abs_path), data={"error": _safe_err(exc)}) |
| info = { |
| "path": _display_path(abs_path), |
| "type": "directory" if stat.S_ISDIR(st.st_mode) else "file", |
| "size": st.st_size, |
| "modified": datetime.fromtimestamp(st.st_mtime).isoformat(sep=' ', timespec='seconds'), |
| "created": datetime.fromtimestamp(st.st_ctime).isoformat(sep=' ', timespec='seconds'), |
| "mode": oct(st.st_mode), |
| "root": "/", |
| } |
| return json.dumps(info, indent=2) |
|
|
|
|
| @autodoc(summary=TOOL_SUMMARY) |
| def File_System( |
| action: Annotated[str, "Operation to perform: 'list', 'read', 'write', 'append', 'mkdir', 'move', 'copy', 'delete', 'info'."], |
| path: Annotated[str, "Target path, relative to root unless UNSAFE_ALLOW_ABS_PATHS=1."] = ".", |
| content: Annotated[Optional[str], "Content for write/append actions (UTF-8)."] = None, |
| dest_path: Annotated[Optional[str], "Destination for move/copy (relative to root unless unsafe absolute allowed)."] = None, |
| recursive: Annotated[bool, "For list (recurse into subfolders) and delete (required for directories)."] = False, |
| show_hidden: Annotated[bool, "Include hidden files (dotfiles)."] = False, |
| max_entries: Annotated[int, "Max entries to list (for list)."] = 200, |
| offset: Annotated[int, "Start offset for reading files (for read)."] = 0, |
| max_chars: Annotated[int, "Max characters to return when reading (0 = full file)."] = 4000, |
| create_dirs: Annotated[bool, "Create parent directories for write/append if missing."] = True, |
| overwrite: Annotated[bool, "Allow overwrite for move/copy destinations."] = False, |
| ) -> str: |
| _log_call_start( |
| "File_System", |
| action=action, |
| path=path, |
| dest_path=dest_path, |
| recursive=recursive, |
| show_hidden=show_hidden, |
| max_entries=max_entries, |
| offset=offset, |
| max_chars=max_chars, |
| create_dirs=create_dirs, |
| overwrite=overwrite, |
| ) |
| action = (action or "").strip().lower() |
| if action not in {"list", "read", "write", "append", "mkdir", "move", "copy", "delete", "info", "help"}: |
| result = _err( |
| "invalid_action", |
| "Invalid action.", |
| hint="Choose from: list, read, write, append, mkdir, move, copy, delete, info, help." |
| ) |
| _log_call_end("File_System", _truncate_for_log(result)) |
| return result |
|
|
| abs_path, err = _resolve_path(path) |
| if err: |
| _log_call_end("File_System", _truncate_for_log(err)) |
| return err |
|
|
| try: |
| if action == "help": |
| result = HELP_TEXT |
| elif action == "list": |
| if not os.path.exists(abs_path): |
| result = _err("path_not_found", f"Path not found: {_display_path(abs_path)}", path=_display_path(abs_path)) |
| else: |
| result = _list_dir(abs_path, show_hidden=show_hidden, recursive=recursive, max_entries=max_entries) |
| elif action == "read": |
| result = _read_file(abs_path, offset=offset, max_chars=max_chars) |
| elif action in {"write", "append"}: |
| |
| if _display_path(abs_path) == "/" or os.path.isdir(abs_path): |
| result = _err( |
| "invalid_write_path", |
| "Invalid path for write/append.", |
| path=_display_path(abs_path), |
| hint="Provide a file path under / (e.g., /notes/todo.txt)." |
| ) |
| else: |
| result = _write_file(abs_path, content or "", append=(action == "append"), create_dirs=create_dirs) |
| elif action == "mkdir": |
| result = _mkdir(abs_path, exist_ok=True) |
| elif action in {"move", "copy"}: |
| if not dest_path: |
| result = _err("missing_dest_path", "dest_path is required for move/copy (ignored for other actions).") |
| else: |
| abs_dst, err2 = _resolve_path(dest_path) |
| if err2: |
| result = err2 |
| else: |
| result = _move_copy(action, abs_path, abs_dst, overwrite=overwrite) |
| elif action == "delete": |
| result = _delete(abs_path, recursive=recursive) |
| else: |
| result = _info(abs_path) |
| except Exception as exc: |
| result = _err("exception", "Unhandled error during operation.", data={"error": _safe_err(exc)}) |
|
|
| _log_call_end("File_System", _truncate_for_log(result)) |
| return result |
|
|
|
|
| def build_interface() -> gr.Interface: |
| return gr.Interface( |
| fn=File_System, |
| inputs=[ |
| gr.Radio( |
| label="Action", |
| choices=["list", "read", "write", "append", "mkdir", "move", "copy", "delete", "info", "help"], |
| value="help", |
| ), |
| gr.Textbox(label="Path", placeholder=". or src/file.txt", max_lines=1, value="."), |
| gr.Textbox(label="Content (for write/append)", lines=6, placeholder="Text to write..."), |
| gr.Textbox(label="Destination (for move/copy)", max_lines=1), |
| gr.Checkbox(label="Recursive (list/delete)", value=False), |
| gr.Checkbox(label="Show hidden (list)", value=False), |
| gr.Slider(minimum=10, maximum=5000, step=10, value=200, label="Max entries (list)"), |
| gr.Slider(minimum=0, maximum=1_000_000, step=100, value=0, label="Offset (read)"), |
| gr.Slider(minimum=0, maximum=100_000, step=500, value=4000, label="Max chars (read, 0=all)"), |
| gr.Checkbox(label="Create parent dirs (write)", value=True), |
| gr.Checkbox(label="Overwrite destination (move/copy)", value=False), |
| ], |
| outputs=gr.Textbox(label="Result", lines=20), |
| title="File System", |
| description=( |
| "<div id=\"fs-desc\" style=\"text-align:center; overflow:hidden;\">Browse and interact with a filesystem. " |
| "Actions are required, fill other fields as needed." |
| "</div>" |
| ), |
| api_description=TOOL_SUMMARY, |
| flagging_mode="never", |
| submit_btn="Run", |
| css=( |
| """ |
| /* Hide scrollbars/arrows that can appear on the description block in some browsers */ |
| article.prose, .prose, .gr-prose { |
| overflow: visible !important; |
| max-height: none !important; |
| -ms-overflow-style: none !important; /* IE/Edge */ |
| scrollbar-width: none !important; /* Firefox */ |
| } |
| article.prose::-webkit-scrollbar, |
| .prose::-webkit-scrollbar, |
| .gr-prose::-webkit-scrollbar { |
| display: none !important; /* Chrome/Safari */ |
| } |
| """ |
| ), |
| ) |
|
|
|
|
| __all__ = ["File_System", "build_interface"] |
|
|