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 > Re...
28.03.2013 / 02:31