Convert Bash history to Zsh history

bash-to-zsh-hist.py

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

import sys
import time


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
        else:
            sys.stdout.write(': %s:0;%s\n' % (timestamp or time.time(), line))
            timestamp = None


if __name__ == '__main__':
    main()

Handy one liner to exec it:

cat ~/.bash_history | curl -s https://gist.githubusercontent.com/itsdonnix/06ba181564bdc25e326fce7081a97ad6/raw/49f0fb7f661bdf794742257f58950d209dd6cb62/bash-to-zsh-hist.py | python >> ~/.zsh_history