From 7789f1158be435d03520dec5463c00168c5a214c Mon Sep 17 00:00:00 2001
From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Mon, 31 Oct 2016 17:47:46 +0000
Subject: [PATCH] bashrc: set +H

---
 dot/bashrc | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/dot/bashrc b/dot/bashrc
index 5bd9864..01bde84 100644
--- a/dot/bashrc
+++ b/dot/bashrc
@@ -23,6 +23,8 @@ cd() { builtin cd "$@"; setprompt; }
 pu() { builtin pushd "$@"; setprompt; }
 po() { builtin popd "$@"; setprompt; }
 
+set +H
+
 # Set up history and prompt
 if [ "$PS1" ]
 then
-- 
2.30.2