Convert Bash history to zsh history

bash-history-to-zsh-history.py

#!/usr/bin/env python3
# -*- coding: utf-8 -*-
#
# Usage:
# $ cat ~/.bash_history | ./bash-history-to-zsh-history.py >> ~/.zsh_history

import sys
import time

def main():
    # this thing is ineffecient because the whole thing is read into memory just to count lines
    # only use for small-ish file sizes
    lines  = sys.stdin.readlines()
    linecount = len(lines)
    timestamp = time.time() - linecount

    for line in lines:
        timestamp += 1
        line = line.rstrip('\n')
        sys.stdout.write(': %s:0;%s\n' % (timestamp, line))


if __name__ == '__main__':
    main()