¿Hay alguna manera de concatenar el tiempo después de ingresar el comando? Ejemplo:
user@machine$ date
11:50:41
Tue Jun 25 11:50:41 EEST 2019
La solución actual es agregar \t\na PS1 antes del nombre de usuario, pero eso no es exactamente lo que quiero lograr, como podría mentir, especialmente cuando el procesamiento lleva tiempo y tiene muchos resultados, por ejemplo, cuando apt se ejecuta después de una pausa.
Una idea que tuve fue capturar la entrada readpero ejecutarla después de que se imprimiera la hora. Una desventaja es que el comando se ingresa/imprime por segunda vez.
Respuesta1
trap 'date +%T' DEBUG
Solución tomada de las respuestas a esta pregunta:¿Bash tiene un gancho que se ejecuta antes de ejecutar un comando?.