bash: export HIST*