migrate bash history to zsh...

bash-history-to-zsh-history.py

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

HOME = os.path.join(home = expanduser("~")

import sys, os

def main():
    bash_history = open(os.path.join(HOME, ".bash_history"), 'r')
    zsh_history = open(os.path.join(HOME, ".zsh_history"), 'a')
    timestamp = None
    for line in bash_history.readlines():
        line = line.rstrip('\n')
        if line.startswith('#') and timestamp is None:
            t = line[1:]
            if t.isdigit():
                timestamp = t
                continue
        elif timestamp:
            zsh_history.write(': %s:0;%s\n' % (timestamp, line))
            timestamp = None

    close(zsh_history)
    close(bash_history)

if __name__ == '__main__':
    main()