输入命令后,有没有办法连接时间?例如:
user@machine$ date
11:50:41
Tue Jun 25 11:50:41 EEST 2019
目前的解决方法是在用户名前添加\t\n
PS1,但这并不是我想要实现的,因为它可能会出错,尤其是当处理需要时间并且有大量输出时,例如当 apt 在中断后运行时。
我的一个想法是使用 捕获输入,read
但在打印时间后执行它。一个缺点是命令随后被第二次输入/打印。
答案1
trap 'date +%T' DEBUG
从该问题的答案中得出的解决方案:bash 是否有一个在执行命令之前运行的钩子?。