Estou procurando um multiplexador de terminal. Eu sei sobre o tmux. É ótimo, mas tem uma desvantagem. Não é possível copiar / colar o texto selecionado com o mouse (e ele não suporta o botão direito do mouse). Então, que outros multiplexadores existem e quais são as vantagens / desvantagens para eles?
Talvez o terminador atenda às minhas expectativas?