¿Cómo envío mi historial de comandos a dos archivos de historial diferentes?

¿Cómo envío mi historial de comandos a dos archivos de historial diferentes?

¿Hay alguna forma de enviar mis comandos a un archivo de historial secundario además de la ubicación predeterminada del historial? Sé que esa configuración HISTFILEenviará mis comandos a ubicaciones personalizadas, pero aún quiero que los comandos se envíen a la ubicación original.

El caso de uso es que varios usuarios ejecutan comandos en una sola máquina y todos usan la misma cuenta de Linux. Me gustaría poder transferir el historial de comandos a un archivo de historial más basado en sesiones. La sesión puede definirse mediante alguna variable de entorno que establezca el usuario, por ejemplo.

Quizás lo estoy haciendo mal, pero he probado eltrap ... DEBUGestrategiapero también se ejecuta después de todos los comandos en mi PS1. También intenté configurar my PS4and running set -x, pero todavía aparece una línea vacía adicional después de cada comando que ejecuto.

información relacionada