Como reinicializar uma janela de terminal em vez de fechá-la e iniciar uma nova?

37

Quando faço algumas alterações no comportamento shell / bash. Ou seja configurar um alias, que maneira rápida existe para reinicializar a janela do terminal em vez de fechar e abrir uma nova abertura? Talvez uma solução de linha de comando?

    
por NES 02.01.2011 / 23:01

5 respostas

43

Se você quer dizer que está recarregando sua configuração .bashrc:

. ~/.bashrc (note que ponto antes do nome do arquivo)

    
por narkisr 02.01.2011 / 23:18
26

Some Adição que encontrei na página man do comando reset / tset

tset redefinir a inicialização do terminal

Comando

: reset

Tset inicializa os terminais. Tset determina primeiro o tipo de terminal que você é usando. Essa determinação é feita da seguinte maneira, usando o primeiro tipo de terminal encontrado.

uma vantagem parece ser que ela é independente do shell usado. também trabalha com peixe aqui.

Então, para reinicializar qualquer terminal, basta fazer -

$ tset

OR

$ reset
    
por NES 03.01.2011 / 12:37
6

Você precisa substituir o aplicativo / shell em execução com uma nova instância. Por exemplo. Se você estiver usando bash como seu shell preferido, digite a seguinte linha na sua linha de comando ( $ é o espaço reservado para o início de sua linha de comando):

> $ exec bash

O aplicativo / shell em execução é substituído pela nova instância de bash , como começar do zero. Todas as suas modificações anteriores desapareceram.

Observação: Não esqueça que o seu aplicativo de terminal pode ser reprogramado. Você precisa redefinir seu aplicativo de terminal manualmente.

    
por Raphael Bossek 03.01.2011 / 14:37
6

Uma opção adicional para o exec bash é que, se você alterou seu .profile (ou .bash_profile ), poderá fazer

$ exec bash --login

Isso também lerá seu perfil novamente. Não faria mal adicionar a opção -i para explicitamente dizer bash que este é um shell interativo, mas normalmente pode descobrir isso por si mesmo.

    
por Tony Ledford 07.04.2012 / 19:40
0

seu shell é um executável que você pode chamar. Então, se você estiver usando o bash, você pode chamar bash e, se estiver usando outra coisa, como zsh, basta digitar zsh

    
por Rick 03.01.2011 / 00:45

Tags