Estou usando o Terminal 2.31.3 do GNOME.
Eu estava no trabalho, ssh'ed em uma máquina no trabalho. Eu cheguei em casa e, obviamente, quebrei a conexão, por isso quero redefinir a guia do terminal.
Existe uma opção de menu Terminal > Redefinir e limpar . Esta opção de menu irá limpar a janela do terminal, mas não parece reiniciar. Não consigo digitar nada nessa guia. Eu tenho que fechar a aba e abrir outra.
EDIT: Haha. Engraçado. Eu passei pelo estouro de pilha por um tempo, e agora quando eu volto para o meu terminal, ele diz Write failed: Broken pipe e finalmente eu posso digitar novamente.
Isso é um bug? Não deveria me restabelecer uma sessão de terminal / shell limpa que eu possa começar a usar imediatamente?
Tags gnome-terminal gnome linux