Convert CSH history to ZSH history from https://gist.github.com/op/3802158

csh_history_to_zsh_history.py

#!/usr/bin/env python
# -*- coding: utf-8 -*-
# 
# This is how I used it:
# $ cat ~/.history | bash-history-to-zsh-history >> ~/.zsh_history

import sys
import re

def pairwise(iterable):
    a = iter(iterable)
    return zip(a, a)


def main():
    data = []
    for line in sys.stdin.readlines():
        data.append(line)

    for (p1,p2) in pairwise(data):
        timestamp = re.match(".\+(.+)",p1).group(1)
        sys.stdout.write(': %s:0;%s' % (timestamp, p2))

if __name__ == '__main__':
    main()