História diferente para terminais diferentes

História diferente para terminais diferentes

Eu gostaria de ter algo como "ambiente de histórico", para que em diferentes consoles eu possa acessar diferentes históricos.

Tenho terminais diferentes definidos, gostaria de ter para cada terminal seu próprio histórico:

insira a descrição da imagem aqui

Responder1

Você pode fazer isso definindo diferentes arquivos de histórico para cada perfil. O nome do arquivo histórico é definido pelo valor da HISTFILEvariável de ambiente. Portanto, definir um comando personalizado para cada um dos seus perfis de terminal que define esta variável para um arquivo específico e depois é executado bashfornecerá um histórico para cada perfil:

captura de tela das preferências do gnome-terminal mostrando o comando personalizado

O comando deve ser:

env HISTFILE=/home/terdon/.bash_history.one bash

Mude /home/terdon/.bash_history.onepara um nome que funcione no seu sistema, pode ser o que você quiser, mas é melhor ter no seu $HOME. Em seguida, basta definir um arquivo diferente para cada perfil e pronto.

informação relacionada