feat: make console TUI the default for ssh-monitor

Replace --console flag with --web flag so that the console TUI is used
by default for ssh-monitor, and --web must be passed to use the web UI.

Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

Author: bpiwowar

docs/source/changelog.md

@@ -233,7 +233,7 @@ When enabled, experimaestro tracks CO2 emissions, energy consumption, and power
 Monitor experiments running on remote servers directly from your local machine:
 
 ```bash
-experimaestro experiments ssh-monitor user@cluster /path/to/workspace --console
+experimaestro experiments ssh-monitor user@cluster /path/to/workspace
 ```
 
 Features include JSON-RPC communication over SSH, on-demand file synchronization for logs, and support for both Web UI and TUI. See [Remote Monitoring via SSH](interfaces.md#remote-monitoring-via-ssh) for details.

docs/source/cli.md

@@ -275,7 +275,7 @@ experimaestro experiments ssh-monitor HOST REMOTE_WORKDIR [OPTIONS]
 
 | Option | Description |
 |--------|-------------|
-| `--console` | Use terminal TUI instead of web UI |
+| `--web` | Use web UI instead of console TUI (console is default) |
 | `--port PORT` | Port for local web server (default: 12345) |
 | `--remote-xpm PATH` | Path to experimaestro on remote host |
 | `-o, --ssh-option OPT` | Additional SSH options (can be repeated) |
@@ -287,14 +287,14 @@ experimaestro experiments ssh-monitor HOST REMOTE_WORKDIR [OPTIONS]
 Examples:
 
 ```bash
-# Basic monitoring with web UI
+# Basic monitoring (console TUI by default)
 experimaestro experiments ssh-monitor myserver /home/user/experiments
 
-# With console TUI
-experimaestro experiments ssh-monitor user@host /workspace --console
+# With web UI
+experimaestro experiments ssh-monitor user@host /workspace --web
 
 # Using workspace SSH settings from settings.yaml
-experimaestro experiments ssh-monitor --workspace my-cluster --console
+experimaestro experiments ssh-monitor --workspace my-cluster
 
 # With shell init for HPC environments
 experimaestro experiments ssh-monitor host /workspace --remote-shell-init "source /etc/profile; module load python/3.10"

docs/source/interfaces.md

@@ -218,11 +218,11 @@ experimaestro experiments ssh-monitor HOST REMOTE_WORKDIR [OPTIONS]
 ### Examples
 
 ```bash
-# Basic SSH monitoring with web UI
+# Basic SSH monitoring (console TUI by default)
 experimaestro experiments ssh-monitor myserver /home/user/experiments
 
-# With console TUI instead of web UI
-experimaestro experiments ssh-monitor user@cluster.example.com /scratch/experiments --console
+# With web UI instead of console TUI
+experimaestro experiments ssh-monitor user@cluster.example.com /scratch/experiments --web
 
 # Custom port for web interface
 experimaestro experiments ssh-monitor myserver /workspace --port 8080
@@ -238,7 +238,7 @@ experimaestro experiments ssh-monitor myserver /workspace --remote-xpm /opt/cond
 
 | Option | Description |
 |--------|-------------|
-| `--console` | Use terminal TUI instead of web UI |
+| `--web` | Use web UI instead of console TUI (console is default) |
 | `--port PORT` | Port for local web server (default: 12345) |
 | `--remote-xpm PATH` | Path to experimaestro executable on remote host |
 | `-o, --ssh-option OPT` | Additional SSH options (can be repeated) |
@@ -272,7 +272,7 @@ workspaces:
 Then use `--workspace` to load settings automatically:
 
 ```bash
-experimaestro experiments ssh-monitor --workspace my-cluster --console
+experimaestro experiments ssh-monitor --workspace my-cluster
 ```
 
 See [Remote Workspaces (SSH)](settings.md#remote-workspaces-ssh) for all available settings.

docs/source/settings.md

@@ -117,10 +117,10 @@ Once configured, use `--workspace` with `ssh-monitor` to avoid repeating host/op
 
 ```bash
 # All settings come from the workspace configuration
-experimaestro experiments ssh-monitor --workspace my-cluster --console
+experimaestro experiments ssh-monitor --workspace my-cluster
 
 # CLI flags override workspace settings
-experimaestro experiments ssh-monitor --workspace my-cluster --uv-offline --console
+experimaestro experiments ssh-monitor --workspace my-cluster --uv-offline
 ```
 
 All SSH settings can be overridden by CLI flags (`--remote-shell-init`, `--uv-offline`,

src/experimaestro/cli/__init__.py

@@ -634,7 +634,9 @@ def monitor(
 @experiments.command("ssh-monitor")
 @click.argument("host", type=str, required=False, default=None)
 @click.argument("remote_workdir", type=str, required=False, default=None)
-@click.option("--console", is_flag=True, help="Use console TUI instead of web UI")
+@click.option(
+    "--web", is_flag=True, help="Use web UI instead of console TUI (default is console)"
+)
 @click.option(
     "--events-viewer",
     is_flag=True,
@@ -713,7 +715,7 @@ def monitor(
 def ssh_monitor(
     host: str | None,
     remote_workdir: str | None,
-    console: bool,
+    web: bool,
     events_viewer: bool,
     events_format: str,
     no_progress: bool,
@@ -739,8 +741,8 @@ def ssh_monitor(
 
     Examples:
         experimaestro experiments ssh-monitor myserver /path/to/workspace
-        experimaestro experiments ssh-monitor user@host /workspace --console
-        experimaestro experiments ssh-monitor --workspace my-cluster --console
+        experimaestro experiments ssh-monitor user@host /workspace --web
+        experimaestro experiments ssh-monitor --workspace my-cluster
         experimaestro experiments ssh-monitor host /workspace --remote-shell-init "source /etc/profile; module load python/3.10"
         experimaestro experiments ssh-monitor host /workspace --uv-offline --remote-python python3
     """
@@ -827,7 +829,7 @@ def ssh_monitor(
     _run_monitor_ui(
         state_provider,
         state_provider.local_cache_dir,
-        console,
+        not web,
         port,
         title=effective_host,
         events_viewer=events_viewer,