diff options
Diffstat (limited to 'config/zsh/plugins/timer.zsh')
| -rw-r--r-- | config/zsh/plugins/timer.zsh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/config/zsh/plugins/timer.zsh b/config/zsh/plugins/timer.zsh index 3610877..5505657 100644 --- a/config/zsh/plugins/timer.zsh +++ b/config/zsh/plugins/timer.zsh @@ -1,5 +1,6 @@ function preexec() { timer=$(($(date +%s%0N)/1000000)) + echo -n "\\x1b]133;A\\x1b\\" # OSC 133 for marking prompt } function precmd() { |