Bash history to Zsh history

bash-history-to-zsh-history.py

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

import sys


def main():
    timestamp = None
    for line in sys.stdin.readlines():
        line = line.rstrip('\n')
        if line.startswith('#') and timestamp is None:
            t = line[1:]
            if t.isdigit():
                timestamp = t
                continue
        elif timestamp:
            sys.stdout.write(': %s:0;%s\n' % (timestamp, line))
            timestamp = None


if __name__ == '__main__':
    main()

Didn't work for me, but this one did: https://gist.github.com/muendelezaji/c14722ab66b505a49861b8a74e52b274
(Ubuntu 16.04.4)

Just an update that this one didn't work for me on Ubuntu 18.10, Python 2.7.15

The link posted by @krasnobaev worked for me!