Existe uma maneira de concatenar o tempo após a inserção do comando? Exemplo:
user@machine$ date
11:50:41
Tue Jun 25 11:50:41 EEST 2019
A solução atual é adicionar \t\nPS1 antes do nome de usuário, mas não é exatamente isso que eu quero alcançar, pois pode ser, especialmente quando o processamento leva tempo e tem muitos resultados, por exemplo, quando o apt é executado após um hiato.
Uma ideia que tive foi capturar a entrada, readmas executá-la após a impressão da hora. Uma desvantagem é que o comando é inserido/impresso pela segunda vez.
Responder1
trap 'date +%T' DEBUG
Solução tirada das respostas a esta pergunta:O bash tem um gancho que é executado antes de executar um comando?.