Managing sessions

There are two ways to get rid of a session tab, and they are not the same thing. Detaching closes the tab and leaves the session running on the server, so you can pick it up later. Ending kills it, along with whatever was running in it.

Everything else on this page follows from that difference.

Tab overflow menu

Each open session is a tab in the terminal's tab strip. Tap the tab's overflow menu to see these options, in this order:

• "Update Termphin agent" - only if the app bundles a newer agent than the server has.
• "Manage Tunnels" when connected, or "Retry" if the tab is disconnected or failed.
• "Connection log" - always there.
• "Rename session" - only for a session backed by the agent.
• A close entry: "Detach (keep running)" for an agent-backed session, "Disconnect" for a connected plain SSH session, or "Close" for one that is not connected.
• "End session" - only for an agent-backed session. This kills the session on the server. The confirmation says so.

Re-attaching detached sessions

Sessions left running on a server are picked back up from the sheet for starting a new session. Each machine's row there has an overflow menu. Tap "Sessions on server" to fetch the list. This is only done when asked, because it costs an SSH round trip. The list is not kept up to date in the background.

If there are no detached sessions, the list reads "No detached sessions on this server."

The list only shows sessions with nothing attached to them and which are not already open as a tab. It never offers a session you are already looking at.

Each session in the list can be attached, renamed, or killed. Killing asks first, naming the session and warning that everything running in it will be terminated.

Opening a detached session shows "Session detached" and "The session is still running on the server. Re-attach to pick up where you left off.", with a "Re-attach" button.

Naming sessions

A session name can contain letters, numbers, - and _, and nothing else, up to 64 characters. Spaces are not allowed, including at the ends. The rule is the same wherever you rename from - the tab menu or the list of sessions on a server.

Names are worth using once you keep more than one session on a machine, since the list on the server is how you tell them apart later.