#!/usr/bin/env python # -*- coding: utf-8 -*- '''simply copy to python command line and press enter.''' import time from os.path import expanduser timestamp = None with open(expanduser("~/.bash_history"), "r") as f: bash = f.readlines() zsh = [] for line in bash: line = line.rstrip("\n") if line.startswith("#") and timestamp is None: t = line[1:] if t.isdigit(): timestamp = t continue else: zsh.append(": %s:0;%s\n" % (timestamp or time.time(), line)) timestamp = None with open(expanduser("~/.zsh_history"), "a") as f: f.writelines(zsh)