https://gist.github.com/muendelezaji/c14722ab66b505a49861b8a74e52b274 #!/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 ...