News for hackers. Stuff that matters.

A comment on When did I run that command? Update your Bash prompt with the command start time. Parent comment

Re:When did I run that command? Update your Bash prompt with... by mikelward on Saturday April 18, 2020 @11:34PM (#22913291)
This is one way you could do something similar in zsh: https://stackoverflow.com/a/17915260/102182
[ Parent | on HN ]
Re:When did I run that command? Update your Bash prompt with... by countermeasure on Saturday April 18, 2020 @11:47PM (#22913348)
It looks like zsh can handle updating the time in the prompt quite simply and elegantly.
[ Parent | on HN ]
Re:When did I run that command? Update your Bash prompt with... by mikelward on Sunday April 19, 2020 @12:04AM (#22913428)
Yes, I find that solution much simpler.
[ Parent | on HN ]
Re:When did I run that command? Update your Bash prompt with... by Symbiote on Sunday April 19, 2020 @08:21AM (#22915394)
It keeps the clock up-to-date, but I use Konsole's "monitor for activity" feature, which changes the colour of inactive tabs if there is output.

Instead, this seems to work:

  TRAPDEBUG() {
    case "$WIDGET" in
      zle-line-finish)
        zle reset-prompt
        ;;
      *)
        ;;
    esac
  }
(I don't know if further cases will be required.)

This updates the prompt after "enter" is pressed, but before the command is executed.

[ Parent | on HN ]