---

echo 'export HISTTIMEFORMAT="%H:%M:%S %d-%m-%Y "' | sudo tee /etc/profile.d/histtime.sh