title: converting the hash tag timestamps in history file to desired string
body: <p>when i store the output of history command via ssh in a file i get something like this</p>
  
  <pre><code>ssh -i private_key user@ip 'export HISTFILE=~/.bash_history; export HISTTIMEFORMAT="%D-%T "; set -o history; history' &gt; myfile.txt
  </code></pre>
  
  <hr>
  
  <p>OUTPUT</p>
  
  <pre><code>#1337431451
  command
  </code></pre>
  
  <p>as far as ive learnt this hash string represents a timestamp. how do i change this to a string of my desired format</p>
  
  <p>P.S- using history in ssh is not outputting with timestamps. Tried almost everything. So i guess the next best thing to do would be to convert these # timestamps to a readable date time format myself. How do i go about it?</p>