9Remote Docs

File Explorer

Browse folders, edit code, and manage Git repositories from anywhere.

What It Does

9Remote File Explorer lets you navigate your file system, edit code with syntax highlighting, and perform Git operations - all from your browser.

Core Features

File Tree Navigation

  • Browse any directory on your computer
  • Expand/collapse folders
  • Quick navigation with breadcrumbs
  • Recent workspaces for quick access

Code Editor

Built-in editor with:

  • Syntax highlighting for 20+ languages
  • Line numbers
  • Auto-indentation
  • Find & replace
  • Keyboard shortcuts

Supported Languages: JavaScript, Python, HTML, CSS, JSON, Markdown, Go, Rust, Java, PHP, Ruby, Shell, YAML, XML, and more.

File Operations

Create, manage, and organize files:

  • Create - New files and folders
  • Rename - Change file/folder names
  • Delete - Remove files and folders
  • Copy - Duplicate files
  • Move - Drag and drop (coming soon)

Git Integration

Full Git support:

  • View file status (modified, added, deleted)
  • See diff for changed files
  • Commit changes with message
  • Push to remote repository
  • Branch information

Find files quickly:

  • Search by filename
  • Filter by file type
  • Navigate results instantly

How to Use

Browse Workspace

  1. Click "File Explorer" from main menu
  2. Select a workspace or browse to a folder
  3. Click folders to expand
  4. Click files to open

Edit Files

  1. Click any file to open in editor
  2. Make your changes
  3. Click "Save" button (or Ctrl+S)
  4. File is saved automatically

Create Files & Folders

New File:

  1. Click "+" button
  2. Select "New File"
  3. Enter filename
  4. File opens in editor

New Folder:

  1. Click "+" button
  2. Select "New Folder"
  3. Enter folder name
  4. Folder appears in tree

Git Operations

View Changes:

  1. Click "Git" button
  2. See all modified files
  3. Click file to view diff

Commit Changes:

  1. Open Git panel
  2. Review changes
  3. Enter commit message
  4. Click "Commit"

Push to Remote:

  1. After committing
  2. Click "Push" button
  3. Changes pushed to remote

Search Files

  1. Click search icon
  2. Type filename
  3. Results appear instantly
  4. Click result to open file

Editor Shortcuts

  • Ctrl+S - Save file
  • Ctrl+F - Find
  • Ctrl+H - Find and replace
  • Ctrl+Z - Undo
  • Ctrl+Y - Redo
  • Tab - Indent
  • Shift+Tab - Outdent

Tips & Tricks

Recent Workspaces

  • Your last 5 workspaces are saved
  • Quick access from workspace list
  • No need to browse every time

Git Status Colors

  • 🟢 Green - New files
  • 🟡 Yellow - Modified files
  • 🔴 Red - Deleted files

Large Projects

  • Use search instead of browsing
  • Open specific folders
  • Close unused files

Mobile Editing

  • Use landscape mode
  • Zoom in for better visibility
  • External keyboard recommended

Common Use Cases

Quick Edits

  • Fix typos in config files
  • Update documentation
  • Modify scripts

Code Review

  • View file changes
  • Check diffs
  • Review before commit

Configuration

  • Edit .env files
  • Update configs
  • Modify settings

Git Workflow

  • Make changes
  • Review diffs
  • Commit with message
  • Push to remote

Limitations

Not Supported:

  • Binary files (images, videos)
  • Very large files (> 10MB)
  • File upload/download (coming soon)
  • Multiple file selection

Performance:

  • Large folders may be slow
  • Use search for big projects
  • Close unused files

Troubleshooting

Can't see files

  • Check folder permissions
  • Try different workspace
  • Refresh browser

Can't save file

  • Check file permissions
  • File may be read-only
  • Try saving as new file

Git not working

  • Check if folder is Git repo
  • Run git init if needed
  • Check Git credentials

Search not finding files

  • Check spelling
  • Try partial filename
  • Browse manually

← Back: Remote Desktop | Next: Troubleshooting →