tmux、セッション、再接続

tmux で変わること

接続するたびに、アプリはその名前の tmux セッションを開き、なければ作成します。接続が切れても、エージェントやビルド、エディタはサーバー上で動き続けます。

アプリは自分のセッションでマウスサポートもオンにし(スクロール操作で tmux の履歴をさかのぼれるように)、エージェントの通知を通します。tmux のグローバル設定や ~/.tmux.conf を変更することはありません。

自動再接続

設定 › 接続 › 自動的に再接続 は最初からオンです。ネットワークが切れると、タブに … 秒後に再接続します… と表示され、待ち時間を徐々に延ばしながら再試行します(1、2、4… 最大 30 秒、12 回まで)。すぐに再試行するには 今すぐ をタップします。スマートフォンのネットワークが変わったとき(Wi-Fi からモバイルデータなど)は、ただちに再試行します。

接続時にパスワードを入力した場合、アプリは再接続できるよう、このセッションの間だけメモリに保持します。exit と入力したとき、tmux を終了したとき、切断 をタップしたときは再接続しません。

設定 › 接続 の キープアライブ は数秒ごとに小さなパケットを送り、切れた接続にアプリが早く気づけるようにします。アイドル状態の接続を閉じるルーターもあるので、オンのままにしておいてください。

複数のセッションを同時に

同じサーバーにも別のサーバーにも、セッションはいくつでも開けます。それぞれがターミナル上部のタブになり、バックグラウンドでも接続を保ちます。セッションが開いている間、Android には すべて切断 付きの通知が表示されます。ホスト 上部の アクティブなセッション から、どのセッションにも戻れます。

出力を検索する

⋮ › 検索 で、アプリが受信したテキストを検索できます。tmux を使っている場合、古い出力は tmux が保持しています。スクロール操作で上にさかのぼって確認してください。