* documentation about bash history