#!/usr/bin/env bash

# Bash Options
HISTSIZE=3000
HISTFILESIZE=3000
export HISTTIMEFORMAT="%Y-%m-%d %H:%M:%S "
export HISTIGNORE=$'[ \t]*:&:[fb]g:exit:ls:ll:cd:pwd:history:z'
export HISTCONTROL=ignoreboth:erasedups

# inspired (but not all commands used) by https://github.com/jdcapa/bashrc.d/blob/main/00.bash.init
# see also https://askubuntu.com/questions/15926/how-to-avoid-duplicate-entries-in-bash-history