I managed to get it to work, but I think there may be an error in the ISPConfig 3 Shell user setup and configuration
I noticed that:
# echo $HISTFILE
# export HISTFILE
didn't produce anything until I created an the empty .bash_history file with the root account, in the webroot directory using
# touch .bash_history
Then, I gave it permission 775 and assigned it to user:group apache:web3 (in this case)
Now, when I exit, I notice that the .bash_history file is being populated with the history of commands.