diff --git a/.bashrc b/.bashrc index 9693be0e54ffca1ba029bc80baa61fe3376f4e3a..781a730fc28585c44507aaffe5c31fa0506df0ac 100644 --- a/.bashrc +++ b/.bashrc @@ -241,7 +241,7 @@ __prerun () { __prompt () { local exitstatus="$?" local runduration prompt - ! type history > /dev/null 2> /dev/null || history -a + ! [ "$(type history 2> /dev/null)" = "history is a shell builtin" ] || history -a prompt="" [ ! -f "$HOME/.prerun.$$" ] || runduration="$(__run_duration)" [ "${runduration:-0}" -lt "10" ] || prompt="$(cyan -n "[Run duration: $runduration]") $prompt"