Log commands history of multiple users in same time with details

append_me_to_bash_profile.txt

# add to .bashrc

# Avoid duplicates
export HISTCONTROL=ignoredups:erasedups  
# When the shell exits, append to the history file instead of overwriting it
shopt -s histappend
# After each command, append to the history file and reread it
export PROMPT_COMMAND="${PROMPT_COMMAND:+$PROMPT_COMMAND$'\n'}history -a; history -c; history -r"
# History Datetime
export HISTTIMEFORMAT='%F %T '

# Add a cute dog to my temrinal
PS1="🦮 $ "
# Be polite!
alias please="sudo"

# Show progress bar with unzip (based on stackoverflow#909918); usage: punzip file.zip
function plunzip {
    for f in $(unzip -Z -1 $1 | grep -v '/$');
    do
        [[ "$f" =~ "/" ]] && mkdir -p ${f%/*}
        echo "Extracting $f"
        unzip -o -c $1 $f \
            | pv -s $(unzip -Z $1 $f | awk '{print $4}') \
            > $f
    done
}

Then simply run source .bashrc to instantly see the changes.