Bash history to Zsh history

bash-history-to-zsh-history.py

#!/usr/bin/env python
# -*- coding: utf-8 -*-

'''simply copy to python command line and press enter.'''

import time
from os.path import expanduser

timestamp = None

with open(expanduser("~/.bash_history"), "r") as f:
    bash = f.readlines()

zsh = []
for line in bash:
    line = line.rstrip("\n")
    if line.startswith("#") and timestamp is None:
        t = line[1:]
        if t.isdigit():
            timestamp = t
            continue
    else:
        zsh.append(": %s:0;%s\n" % (timestamp or time.time(), line))
        timestamp = None

with open(expanduser("~/.zsh_history"), "a") as f:
    f.writelines(zsh)