X-Git-Url: https://ruderich.org/simon/gitweb/?a=blobdiff_plain;f=zsh%2Frc;h=e00852799e5d22f9509db18655c87c9782f825e8;hb=b62dbee94eff2731fe6fb05f8e21ce15a3bd6fa6;hp=bab6a06f7c0db052817aa769a0e8c2955847dcbf;hpb=41549dc5e24a5329a7d2e25b4f555a8a0c0adc94;p=config%2Fdotfiles.git

diff --git a/zsh/rc b/zsh/rc
index bab6a06..e008527 100644
--- a/zsh/rc
+++ b/zsh/rc
@@ -145,6 +145,9 @@ bindkey -a '^N' history-beginning-search-forward
 # Use colorized output, necessary for prompts and completions.
 autoload -U colors && colors
 
+# Necessary for $EPOCHSECONDS, the UNIX time.
+zmodload zsh/datetime
+
 # Some shortcuts for colors. The %{...%} tells zsh that the data in between
 # doesn't need any space, necessary for correct prompt draw.
 local red="%{${fg[red]}%}"
@@ -253,6 +256,8 @@ fi
 # code in red and bold and the job count in yellow.
 #
 # Thanks to Adam's prompt for the basic idea of this prompt.
+#
+# The current time is display in hex in the right prompt.
 prompt_precmd() {
     # Regex to remove elements which take no space. Used to calculate the
     # width of the top prompt. Thanks to Bart's and Adam's prompt code in
@@ -293,6 +298,8 @@ $blue%B'%b$default\
 $green%B%n%b$default@$green%B%m%b$default %(1j.$yellow%j$default.)%# \
 %(?..($red%B%?%b$default%) )"
 
+    # Display current time in hex in right prompt in bright blue.
+    RPROMPT="$blue%B0x$(( [##16] EPOCHSECONDS ))%b$default"
 }
 add-zsh-hook precmd prompt_precmd
 
@@ -525,17 +532,6 @@ TRAPINT() {
     return $1
 }
 
-# Colorize stderr in red. Very useful when looking for errors. Thanks to
-# http://gentoo-wiki.com/wiki/Zsh for the basic script and Mikachu in #zsh on
-# Freenode (2010-03-07 04:03 CET) for some improvements (-r, printf). It's not
-# yet perfect and doesn't work with su and git for example, but it can handle
-# most interactive output quite well (even with no trailing new line) and in
-# cases it doesn't work, the E alias can be used as workaround.
-exec 2>>(while read -r -k -u 0 line; do
-    printf '\e[91m%s\e[0m' "$line";
-    print -n $'\0';
-done &)
-
 # Load aliases and similar functions also used by other shells.
 if [[ -f ~/.shell/aliases ]]; then
     . ~/.shell/aliases
@@ -634,10 +630,24 @@ if [[ $TERM != dumb && $TERM != linux && -z $STY ]]; then
     fi
 fi
 
+# Colorize stderr in red. Very useful when looking for errors. Thanks to
+# http://gentoo-wiki.com/wiki/Zsh for the basic script and Mikachu in #zsh on
+# Freenode (2010-03-07 04:03 CET) for some improvements (-r, printf). It's not
+# yet perfect and doesn't work with su and git for example, but it can handle
+# most interactive output quite well (even with no trailing new line) and in
+# cases it doesn't work, the E alias can be used as workaround.
+#
+# Moved in the "run commands" section to prevent one unnecessary zsh process
+# when starting screen (see above).
+exec 2>>(while read -r -k -u 0 line; do
+    printf '\e[91m%s\e[0m' "$line";
+    print -n $'\0';
+done &)
+
 # Run reminder and redisplay it every four hours (if it's available).
 PERIOD=14400
 periodic() {
-    which rem > /dev/null && rem
+    which rem > /dev/null && rem -h
 }