that is just what I needed - I forgot the echo..
And thanks for the detailed explanation.. that helps understanding
instead of "just" giving me the right code.
My bashrc looks like this now for the history stuff - but although I have the ignoredups - I see duplicates. Is it wrong?
# don't put duplicate lines in the history. See bash(1) for more options
# Timestamps on history commands
export HISTTIMEFORMAT='%F %T - %H:%M:%S '
At the start of the history list I have 20 entries from today, then 25 or 30 from yesterday and at the end again some from today... Why is that?
Last question (I think) can I use this
echo "export HISTTIMEFORMAT='%F %T - %H:%M:%S '" >> /etc/profile and then it affects all users?