Existe alguma maneira de enviar meus comandos para um arquivo de histórico secundário além do local padrão do histórico? Eu sei que essa configuração HISTFILEenviará meus comandos para locais personalizados, mas ainda quero que os comandos sejam enviados para o local original.
O caso de uso é que os comandos estão sendo executados em uma única máquina por vários usuários, todos usando a mesma conta Linux. Eu gostaria de poder transferir o histórico de comandos para um arquivo de histórico mais baseado em sessão. A sessão pode ser definida por alguma variável de ambiente que o usuário configure, por exemplo.
Talvez eu esteja fazendo errado, mas tentei otrap ... DEBUGestratégiamas também é executado depois de todos os comandos no meu arquivo PS1. Também tentei definir my PS4e running set -x, mas ainda recebo uma linha vazia extra após cada comando executado.