Add date and time in bash history

The history of a terminal, available via the history command, lets you know what commands were entered by a user. The disadvantage is that the date and time are never indicated. Here is a trick to fix it.To activate this feature, simply use the environment variable $ HISTTIMEFORMAT. An example of use: