From b7465ec2b06b53c942f56c6450422fcdd423fdd7 Mon Sep 17 00:00:00 2001 From: Hugues Hiegel Date: Fri, 31 Jul 2009 09:57:05 +0200 Subject: [Prompts] groumpf@openwide displays a date/time instead of redisplaying prompt --- net:opera.openwide.fr/host:groumpf/Prompts.zsh | 28 ++++++++++++++++++++++++++ 1 file changed, 28 insertions(+) create mode 100644 net:opera.openwide.fr/host:groumpf/Prompts.zsh diff --git a/net:opera.openwide.fr/host:groumpf/Prompts.zsh b/net:opera.openwide.fr/host:groumpf/Prompts.zsh new file mode 100644 index 0000000..09cd690 --- /dev/null +++ b/net:opera.openwide.fr/host:groumpf/Prompts.zsh @@ -0,0 +1,28 @@ +## +## Part of configuration files for Zsh 4 +## by Hugues Hiegel +## +## NO WARRANTY PROVIDED, USE AT YOUR OWN RISKS +## +## You are encouraged to use, modify, and redistribute +## these files with or without this notice. +## + +preexec () +{ + term_title "$(echo $1 | tr ' \n' ' ;' | sed 's/%/%%/g;s/\\/\\\\/g;s/;$//')" + print -Pn "$C_$prompt_colors[exec]$_C" + + __START_CMD_DATE=$(date) + __START_CMD_ZSH_=$(date "+%s") +} + +precmd() +{ + __START_CMD_ZSH_=${__START_CMD_ZSH_:-$(date "+%s")} + [ "$[ `date "+%s"` - $__START_CMD_ZSH_ ]" -gt 1 ] && echo "$__START_CMD_DATE" + + update_prompt + redisplay_prompt +} + -- cgit v1.2.3