履歴出力から正確な時刻と日付でbash履歴を取得する方法は？

bashの履歴を含むファイルがあり、新しいコンピュータからコマンドを「インポート」したいと思います。ファイルにはhistory次の形式の出力が含まれていますHISTTIMEFORMAT="%F%t%T%t"。

$ history > history.txt

結果は次のとおりです。

    1  2018-01-01   17:56:36    foo
    2  2018-01-01   18:01:21    bar
    3  2018-01-01   18:02:02    buz

~/.bash_historyそのファイルの内容に置き換えると、カウンタと日付と時刻がコマンドの一部になります。だから出力は次historyのようになります

    1  2018-06-13   18:10:15    1  2018-01-01   17:56:36    foo
    2  2018-06-13   18:10:15    2  2018-01-01   18:01:21    bar
    3  2018-06-13   18:10:15    3  2018-01-01   18:02:02    buz

インポート前にコマンドのリストをクリーンアップしました。テキストエディタで開き、^[\s]+[0-9]+[\s]+[0-9]{4}-[0-9]{2}-[0-9]{2}[\s]+[0-9]{2}:[0-9]{2}:[0-9]{2}[\s]+""を空の文字列に置き換えます。はるかに良く見えます。ただし、コマンドの日時に関する情報は失われます。

    1  2018-06-13   18:10:15    foo
    2  2018-06-13   18:10:15    bar
    3  2018-06-13   18:10:15    buz

履歴を取得し、日付と時刻のメタ情報を保存する方法は？