преобразование временных меток хеш-тегов в файле истории в нужную строку

когда я сохраняю вывод команды history через ssh в файл, я получаю что-то вроде этого

ssh -i private_key user@ip 'export HISTFILE=~/.bash_history; export HISTTIMEFORMAT="%D-%T "; set -o history; history' > myfile.txt

OUTPUT

#1337431451
command

насколько я узнал, эта хэш-строка представляет собой метку времени. как мне изменить это на строку нужного мне формата

P.S. Использование истории в ssh не выводит метки времени. Пробовал почти все. Итак, я думаю, что следующим лучшим шагом будет преобразование этих временных меток # в удобочитаемый формат даты и времени. Как мне это сделать?