Oops, *append* my local man path to MANPATH instead of clobbering the original
[dotfiles-public.git] / src / .bashrc.d / 05histappend
1 if [ "${OS}" != 'Gentoo' ] && [ "${OS}" != 'Gentoo Prefox' ]; then
2         # Enable history appending instead of overwriting.
3         # https://bugs.gentoo.org/show_bug.cgi?id=139609
4         shopt -s histappend
5 fi