dot/e16-bindings, bin/media-keys: Keybindings for media players.

[profile] / dot / zshrc

diff --git a/dot/zshrc b/dot/zshrc
index a42e48220f2932fcabffb679676ef83790ac42c7..34ddcf58c2fb4b9b61660bf655d6027d06b6b6db 100644 (file)
--- a/dot/zshrc
+++ b/dot/zshrc
@@ -17,7 +17,7 @@ __mdw_set_prompt_hacks () {
       gitcolour=%F{cyan} rccolour=%F{red} uncolour=%f
       ;;
   esac
-  host=%m dir=" %(6~!%-1~/.../%5~!%~)"
+  host=%m dir=" %(6~!%-1~/.../%4~!%~)"
   more=%F{green}%_%f
 }
 
@@ -137,10 +137,11 @@ unsetopt bash_auto_list
 unsetopt beep
 setopt extendedglob
 unsetopt flow_control
+unsetopt global_export
 setopt glob_star_short
 setopt hist_ignore_all_dups
 setopt hist_ignore_space
-setopt ksh_glob
+unsetopt ksh_glob
 setopt list_ambiguous
 setopt list_packed
 setopt multios
@@ -150,6 +151,8 @@ setopt notify
 setopt rc_expand_param
 setopt share_history
 
+hash -d t=$TMPDIR
+
 ###--------------------------------------------------------------------------
 ### Finishing touches.