simple script that converts a non-timestamped bash history to an extended zsh history

bash-to-zsh.py

from __future__ import print_function
import sys
from time import time


def main():
    ts = int(time())
    for line in sys.stdin:
        print(': {0}:0;{1}'.format(ts, line.rstrip()))


if __name__ == '__main__':
    main()