Gostaria que o tcsh imprimisse a hora em que cada comando é executado, de preferência na coluna da direita da tela. Isto é semelhante ao que rprompt pode ser usado para fazer com a seguinte configuração,
set rprompt = "%P"
exceto que as impressões acima do tempo quando o prompt foi impresso na tela, não o tempo que o próximo comando é executado. Eu acho isso inútil; Se eu não tiver digitado um comando por algum tempo e depois executar um comando, a hora impressa ao lado do comando não refletirá quando eu o executei. Eu pensei que o seguinte faria isso,
alias postcmd 'set rprompt="'date +%T'"'
mudando dinamicamente o valor de rprompt antes de cada comando ser executado, mas isso também não o faz; não atualiza a hora até o momento em que o comando é executado. (E, na verdade, não entendo o porquê.) Configurar precmd também não faz isso.
Como posso conseguir isso?
A minha pergunta é essencialmente idêntico ao esta questão , exceto que eu uso tcsh e não bash, e resposta aceita a outra questão (ou seja, a definição precmd ) não aparece para trabalhar para mim.