Algum (recente) emulador de terminal Linux me permite salvar minha sessão (abas, histórico, etc)?

6

Com o tempo, eu investi nas minhas sessões de terminal: guias, histórico de comandos, layout e título da janela, etc. Eventualmente, uma reinicialização exige que eu comece tudo de novo, o que desperdiça meu tempo.

Os dois emuladores de terminal com os quais estou familiarizado tinham, pelo menos, capacidade parcial aqui, mas a funcionalidade já foi removida: O konsole perdeu essa funcionalidade em algum lugar no caminho para o KDE4. O gnome-terminal perdeu a opção --save-config como "obsoleta" em algum lugar antes da versão 3.10.2, ou seja, a resposta aqui não se aplica mais: Salvar vários layouts do terminal gnome?

Eu quero capturar o estado atual de todas as sessões de terminal e restaurá-las após uma reinicialização. Uma solução com script seria adequada, desde que não exija atualizações manuais para rastrear alterações de sessão.

    
por srking 20.05.2014 / 20:48

3 respostas

1

isso não é exatamente o que você pediu, mas tmux tem esses recursos.

Apenas certifique-se de instalar o plugin tmux-resurrect junto com ele, que permite a restauração do ambiente tmux (janelas, divisões e certos programas em execução) após uma reinicialização.

No lado positivo, o tmux funcionará com todos

    
por 27.09.2014 / 05:32
1

Aqui está um fork do terminal xfce, com possibilidade de salvar / restaurar a sessão apenas no menu: link

    
por 06.04.2018 / 04:40
0

Eu acho que isso não é realmente uma resposta para sua pergunta, mas é assim que eu a configurei:

Um monte de scripts que abririam diferentes "presets Gnome-Terminal".

Por exemplo, neste script, eu abro o gnome-terminal com três guias, e chamo o SSH com parâmetros em cada um deles.

#!/bin/sh
PATH=/usr/bin:/bin 

gnome-terminal \
--tab -t CustomTabText1 -e 'sh -c "ssh hostname.one"' \
--tab -t CustomTabText2 -e 'sh -c "ssh hostname.two"' \
--tab -t CustomTabText3 -e 'sh -c "ssh hostname.three"'

Eu também usei o arquivo de configuração ssh para refletir os parâmetros específicos do host SSH. Claro, se você precisar de uma exceção, apenas passe os parâmetros para SSH no script gnome-terminal, que terá precedência sobre o arquivo de configuração do SSH.

    
por 29.09.2014 / 15:26