bashrc: set +H

diff --git a/dot/bashrc b/dot/bashrc
index 5bd98644e8cfb2889b17d7c138f7c8252a26def2..01bde84d8edd72dd77f5938d24468ee92ac57077 100644 (file)
--- a/dot/bashrc
+++ b/dot/bashrc
@@ -23,6 +23,8 @@ cd() { builtin cd "$@"; setprompt; }
 pu() { builtin pushd "$@"; setprompt; }
 po() { builtin popd "$@"; setprompt; }
 
 pu() { builtin pushd "$@"; setprompt; }
 po() { builtin popd "$@"; setprompt; }
 

+set +H
+

 # Set up history and prompt
 if [ "$PS1" ]
 then
 # Set up history and prompt
 if [ "$PS1" ]
 then