Gerenciador de sessões de terminal / bash

Question

Existe um gerenciador de sessão para sessões bash de várias guias, semelhante ao modo como o Google Chrome gerencia sessões de navegação na Web? O que estou procurando é a capacidade de armazenar e restaurar as guias do shell (atualmente estou usando o GNOME como meu terminal) e seu histórico (entrada e saída). Também seria bom se a sessão fosse salva automaticamente para que, se eu reiniciasse minha máquina, pudesse voltar rapidamente à sessão anterior.

    

Answer 1

Existe para todos os seus requisitos (mas não para salvá-los) e é chamado screen .

Quanto a salvar as sessões:

• Como há apenas um .bash_history por usuário, é muito difícil manter históricos diferentes, não conheço essa possibilidade.
• Uma sessão pode ter facilmente um estado não restaurável, por ex. pense em ter uma conexão SSH aberta - não é possível restaurá-la após uma reinicialização. Essa é uma diferença sistemática entre uma sessão do navegador e uma sessão do shell.