[Bug]: Copy Terminal ID button does nothing over an Orca Server connection
- Dominant language
- TypeScript
- Stars
- 69.7k
- Forks
- 4.5k
- Avg merge
- 16h 8m
- Merged PRs (30d)
- 451
Description
### Operating system
Client OS: not captured. Orca Server host: Ubuntu 22.04, Linux 6.8, x64.
### Orca version
1.4.162
### Details
The **Copy Terminal ID** button does nothing for a terminal accessed through an Orca Server connection.
Steps to reproduce:
1. Connect the Orca client to an Orca Server.
2. Open a workspace terminal provided through that server connection.
3. Click **Copy Terminal ID**.
4. Paste into any text field.
Expected: the terminal handle/ID is placed on the client clipboard.
Actual: the clipboard is unchanged; no terminal ID is copied.
Transport clarification: this reproduces over an **Orca Server connection**, not SSH and not the paired plain-HTTP web client.
This is narrower than general terminal-selection copy: the failure is on the explicit **Copy Terminal ID** button in the Orca Server-connected path.
Related: stablyai/orca#10532 and its merged fix [#10534]() covered the same copy surface in the paired web client over plain HTTP. That issue is closed, and the fix predates the 1.4.162 release, so this report tracks the remaining Orca Server connection case rather than reopening the HTTP-client bug.
Useful acceptance criteria:
* **Copy Terminal ID** copies the ID from Orca Server-connected terminal tabs to the local client clipboard.
* Success feedback is only shown after a clipboard write succeeds.
* A failed write produces visible failure feedback instead of silently doing nothing.
* Local and paired-web terminal ID copy behavior remains unchanged.
Contributor guide
Assessment
This issue has not been assessed yet.